A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.
Youcef HammalPublished in: FORTE (2005)
Keyphrases
- formal semantics
- modeling language
- class diagrams
- timed petri nets
- conceptual modeling
- formal methods
- sequence diagrams
- first order logic
- logical language
- metamodel
- database design
- operational semantics
- theorem prover
- modelling language
- software architecture
- software development
- owl dl ontology
- object oriented
- software systems
- conceptual models