Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
Werner DammBernhard JoskoAmir PnueliAnjelika VotintsevaPublished in: FMCO (2002)
Keyphrases
- formal semantics
- modeling language
- real time
- metamodel
- software systems
- conceptual modeling
- conceptual models
- tool support
- logical language
- formal language
- speech acts
- sequence diagrams
- formal methods
- operational semantics
- database design
- software engineering
- ontology languages
- software architecture
- uml class diagrams
- er model
- logical reasoning
- first order logic
- knowledge base
- software development
- object oriented
- user interface
- information systems
- databases