Verifying Action Semantics Specifications in UML Behavioral Models.
Elena PlanasJordi CabotCristina GómezPublished in: CAiSE (2009)
Keyphrases
- specification language
- behavioral models
- conceptual model
- formal specification
- conceptual models
- hierarchical structures
- programming language
- model checking
- uml class diagrams
- operational semantics
- class diagram
- metamodel
- sequence diagrams
- object oriented
- databases
- semantic information
- information processing
- dynamic behaviors