Reusing OCL in the Definition of Imperative Languages is popular PDF and ePub book, written by Fabian Büttner in 2011, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Reusing OCL in the Definition of Imperative Languages can be Read Online from any device for your convenience.
Reusing OCL in the Definition of Imperative Languages Book PDF Summary
The Object Constraint Language (OCL) has proven to be a valuable ingredient for the specification of UML models. It allows to formulate logical propositions for models that typically cannot be expressed in the visual modeling paradigms of UML. A similar textual ingredient is required for the imperative specification of behavior in certain applications of UML, most prominently Executable UML models and model transformation. There is no such imperative language in the UML standard, but there are several candidates for such a language that are based on OCL for expressions. One of them is ImperativeOCL, which is part of the OMG Query, Views, Transformations (QVT) standard. However, the embedding of OCL into several of these languages is what we call a non-modular embedding. Such a non-modular embedding results in problems w. r. t. to language semantics and/or sets up obstacles for the reuse of existing OCL tools and instruments. In our work we therefore define requirements for a modular embedding of OCL into an imperative language. We introduce our language SOIL (Simple OCL-based Imperative Language) which embeds OCL in a modular way. We provide an informal description of SOIL as well as a formal definition of the language syntax and semantics, and prove its consistency and type safety. We describe applications of our approach in two fields: first, the extension of the UML-based Specification Environment (USE) by an imperative language and, second, the development of the model transformation tool XGenerator2 that has been successfully applied in several eGovernment projects. Our work makes three major contributions. First, we provide a critical review of the embedding of OCL into existing programming languages. Second, we provide a simple but already useful OCL-based imperative language with a sound and formal semantics that can be implemented out of the box using existing OCL engines. Third, our work contributes a general guideline for a safe embedding of OCL into other languages.
Detail Book of Reusing OCL in the Definition of Imperative Languages PDF
- Author : Fabian Büttner
- Release : 21 September 2024
- Publisher : Logos Verlag Berlin GmbH
- ISBN : 9783832528119
- Genre : Computers
- Total Page : 208 pages
- Language : English
- PDF File Size : 18,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Reusing OCL in the Definition of Imperative Languages by Fabian Büttner, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.