1,317 Hits in 2.7 sec

Modular Embedding of the Object Constraint Language into a Programming Language [chapter]

Fabian Büttner, Martin Gogolla
2011 Lecture Notes in Computer Science  
The expression sub-language of SOIL is identical to OCL. SOIL adds well-known, traditional imperative constructs.  ...  However, for operations changing the system state an implementation cannot be given within OCL. In order to fill this gap, this paper proposes the language SOIL (Simple OCL-like Imperative Language).  ...  At its core, it offers a textual imperative language, ImperativeOCL, which is based on OCL.  ... 
doi:10.1007/978-3-642-25032-3_9 fatcat:4k275vcaa5dohf7olcv5vjjn2e

Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints

Rodion MOISEEV, Shinpei HAYASHI, Motoshi SAEKI
2011 IEICE transactions on information and systems  
In this paper we propose an approach to generate assertion code for OCL constraints for multiple platform specific languages, using a unified framework based on structural similarities of programming languages  ...  Object Constraint Language (OCL) is frequently applied in software development for stipulating formal constraints on software models.  ...  Our OCL translator is based on model transformation.  ... 
doi:10.1587/transinf.e94.d.612 fatcat:mzfpdravmrgxliht23hoiurike

Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL

Fabian Büttner, Mirco Kuhlmann
2008 Electronic Communications of the EASST  
The proposed change reduces the complexity of the imperative language, removes undefinedness, and leaves OCL conformant to its original definition.  ...  MOF QVT introduces ImperativeOCL as an imperative language for operational descriptions of model transformations (QVT operational mappings).  ...  Therefore, imperative languages such as the one defined in QVT (called ImperativeOCL at the moment) should use OCL by composition rather than by inheritance, as depicted in Fig. 5 .  ... 
doi:10.14279/tuj.eceasst.15.175 dblp:journals/eceasst/ButtnerK08 fatcat:inky3vrbj5gtxmrmpsx7mo253e

An Incremental OCL Compiler for Modeling Environments

Tamas Vajk, Gergely Mezei, Tihamer Levendovszky
2008 Electronic Communications of the EASST  
UML and OCL became industry standards, and are supported by many CASE tools.  ...  In this paper, we introduce a method that enables incremental OCL code building and therefore reduces the development time.  ...  In QVT, these tasks are handled by the Imperative OCL language, which extends OCL with program control statements and imperative expressions.  ... 
doi:10.14279/tuj.eceasst.15.173 dblp:journals/eceasst/VajkML08 fatcat:fg4mrwokiffcbcrspmhlp7egee

Null Considered Harmful (for Transformation Verification)

Kevin Lano
2014 International Conference on Software Technologies: Applications and Foundations  
, UML-RSDS, based on this approach.  ...  In addition, these values complicate the logic of OCL and of transformation languages that use OCL, making it difficult to provide effective verification support for these languages.  ...  Languages based on OCL often adopt variant semantics to the standard.  ... 
dblp:conf/staf/Lano14 fatcat:eugichdanbbvvanvzfctcy2nm4

Specifying Executable Platform-Independent Models using OCL

Pierre Kelsen, Elke Pulvermueller, Christian Glodt
2007 Electronic Communications of the EASST  
We propose a declarative language for describing the behavior of platform-independent models based on a hybrid notation that uses graphical elements as well as textual elements in the form of OCL code  ...  Compared to existing approaches based on action languages it is situated at a higher level of abstraction and, through a clean separation of modifier operations and query operations, simplifies the comprehension  ...  Existing approaches are mainly based on textual action languages that are imperative in style.  ... 
doi:10.14279/tuj.eceasst.9.101 dblp:journals/eceasst/KelsenPG08 fatcat:qkdbt3s2evcyvk45flxot4mrxm

On the interoperability of model-to-model transformation languages

Frédéric Jouault, Ivan Kurtev
2007 Science of Computer Programming  
The focus is on the major language components (sublanguages and their features, execution tools, etc.) and how they are related.  ...  In parallel with the QVT activity, many research groups and companies have been working on their own model transformation approaches and languages.  ...  We would like to thank the members of the ATLAS Group and the anonymous reviewers for their useful feedback on the ideas presented in the paper.  ... 
doi:10.1016/j.scico.2007.05.005 fatcat:66pyjlsy2jf43bj5a252ki6xzq

An Approach for Efficient Querying of Large Relational Datasets with OCL based Languages

