6,437 Hits in 3.2 sec

OCL constraints automatic generation for UML class diagram

Li Tan, Zongyuan Yang, Jinkui Xie
2010 2010 IEEE International Conference on Software Engineering and Service Sciences  
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

Florian Heidenreich, Christian Wende, Birgit Demuth
2007 Electronic Communications of the EASST  
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]

Imran S. Bajwa, Mark G. Lee
2011 Lecture Notes in Computer Science  
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

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.  ...  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

Heinrich Hussmann, Birgit Demuth, Frank Finger
2002 Science of Computer Programming  
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

Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
2012 Proceedings of the 12th Workshop on OCL and Textual Modelling - OCL '12  
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]

Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem
2015 Studies in Computational Intelligence  
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

Imran Sarwar Bajwa, Mark Lee, Behzad Bordbar
2012 Journal of King Saud University: Computer and Information Sciences  
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

Azzam Maraee, Eliran Nachmani, Arnon Sturm
2020 Journal of Object Technology  
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

Shikha Singh, Manuj Darbari
2020 International Journal of Advanced Computer Science and Applications  
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

Milan Milanović, Dragan Gašević, Adrian Giurca, Gerd Wagner, Vladan Devedžić
2007 Electronic Communications of the EASST  
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

Jessica Winkelmann, Gabriele Taentzer, Karsten Ehrig, Jochen M. Küster
2008 Electronical Notes in Theoretical Computer Science  
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

Diana Kalibatienė, Olegas Vasilecas
2012 Informatica  
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

N. C. Debnath, A. Garis, D. Riesco, G. Montejano
2007 2007 IEEE/ACS International Conference on Computer Systems and Applications  
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]

Imran Sarwar Bajwa, Behzad Bordbar, Mark Lee
2013 arXiv   pre-print
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