Foto 1 di 2
Galleria
Foto 1 di 2
Reusing Ocl in the Definition of Imperative Languages - NEW Fabian B Ttner 2011
GBP 66,33
CircaEUR 77,95
Condizione:
Nuovo
Libro nuovo, intatto e non letto, in perfette condizioni, senza pagine mancanti o danneggiate. Per maggiori dettagli, consulta l'inserzione del venditore.
4 disponibili
- Compralo SubitoReusing 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.
Spedizione:
L'oggetto non viene spedito a Stati Uniti.
Oggetto che si trova a: SOUTHPORT, PR9 8QH, Regno Unito
Consegna:
Varia
Restituzioni:
Restituzioni entro 60 giorni. Le spese di spedizione del reso sono a carico dell'acquirente..
Pagamenti:
Fai shopping in tutta sicurezza
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:356630568052
Specifiche dell'oggetto
- Condizione
- 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
Informazioni su questo prodotto
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
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
Partita IVA: GB 920245361
CRN: 06386895
Maggiori informazioni:
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.
Informazioni su questo venditore
BuyItNowBooks
99,1% di Feedback positivi•814 mila oggetti venduti
Registrato come venditore professionale
Categorie più popolari di questo Negozio
Feedback sul venditore (371.282)
- *****- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoThe book was new as advertised and well packed. Thank you for that. It did arrive one day after the original delivery dates period advised, but an email from Ebay on the last delivery date informed me it would be delayed . Overall a positive experience.
- *****- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoThe book was delivered very promptly and very safely and securely packaged. Despatch, due delivery and actual delivery times and dates all confirmed by email from seller which was very helpful and very much appreciated. The book itself was in perfect brand new condition as described. A first rate transaction from an excellent seller. Highly recommended. Many thanks!
- *****- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoI am extremely satisfied with my purchase from this seller. The item arrived promptly and was securely packaged, ensuring it arrived in perfect condition. The price I paid which very low and exceptional value for money. I highly recommend this seller for their great service, fast delivery, and trustworthy product description.
Questa è un'inserzione privata. La tua identità sarà rivelata solo al venditore.
BuyItNowBooks
99,1% di Feedback positivi•814 mila oggetti venduti
Registrato come venditore professionale
Categorie più popolari di questo Negozio
Feedback sul venditore (371.282)
- *****- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoThe book was new as advertised and well packed. Thank you for that. It did arrive one day after the original delivery dates period advised, but an email from Ebay on the last delivery date informed me it would be delayed . Overall a positive experience.
- *****- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoThe book was delivered very promptly and very safely and securely packaged. Despatch, due delivery and actual delivery times and dates all confirmed by email from seller which was very helpful and very much appreciated. The book itself was in perfect brand new condition as described. A first rate transaction from an excellent seller. Highly recommended. Many thanks!
- *****- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoI am extremely satisfied with my purchase from this seller. The item arrived promptly and was securely packaged, ensuring it arrived in perfect condition. The price I paid which very low and exceptional value for money. I highly recommend this seller for their great service, fast delivery, and trustworthy product description.