Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/1309
Title: From Declarative to Imperative UML/OCL Operation Specifications
Author: Cabot Sagrera, Jordi  
Others: Computer-Aided Software Engineering. GRES-UOC
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
URI: http://hdl.handle.net/10609/1309
ISSN: 0302-9743
1611-3349
Appears in Collections:Articles

Share:
Export:
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.