Picture 1 of 2
Gallery
Picture 1 of 2
Reusing Ocl in the Definition of Imperative Languages - NEW Fabian B Ttner 2011
£66.76
Condition:
New
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller's listing for full details.
4 available
- Buy it nowReusing Ocl in the Definition of Imperative Languages - NEW Fabian B Ttner 2011
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
Doesn't post to United States.
Located in: SOUTHPORT, PR9 8QH, United Kingdom
Delivery:
Varies
Returns:
60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
Get more time to pay. See payment informationfor PayPal Credit - opens in a new window or tab
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:356630568052
Item specifics
- Condition
- Weight
- 526 grams
- Subjects
- Computer Science
- Pages
- 207 Pages
- Size
- 210 mm 145 mm
- Topic
- Unknown
- Book Title
- Reusing Ocl in the Definition of Imperative Languages
- ISBN
- 9783832528119
- Publication Year
- 2011
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Reusing Ocl in the Definition of Imperative Languages
- Item Height
- 210 mm
- Publisher
- Logos Verlag Berlin Gmbh
- Subject
- Computer Science
- Item Width
- 145 mm
- Number of Pages
- 207 Pages
About this product
Product Information
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.
Product Identifiers
Publisher
Logos Verlag Berlin Gmbh
ISBN-13
9783832528119
eBay Product ID (ePID)
404339416
Product Key Features
Subject
Computer Science
Publication Year
2011
Number of Pages
207 Pages
Publication Name
Reusing Ocl in the Definition of Imperative Languages
Language
English
Type
Textbook
Format
Paperback
Dimensions
Item Height
210 mm
Item Width
145 mm
Additional Product Features
Country/Region of Manufacture
Germany
Item description from the seller
Seller business information
VAT number: GB 920245361
CRN: 06386895
Additional information:
If you are the rights owner or author and have concerns regarding copyrights or intellectual property (IP) rights, please contact us immediately so we can address and resolve them promptly. Thank you.
About this seller
BuyItNowBooks
99.1% positive Feedback•814K items sold
Registered as a business seller
Seller Feedback (371,149)
- *****- Feedback left by buyer.Past 6 monthsVerified purchaseThe product was as described and arrived well-packaged. It is a good price as this book is hard to come by and was in mint condition. The seller answered my question quickly and dispatched when the order was ready. I highly recommend this seller. Thank you.
- *****- Feedback left by buyer.Past yearVerified purchaseThey fully Resolved the error they made by Listing and Sending the wrong Book. The Item listed was the Yellow/Gold Edition, which was what I ordered, but they sent the Blue/Grey = A Super-Disappointing unboxing! Last checked 6Oct'24 it's still Listed! ⭐⭐⭐ Overall: Details, Customer Service:⭐⭐⭐⭐⭐ They responded almost instantly and offered more than one solution - Price:⭐⭐⭐⭐⭐ - Product Description: 0 - Packaging:⭐⭐⭐⭐⭐ (Superb) - Free Postage/Return:⭐⭐⭐⭐⭐ - Dispatch/Delivery: ⭐⭐⭐⭐
- *****- Feedback left by buyer.Past 6 monthsVerified purchaseBook is new as described and was packaged very well. Price is good and there is no marks on the book. Item arrived quickly after the despatch. Great eBayer +++++
This is a private listing and your identity will not be disclosed to anyone except the seller.
Seller Feedback (371,149)
- *****- Feedback left by buyer.Past 6 monthsVerified purchaseThe product was as described and arrived well-packaged. It is a good price as this book is hard to come by and was in mint condition. The seller answered my question quickly and dispatched when the order was ready. I highly recommend this seller. Thank you.
- *****- Feedback left by buyer.Past yearVerified purchaseThey fully Resolved the error they made by Listing and Sending the wrong Book. The Item listed was the Yellow/Gold Edition, which was what I ordered, but they sent the Blue/Grey = A Super-Disappointing unboxing! Last checked 6Oct'24 it's still Listed! ⭐⭐⭐ Overall: Details, Customer Service:⭐⭐⭐⭐⭐ They responded almost instantly and offered more than one solution - Price:⭐⭐⭐⭐⭐ - Product Description: 0 - Packaging:⭐⭐⭐⭐⭐ (Superb) - Free Postage/Return:⭐⭐⭐⭐⭐ - Dispatch/Delivery: ⭐⭐⭐⭐
- *****- Feedback left by buyer.Past 6 monthsVerified purchaseBook is new as described and was packaged very well. Price is good and there is no marks on the book. Item arrived quickly after the despatch. Great eBayer +++++