DEVS specification for modeling and simulation of the UML activities.
Abdurrahman AlshareefHessam S. SarjoughianPublished in: SpringSim (Mod4Sim) (2017)
Keyphrases
- sequence diagrams
- modeling language
- unified modeling language
- discrete event
- discrete event simulation
- specification language
- colored petri nets
- state machine
- simulation model
- formal methods
- qualitative simulation
- class diagrams
- petri net
- uml diagrams
- human activities
- software engineering
- metamodel
- database design
- conceptual modeling
- intermediate representation
- model driven
- formal specification
- activity recognition
- mathematical model
- web services
- model driven engineering
- uml profile
- activity diagrams