Dimitrios S. Kolovos, Ran Wei, Konstantinos Barmpis
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this paper we investigate the challenges involved in querying large relational datasets using an imperative OCL-based transformation language (EOL) through a running example, and we propose solutions  ...  Querying Large Relational Datasets: Challenges and Solutions The Epsilon Object Language [4] is an OCL-based imperative model query and transformation language.  ...  In this direction, we have experimented with using an OCL-based imperative transformation language to query data stored in relational databases.  ... 
dblp:conf/models/KolovosWB13 fatcat:qviulxboe5bfnmmqsgee63y2sa

OCL as the Query Language for UML Model Execution [chapter]

Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta
2008 Lecture Notes in Computer Science  
Despite the specification of OCL mentions "query language" as one of its possible applications, there are rather few efforts in that direction.  ...  Especially, we address the issues of seamless integration with UML metamodel and the useful features of query languages that are missing from OCL.  ...  This reference implementation of VIDE-L is based on the Stack-Based Approach to query languages [8−10] . We use its query language (SBQL) as the assembly language underlying OCL executions.  ... 
doi:10.1007/978-3-540-69389-5_36 fatcat:27rsz47isjf4rh6k7yivewrym4

Extending ASSL: Making UML Metamodel-based Workflows executable

Jens Brüning, Lars Hamann, Andreas Wolff
2011 Electronic Communications of the EASST  
The article proposes a number of language extensions to ASSL. These include (sub ) procedure calls and pre- and postcondition checks on entering and exiting of operations using OCL.  ...  ASSL is a language that enables UML developers to test and certify UML and OCL models [5].  ...  Parallel to this work of extending ASSL, the OCL-based imperative programming language SOIL (Simple OCL-based Imperative Language) has been developed [3] that can also be interpreted by the USE tool.  ... 
doi:10.14279/tuj.eceasst.44.619 dblp:journals/eceasst/BruningHW11 fatcat:gjc3gfcxcjdepb7d65g7d25bfi

Transforming Models with ATL [chapter]

Frédéric Jouault, Ivan Kurtev
2006 Lecture Notes in Computer Science  
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions.  ...  A case study shows the applicability of the language constructs. Alternative ways for implementing the case study are outlined.  ...  In that way the control flow remains in the transformation language semantics but the developer must encode this control flow explicitly; ATL has an imperative part based on two main constructs: • called  ... 
doi:10.1007/11663430_14 fatcat:pkyggbrfmjf2fkveegpn3omrvq

Employing the Object Constraint Language in Model-Based Engineering [chapter]

Martin Gogolla
2013 Lecture Notes in Computer Science  
We discuss how to validate and verify model properties in the context of modeling languages like the UML (Unified Modeling Language) combined with textual restrictions formulated in the OCL (Object Constraint  ...  Language).  ...  OCL has been extended with programming language features in SOIL (Simple Ocl-like Imperative Language) which allows the developer to build operation realizations on the modeling level without having to  ... 
doi:10.1007/978-3-642-39013-5_1 fatcat:s3g724vtgbb2nd3n5zv7l7djle

Tool-Supported Step-By-Step Debugging for the Object Constraint Language

Lars Schütze, Claas Wilke, Birgit Demuth
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
languages.  ...  However, appropriate tooling, supporting software developers on using OCL is still scarce and lacks debugging support.  ...  We would like to thank every person being or having been involved in the development and maintenance of Dresden OCL.  ... 
dblp:conf/models/SchutzeWD13 fatcat:xbakb3wqsjhopkbvtzgjaol6bi


Christian Glodt, Pierre Kelsen, Elke Pulvermueller
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
The main goal of model-driven architecture is the generation of the full implementation of a system based on a precise description of a platform-independent model and a platform model.  ...  The former are defined in the class diagram via OCL constraints, while the latter are defined using a MOF-based metamodel that contains modifier operations and properties as first-class entities and augments  ...  This language is based on two main types of elements: events and properties.  ... 
doi:10.1145/1297846.1297931 dblp:conf/oopsla/GlodtKP07 fatcat:odtzz5iz6re3xeaep4cnkeswuy

Workshop on OCL and textual modeling

Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
2012 Proceedings of the 12th Workshop on OCL and Textual Modelling - OCL '12  
Being based on successive model transformations, MDE requires well defined, formally specified modeling languages, at a level of precision visual notations lack.  ...  Examples are OCL, textual MOF, Epsilon, and Alloy. OCL originated as a textual add-on to UML.  ...  The OCL-like imperative language SOIL is further used for testing dynamic control flow properties of models.  ... 
doi:10.1145/2428516.2428517 dblp:conf/models/BalabanCGW12 fatcat:vo77shddkjhuxeogvrnqck3w4m
« Previous Showing results 1 — 15 out of 1,317 results