Reusing OCL in the Definition of Imperative Languages

By (author) Fabian Buttner

Book cover: Reusing OCL in the Definition of Imperative Languages

Extent: 207 pages

Publisher: Logos Verlag Berlin

Subjects: Technical Sciences: Computer Science, Engineering, IT, & Math

Language: English

Paperback (Published)

(March 2011)

ISBN: 9783832528119

5.71 x 8.27 inches

Price: $58.00

Out of stock

Add to cart -
back order

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.

  • By (author) Fabian Buttner

Similar Books

Book cover: The New Other The New Other

Alien Intelligence and the Innovation Drive

By (author) Amy Levy

Book cover: Transitive Media [Philosophy] Transitive Media [Philosophy]

Think(er)ing Technologies in Real-Time

By (author) Wolfgang Ernst

Book cover: Care in an Era of New Technologies and Artificial Intelligence Care in an Era of New Technologies and Artificial Intelligence

Relationships in a Connected World

Volume 14

By (author) V. Nurock

Book cover: City in the Cloud – Data on the Ground City in the Cloud – Data on the Ground

The Architecture of Data

Edited by Damjan Kokalevski Edited by Andres Lepik Edited by Cara Hähl-Pfeifer Contributions by James…

Book cover: Global Histories of Video Game Music Technology Global Histories of Video Game Music Technology

Volume 8

Edited by Karen M. Cook Edited by William Bibbons Edited by Fanny Rebillard

Book cover: Natural Resources in Early Modern Economies of Knowledge Natural Resources in Early Modern Economies of Knowledge

Volume 40

edited by Pietro Daniel Omodeo and Helge Wendt

Book cover: Physical Characterization of Coatings Physical Characterization of Coatings

Introduction to Rheology and Surface Analysis

By (author) Michael Osterhold

Book cover: The Physics of the Mind The Physics of the Mind

New Perspectives for Psychotherapists, Healers and Seekers

By (author) Phil Mollon

Book cover: Buchblogs zwischen Passion und Profession Buchblogs zwischen Passion und Profession

Zur Diskursivierung digitaler literaturbezogener Anschlusskommunikation als Arbeit

Volume 5

by Kristina Petzold

Book cover: Falschung, Betrug, Beliebigkeit Falschung, Betrug, Beliebigkeit

der Vertrauensverlust der Wissenschaft

by Manfred Velden

Book cover: Articulations of the Nuclear Articulations of the Nuclear

Postwar Japan under the Spell of the Atomic Age

Volume 13

edited by Stephan Kohn and Katharina Hulsmann

Book cover: Artificial Morality Artificial Morality

An Exploration of Moral Machines

Volume 4

by Andrei Nutas

Book cover: Decameter Radio Emission of the Sun Decameter Radio Emission of the Sun

edited by Valentin Nikolayevich Melnik and Helmut O. Rucker

Book cover: Development of a telemetry system for monitoring piston characteristics inside combustion engines Development of a telemetry system for monitoring piston characteristics inside combustion engines

By (author) Paul Lagaly

Book cover: Global History of Techniques Global History of Techniques

(19th-21st Centuries)

Volume 9

Edited by Guillaume Carnino Edited by Liliane Hilaire-Perez Edited by Jerome Lamy

Book cover: Language, Technology, Humanities in Society 5.0 Language, Technology, Humanities in Society 5.0

Edited by Maria Banaś Edited by Grzegorz Wlaźlak

Book cover: Numbers, Measures, and the Transfer of Goods in Prehistory Numbers, Measures, and the Transfer of Goods in Prehistory

Volume 6

Edited by Philippe Della Casa Edited by Aleksander Dzbyński

Book cover: On the Scattering Behavior of Dielectric Corner Reflectors in Distributed Radar Systems On the Scattering Behavior of Dielectric Corner Reflectors in Distributed Radar Systems

By (author) Christian Alexander Buchberger

Book cover: Proceedings of the 7th Symposium of the Hellenic Society for Archaeometry Proceedings of the 7th Symposium of the Hellenic Society for Archaeometry

Archaeology Archaeometry: 30 Years Later

Edited by Eleni Filippaki

Book cover: RNA Made Simple RNA Made Simple

The Essential Guide to Extraction

By (author) Christian Siadjeu By (author) Dirk C Albach

Book cover: Route and Operating Optimization of Maritime Vessels Using Machine Learning Techniques Route and Operating Optimization of Maritime Vessels Using Machine Learning Techniques

By (author) Mohammad Hossein Moradi

