An Approach to Formalizing the Semantics of UML Statecharts.
Xuede ZhanHuaikou MiaoPublished in: ER (2004)
Keyphrases
- class diagrams
- uml class diagrams
- conceptual modeling
- sequence diagrams
- uml activity diagrams
- uml models
- formal methods
- specification language
- object oriented
- formal semantics
- semantic information
- activity diagrams
- class diagram
- logic programming
- database design
- regression testing
- operational semantics
- agent oriented
- databases
- uml diagrams
- object oriented systems
- description logics
- software development
- database
- software systems
- intermediate representation
- software engineering
- software design
- formal specification
- metamodel
- multi agent systems
- information systems
- conceptual model