On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus.
Vitus S. W. LamJulian A. PadgetPublished in: Software Engineering Research and Practice (2003)
Keyphrases
- uml class diagrams
- class diagrams
- uml diagrams
- unified modeling language
- class diagram
- uml activity diagrams
- sequence diagrams
- specification language
- object oriented
- control flow
- software design
- test cases
- formal language
- database query languages
- software testing
- active rules
- algebraic structure
- graphical representation
- software systems
- formal methods
- testing process
- constraint language
- logic programming
- process algebra
- active databases
- conceptual model
- database design
- semantic information
- software development
- software engineers
- business process models
- data flow
- theorem proving
- business process
- test set
- description logics