A methodology for specifying and analyzing consistency of object-oriented behavioral models.

Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous pos...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software engineering notes. 26, 5 (2001).
1. Verfasser:	Engels, Gregor
Format:	Artikel
Sprache:	English
Schlagworte:	Software. Software engineering. Design tools and techniques. Object oriented design methods. Programming languages. Language classifications. UML. Design. Languages. Verification. CSP. Behavioral consistency. Object oriented modeling.