On the Formalized Semantics of Static Modeling Elements in UML.

Yan-Bing Jiang Wei-Zhong Shao Zhi-Yi Ma Yao-Dong Feng

Published in: ICFEM (2002)

Keyphrases

modeling language
formal semantics
object oriented
database design
sequence diagrams
uml class diagrams
unified modeling language
uml profile
uml activity diagrams
information systems
semantic information
conceptual modeling
software engineering
software systems
dynamic aspects