Experience with Formal Specification of CMM and UML

Authors:
Jos Warmer;John Hogg;Steve Cook;Bran Selic
Affiliations:
-;-;-;-
Venue:
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Year:
1997

Citing 2
Cited 2

Real-time object-oriented modeling

Real-time object-oriented modeling
Designing object systems: object-oriented modelling with Syntropy

Designing object systems: object-oriented modelling with Syntropy

A metamodel for OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Looking back at UML

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

A simple specification language (OCL) was used to specify and analyze metamodels and metametamodels as part of the OMG OOA&D standardization process. Significant benefits were seen from a small investment in "user-friendly" formality.