Reusing Ocl in the Definition of Imperative Languages

0 avg rating
( 0 ratings by Goodreads )
 
9783832528119: Reusing Ocl in the Definition of Imperative Languages
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Buttner, Fabian
Published by Logos Verlag Berlin (2011)
ISBN 10: 3832528113 ISBN 13: 9783832528119
New PAPERBACK Quantity Available: 5
Seller:
ISD LLC
(Bristol, CT, U.S.A.)
Rating
[?]

Book Description Logos Verlag Berlin, 2011. PAPERBACK. Condition: New. 3832528113. Seller Inventory # 41180P

More information about this seller | Contact this seller

Buy New
US$ 58.00
Convert currency

Add to Basket

Shipping: US$ 6.75
Within U.S.A.
Destination, rates & speeds

2.

Fabian Buttner
Published by Logos Verlag Berlin (2011)
ISBN 10: 3832528113 ISBN 13: 9783832528119
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Logos Verlag Berlin, 2011. Condition: New. book. Seller Inventory # M3832528113

More information about this seller | Contact this seller

Buy New
US$ 89.89
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds