Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/1309
Títol: | From Declarative to Imperative UML/OCL Operation Specifications |
Autoria: | Cabot, Jordi |
Altres: | Universitat Oberta de Catalunya |
Citació: | CABOT, J. (2007). "From Declarative to Imperative UML/OCL Operation Specifications". Lecture Notes in Computer Science. 4801, p. 198-213. ISSN: 0302-9743. |
Resum: | 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 |
Tipus de document: | info:eu-repo/semantics/article |
Data de publicació: | 2007 |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Cabot_LNCS07_From.pdf | 88,5 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.