Book cover: Short-Term Load Forecasting using Machine Learning Methods Short-Term Load Forecasting using Machine Learning Methods

Volume 7

By (author) Sylwia Henselmeyer

Book cover: Sovereign by Design Sovereign by Design

The LIONS Approach to Digital Sovereignty

Edited by Isabelle Fries Edited by Michael Grabatin Edited by Manfred Hofmeier

Book cover: The Promise and Peril of AI and IA The Promise and Peril of AI and IA

New Technology Meets Religion, Theology, and Ethics

edited by Ted Peters

Book cover: Die unsichtbare Welt Die unsichtbare Welt

Beitrage zur Weltwahrnehmung in den Wissenschaften

edited by Klaus Bohmer, Paul-Gerhard Reinhard and Dirk Evers

Book cover: A Cultural History of Silicon Valley A Cultural History of Silicon Valley

Volume 325

By (author) Neslihan Bulut

Book cover: Die Einfuhrung ins richtige Handeln in der Arithmetik (Madhal ar-rasad ila ‘ilm al-‘adad) von al-Qalasadi (st. 1486) Die Einfuhrung ins richtige Handeln in der Arithmetik (Madhal ar-rasad ila ‘ilm al-‘adad) von al-Qalasadi (st. 1486)

Bearbeitung und Einordnung in die magribinische Mathematikgeschichte

Volume 19

by Ulrich Rebstock

Book cover: I disegni e i discorsi di Giovanni Antonio Nigrone vol. I I disegni e i discorsi di Giovanni Antonio Nigrone vol. I

fontanaro e ingegniero de acqua (1585-1609 ca.)

Volume 481

by Gaia Bruno

Book cover: I disegni e i discorsi di Giovanni Antonio Nigrone vol. II I disegni e i discorsi di Giovanni Antonio Nigrone vol. II

Fontanaro e ingegniero de acqua (1585-1609 ca.)

Volume 497

edited by Gaia Bruno and David Gentilcore

Book cover: Ingenieurs mais apprentis Ingenieurs mais apprentis

Volume 32

by Arnaud Pierrel

Book cover: Analysing Data from Capacitive Floor Sensors for Human Gait Assessment Using Artificial Neural Networks Analysing Data from Capacitive Floor Sensors for Human Gait Assessment Using Artificial Neural Networks

Volume 5

By (author) Raoul Hoffmann

Book cover: Annual Report 2022 Annual Report 2022

Laboratory of Ion Beam Physics

By (author) LIBRUM Publishers & Editors

Book cover: Building and Designing Transistor Radios Building and Designing Transistor Radios

A Beginner's Guide

by R H Warring

Book cover: Building and Designing Transistor Radios Building and Designing Transistor Radios

A Beginner's Guide

by R H Warring

Book cover: Contributions to Model Predictive Active Vibration Control under Parametric Resonance Contributions to Model Predictive Active Vibration Control under Parametric Resonance

Volume 24

By (author) Joe Ismail

Book cover: Learning with Light and Shadows Learning with Light and Shadows

Educational Lantern and Film Projection, 1860-1990

Volume 8

Edited by Nelleke Teughels Edited by Kaat Wils

Book cover: Modeling Methods for Process Induced Distortions of CFRP-Parts produced in the Prepreg-Autoclave-Process Modeling Methods for Process Induced Distortions of CFRP-Parts produced in the Prepreg-Autoclave-Process

Volume 20

By (author) Tim Frerich

Book cover: Non-Intrusive Methodologies for Large Area Urban Research Non-Intrusive Methodologies for Large Area Urban Research

Edited by Ian Haynes Edited by Thea Ravasi Edited by Stephen Kay Edited by Salvatore…

Book cover: Performance Management in Humanitarian Logistics Performance Management in Humanitarian Logistics

Development of a Process-driven and IT-supported Performance Measurement System

Volume 66

By (author) Adam Widera

Book cover: Real-Time Auralisation of Outdoor Sound Propagation Real-Time Auralisation of Outdoor Sound Propagation

Volume 39

By (author) Jonas Stienen

Book cover: Supporting Operational and Real-time Planning Tasks of Road Freight Transport with Machine Learning Supporting Operational and Real-time Planning Tasks of Road Freight Transport with Machine Learning

Guiding the Implementation of Machine Learning Algorithms

Volume 69

By (author) Sandra Lechtenberg

Book cover: World War Two Simulated World War Two Simulated

Digital Games and Reconfigurations of the Past

by Curtis D. Carbonell