Please use this identifier to cite or link to this item:
Title: From Declarative to Imperative UML/OCL Operation Specifications
Author: Cabot Sagrera, Jordi  
Others: Universitat Oberta de Catalunya
Issue Date: 2007
Citation: CABOT, J. (2007). "From Declarative to Imperative UML/OCL Operation Specifications". Lecture Notes in Computer Science. 4801, p. 198-213. ISSN: 0302-9743.
Abstract: 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 implementation issues. Nevertheless, in order to execute the conceptual schema, declarative specifications must be transformed into equivalent imperative ones. Unfortunately, declarative specifications may be non-deterministic. This implies that there may be several equivalent imperative versions for the same declarative specification, which hampers the transformation process. The main goal of this paper is to provide a pattern-based translation method between both specification approaches. To facilitate the translation we propose some heuristics that improve the precision of declarative specifications and help avoid non-determinism in the translation process.
Language: English
ISSN: 0302-9743
Appears in Collections:Articles

Files in This Item:
File Description SizeFormat 
Cabot_LNCS07_From.pdf88.5 kBAdobe PDFView/Open

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.