A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
Modular Embedding of the Object Constraint Language into a Programming Language
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
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
2011
IEICE transactions on information and systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2008
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2008
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2014
International Conference on Software Technologies: Applications and Foundations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
, 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
2007
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
DEMOCLES
2007
Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the 12th Workshop on OCL and Textual Modelling - OCL '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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