Open AccessOn Message Specifications in OCL
Author(s) -
Marcel Kyas,
Frank S. de Boer
Publication year - 2004
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2004.02.017
Subject(s) - computer science , principle of compositionality , object constraint language , programming language , predicate (mathematical logic) , generalization , extension (predicate logic) , theoretical computer science , artificial intelligence , unified modeling language , mathematics , software , mathematical analysis , applications of uml
The object constraint language (OCL) is the established language for specifying ofproperties of objects and object structures. Recently an extension of OCL has beenproposed for the specification of messages sent between objects.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom