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, Jordi |
Others: | Universitat Oberta de Catalunya |
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. |
DOI: | 10.1007/978-3-540-75563-0_15 |
Document type: | info:eu-repo/semantics/article |
Issue Date: | 2007 |
Appears in Collections: | Articles cientÍfics Articles |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Cabot_LNCS07_From.pdf | 88,5 kB | Adobe PDF | View/Open |
Share:
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.