UML formal semantics: lessons learned.
Manfred BroyMaría Victoria CengarlePublished in: Softw. Syst. Model. (2011)
Keyphrases
- lessons learned
- formal semantics
- modeling language
- metamodel
- future directions
- case study
- operational semantics
- er model
- logical language
- logical reasoning
- software development
- speech acts
- conceptual modeling
- software systems
- participatory design
- formal language
- ontology languages
- formal methods
- software engineering
- conceptual models
- software architecture
- sequence diagrams
- database
- owl dl ontology
- first order logic
- database design
- object oriented
- probability distribution
- expert systems
- information systems