On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
Sun MengZhang NaixiaoLuís Soares BarbosaPublished in: SEFM (2004)
Keyphrases
- class diagrams
- uml class diagrams
- conceptual modeling
- sequence diagrams
- specification language
- uml activity diagrams
- formal methods
- object oriented
- uml models
- class diagram
- database design
- reverse engineering
- regression testing
- conceptual model
- software architecture
- multiple views
- software engineering
- modeling language
- description language
- databases
- integrity constraints
- petri net
- programming language
- description logics
- data model