Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.
Gianna ReggioMaura CerioliEgidio AstesianoPublished in: FASE (2001)
Keyphrases
- uml activity diagrams
- uml class diagrams
- specification language
- modeling language
- formal semantics
- software systems
- class diagrams
- metamodel
- multi view
- logic programming
- database design
- software engineering
- constraint language
- conceptual modeling
- decision support
- conceptual model
- state machine
- semantic information
- uml models
- formal methods
- databases
- tool support
- multiple views
- case study
- knowledge base