A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
From Declarative to Imperative UML/OCL Operation Specifications
[chapter]
2007
Lecture Notes in Computer Science
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined in the behavioral schema. There are two different approaches for specifying the effect of an operation: the imperative and the declarative approaches. In conceptual modeling, the declarative approach is preferable since it allows a more abstract and concise definition of the operation effect and conceals all
doi:10.1007/978-3-540-75563-0_15
fatcat:tm4evsrufjaddgjx4lqp6umevi