Rewrite rules and Operational Semantics for Model Checking UML Statecharts.
Gihwon KwonPublished in: UML (2000)
Keyphrases
- rewrite rules
- model checking
- operational semantics
- formal methods
- activity diagrams
- class diagrams
- model checker
- sequence diagrams
- temporal logic
- reactive systems
- uml class diagrams
- transformation rules
- formal verification
- formal semantics
- formal specification
- class diagram
- metamodel
- reverse engineering
- model theoretic
- sql queries
- mental states
- object oriented
- finite state machines
- query optimization
- petri net
- data model
- modeling language
- software engineering
- regression testing
- artificial intelligence
- relational database systems
- speech acts
- uml diagrams
- description language