A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
OCL constraints automatic generation for UML class diagram
2010
2010 IEEE International Conference on Software Engineering and Service Sciences
Preserved Fulltext
Therefore, generating OCL constraints template for UML models is a superior solution. The OCL constraints template automatically generated can be used as a reference for software designers. ...
As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. ...
In addition, as a formal specification language, OCL has no side effects. That is, adding OCL constraints into UML models will not change elements as well as relationship among elements in the model. ...
doi:10.1109/icsess.2010.5552361
fatcat:qagh67jagzeqbgwcmnsfori5um
A Framework for Generating Query Language Code from OCL Invariants
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 2016; you can also visit the original URL.
The file type is application/pdf.
However, to preserve also the semantical integrity rules we propose a Query Code Generation Framework that enables Model-Driven Integrity Engineering. ...
Model-Driven Software Development (MDSD) allows for specifying the relevant domain concepts, their interrelations and their concise semantics using a plethora of modelling languages. ...
Acknowledgement We would like to thank all people who have contributed over several years to the Dresden OCL Toolkit project. ...
doi:10.14279/tuj.eceasst.9.108
dblp:journals/eceasst/HeidenreichWD08
fatcat:p3dxa5kwkncdxk3lpc2y7pt6oq
Transformation Rules for Translating Business Rules to OCL Constraints
[chapter]
2011
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 2013; you can also visit the original URL.
The file type is application/pdf.
such as UML, Object Constraint Language (OCL) expressions. ...
Semantic of Business Vocabulary and Rules (SBVR) language is typically used to express constraints in natural language and then a software engineer manually maps SBVR business rules to other formal languages ...
Conclusion This paper presents a transformation rules based approach to create OCL constraints from UML based SBVR rules' specification. SBVR to OCL transformation is based on transformation rules. ...
doi:10.1007/978-3-642-21470-7_10
fatcat:ep2ox3qyknacznjxz7hnu54aky
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. ...
We use the Octopus tools [10] for parsing OCL constraints. 2. OCL AST → Target language DL. ...
doi:10.1587/transinf.e94.d.612
fatcat:mzfpdravmrgxliht23hoiurike
Modular architecture for a toolset supporting OCL
2002
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 2003; you can also visit the original URL.
The file type is application/pdf.
The practical application of the object constraint language (OCL), which is part of the UML speciÿcation since version 1.1, depends crucially on the existence of adequate tool support. ...
This paper discusses general design issues for OCL tools. It is argued that the nature of OCL will lead to a large variety of tools, applied in combination with a variety of di erent UML tools. ...
Acknowledgements The authors would like to thank Sten Loecher, Ralf Wiebicke and Ste en Zschaler for their contributions to the implementation of the Dresden OCL Toolset. ...
doi:10.1016/s0167-6423(02)00032-1
fatcat:qgriq6bri5dahgkvkfborwviwu
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.
Examples are OCL, textual MOF, Epsilon, and Alloy. OCL originated as a textual add-on to UML. ...
In recent years, OCL has evolved into an important textual constraint language in connection with languages beyond UML. It has, thus, broadened its scope. ...
The first uses Scala as a host language for defining an internal constraint language; the second uses Lua for defining a library for model query and transformation; the third uses an ontology language ...
doi:10.1145/2428516.2428517
dblp:conf/models/BalabanCGW12
fatcat:vo77shddkjhuxeogvrnqck3w4m
Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs
[chapter]
2015
Studies in Computational Intelligence
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.
Considering this limitation, we describe in this paper a system that generates metaprograms starting from architecture constraints, written in OCL at the metamodel level, and associated to a specific UML ...
Various environments enable constraint checking during the modeling stage, but in most cases they do not generate code that would enable the checking of these constraints during the implementation stage ...
All these constraints can be specified at design stage through a constraint language like the "Object Constraint Language" (OCL) [19] , the OMG standard. ...
doi:10.1007/978-3-319-23509-7_15
fatcat:mnlk7bbtivb3zmn6ugpil3htqq
Translating natural language constraints to OCL
2012
Journal of King Saud University: Computer and Information Sciences
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.
In practice, the constraints are captured in a natural language (NL) such as English and then an OCL expert manually transforms the NL expressions to OCL syntax. ...
Object Constraint Language (OCL) is the only available language to annotate the Unified Modeling Language (UML) based conceptual schema (CS) of a software application. ...
Translating English to logical representation In our research, we aim to generate OCL constraints from natural language (NL) specification using SBVR as a pivot representation. ...
doi:10.1016/j.jksuci.2011.12.003
fatcat:thyk7bsjhnbplpkqoqwzvmcxae
Constraints Specification Via Tool Support: A Controlled Experiment
2020
Journal of Object Technology
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.
To address this need, in the context of object-oriented modeling, the Object Constraint Language (OCL) was devised. ...
Models can be used for various purposes such as communication, documentation, design means, and for the generation of various artifacts including code. ...
OCL was developed as a language that could be attached to an existing (diagrammatic) modeling language lacking in its expressiveness. ...
doi:10.5381/jot.2020.19.3.a16
fatcat:wophf4jfxzcs3h5upaishetev4
Logical Intervention in the Form of Work Breakdown Strategy using Object Constraint Language for e-Commerce Application
2020
International Journal of Advanced Computer Science and Applications
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 tool used are MDT-OCL and matching logic for logic level interpretation. The MDT tool generates Context Syntax Tree. ...
Authors have analyzed computational models in terms of Customer segmentation replicating their buying characteristics and Dialogue level constraint establishment through OCL. ...
The OCL constraints template automatically generated can be used as a reference for software designers. ...
doi:10.14569/ijacsa.2020.0110332
fatcat:x57o6bfa2fcp7aqly2z764dxty
Sharing OCL Constraints by Using Web Rules
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 2020; you can also visit the original URL.
The file type is application/pdf.
This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). ...
The R2ML tends to be a standard rule markup language by following up the W3C initiative for Rule Interchange Format (RIF). ...
An integrity rule, also known as (integrity) constraint, consists of a constraint assertion, which is a sentence in a logical language such as first-order predicate logic or OCL (see Figure 4Error ! ...
doi:10.14279/tuj.eceasst.9.99
dblp:journals/eceasst/MilanovicGGWD08
fatcat:iux6ngkzfvel5kykiitin6tuxi
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars
2008
Electronical Notes in Theoretical 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 present a restricted form of OCL constraints that can be translated to graph constraints which can be checked during the instance generation process. ...
In our approach, an instance-generating graph grammar is automatically created from a given meta model. ...
16004 Integrated Project SENSORIA (Software Engineering for Service-Oriented Overlay Computers), and the German Research Foundation with project "Application of graph transformation to visual modeling languages ...
doi:10.1016/j.entcs.2008.04.038
fatcat:hdauvydf7fcyvkmwz2kgidxkjy
Application of the Ontology Axioms for the Development of OCL Constraints from PAL Constraints
2012
Informatica
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.
Constraint Language) constraints, which are part of a UML class diagram. ...
Our proposal we apply for the transformation of PAL (Protege Axiom Language) constraints (ontology axioms), which is based on KIF (Knowledge Interchange Format) and is part of KIF ontology, into OCL (Object ...
11 for extending MagicDraw tool to generate OCL constraints from PAL constraints. ...
doi:10.15388/informatica.2012.365
fatcat:hpdubzojjfh7dnbm2ndoiitz6i
Defining OCL constraints for the Proxy Design Pattern Profile
2007
2007 IEEE/ACS International Conference on Computer Systems and Applications
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.
OCL (Object Constraint Language) constraints are semantic restrictions added to UML elements. ...
The definition of OCL constraints for proxy design pattern is shown as an example of our proposal. ...
UML allows using natural language for defining constraints; however Object Constraint Language (OCL) is a best option because it is a more precise language. ...
doi:10.1109/aiccsa.2007.370736
dblp:conf/aiccsa/DebnathGRM07
fatcat:6rvg4mbqbzdrzhxljle3jktt7y
SBVR vs OCL: A Comparative Analysis of Standards
[article]
2013
arXiv
pre-print
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.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2011 2011 IEEE 14th International Multitopic Conference unpublished doi:10.1109/inmic.2011.6151485 fatcat:n3llsooc6jfptpyitcfgevsjwi
In this paper, we have performed a comparative analysis of both standards as we are looking for a mechanism for automatic transformation of SBVR to OCL. ...
Business constraints/rules can be written using SBVR (Semantics of Business Vocabulary and Rules) while OCL (Object Constraint Language) is the well-known medium for writing software constraints. ...
Similarly, OCL is a pure expression language and OCL constraints are side-effect free [2] . ...
arXiv:1304.7346v1
fatcat:nsljt7qx55fuve4ybcc6lkvkqu
« Previous
Showing results 1 — 15 out of 6,437 results