Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.

Gianna Reggio Maura Cerioli Egidio Astesiano

Published 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