A Formal Semantics of UML State Machines Based on Structured Graph Transformation.
Sabine KuskePublished in: UML (2001)
Keyphrases
- formal semantics
- state machines
- graph transformation
- state machine
- sequence diagrams
- modeling language
- petri net
- fault tolerant
- finite state machines
- first order logic
- logical language
- test cases
- logical reasoning
- metamodel
- intermediate representation
- operational semantics
- modelling language
- theorem prover
- software systems
- recurrent networks
- owl dl ontology
- neural network
- temporal logic
- software architecture
- database design
- semantic web
- distributed systems
- hidden markov models