Towards a Universal Representation of DEVS: A Metamodel-Based Definition of DEVS Formal Specification.
María Julia BlasSilvio GonnetBernard P. ZeiglerPublished in: ANNSIM (2021)
Keyphrases
- formal specification
- metamodel
- specification language
- discrete event
- specification languages
- model checking
- reverse engineering
- software systems
- object oriented design
- modeling language
- reference model
- model driven
- data model
- black box
- formal methods
- life cycle
- concurrent systems
- process algebra
- databases
- software components
- development process
- software development
- software engineering
- multi agent
- database
- uml profile