On Formalizing the UML Object Constraint Language OCL

Lecture Notes in Computer Science - Trang 449-464 - 1998
Richters, Mark1, Gogolla, Martin1
1University of Bremen

Tóm tắt

We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) – an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML...

Thông tin
Thông tin xuất bản

Lecture Notes in Computer Science

449-464

Thông tin tác giả