Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations.
Vitus S. W. LamJulian A. PadgetPublished in: HCC (2003)
Keyphrases
- class diagrams
- uml diagrams
- unified modeling language
- uml class diagrams
- sequence diagrams
- class diagram
- test cases
- object oriented
- software systems
- software engineering
- modeling language
- software design
- software development
- structural information
- metamodel
- connected components
- neural network
- formal methods
- database applications
- conceptual models
- reverse engineering
- object oriented modeling
- activity diagrams
- structural models
- open systems
- database design
- petri net
- case study
- knowledge base
- artificial intelligence