A formal representation for state diagrams in the OMT methodology

Bertino, Elisa; Castelli, Donatella; Vitale, Federica

doi:10.1007/bfb0037414

Cited by 5 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Work has been done on the basis of wellestablished traditional approaches to specification like Z and VDM: [SF97,FBLPS97] focuses on the UML type system, a general integration of Z with object-orientation is discussed in [Ebe97], and in [Lan96,BLM97] an object calculus enhancing the expressibility of object-oriented notations has been proposed. Other approaches treat in detail the UML predecessor OMT [BCV96,WRC97], and in particular class diagrams [BC95] in connection with Larch are discussed.…”

Section: Introductionmentioning

confidence: 99%

Expressing UML Class Diagrams Properties with OCL

Gogolla

Richters

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The Unified Modeling Language UML is a complex language offering many modeling features. Especially the description of static structures with class diagrams is supported by a rich set of primitives. This paper shows how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only binary associations and OCL constraints. Thus we provide a better understanding of UML features. By reducing more complex features in terms of basic ones, we suggest an easy way users can gradually extend the set of UML elements they commonly apply in the modeling process.

show abstract