The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.
David HarelHillel KuglerPublished in: SoftSpez Final Report (2004)
Keyphrases
- preliminary version
- class diagrams
- uml class diagrams
- formal methods
- process algebra
- conceptual modeling
- sequence diagrams
- uml activity diagrams
- specification language
- uml models
- class diagram
- formal specification
- formal semantics
- uml diagrams
- control flow
- object oriented
- object oriented data models
- regression testing
- modeling language
- database design
- reverse engineering
- unified modeling language
- model checking
- model checker
- conceptual model
- semantic information
- logic programming
- agent oriented
- object oriented modeling
- software engineering
- metamodel
- attribute grammars
- software systems
- software development
- uml profile
- activity diagrams
- reactive systems
- case study
- business process models