Die vorliegende Arbeit wendet sich an Ingenieur*innen und Wissenschaftler*innen im Umfeld von Industrie 4.0. Sie befasst sich mit der semantischen Interoperabilität zwischen digitalen Asset-Repräsentationen. Hierbei liegt der Fokus auf dem Austausch von Asset-Informationen mit Hilfe von Informationsmodellen. Derzeit werden eine Vielzahl von Informationsmodelle von verschiedenen Organisationen entwickelt. Diese enthalten vielfach semantisch identische Informationen, modellieren diese ggf. aber jeweils unterschiedlich. Kern der Arbeit ist eine neue Modelltransformationssprache zur Erstellung von Transformationsdefinitionen zwischen Informationsmodellen, um (semi-)automatisch Informationsmodelle aus anderen zu erzeugen. Die Sprache basiert auf der Object Constraint Language, ist allgemein und vollständig spezifiziert und kann in bestehende Automatisierungssystemen verwendet werden.

Cited by 10

Object constraint language (OCL)

Rajesh Kumar Pandey · ACM SIGSOFT Software Engineering Notes · 2011

OCL was introduced as a part of UML in 1997 as a business modeling language by IBM. Ever since its inception, the actual use of OCL in the industry has been almost negligible, even amongst the business application development community, for which it was specifically created. But now with the inception of MDA and related OMG standards the role of OCL is changing. UML 2.0 has introduced new concepts and refined some other including OCL in a way that UML 2.0 is now almost software architectures conformant too. This paper makes an investigation into the recent developments and explores the role of OCL in the current scenario and its future applications.

Cited by 105

Object Constraint Language: Metamodeling Semantics

Anneke Kleppe · 2009

This chapter contains sections titled: Introduction Metamodeling Semantics OCL Semantics: Types and Values OCL Semantics: Expressions and Evaluations Summary and Conclusions References

Cited by 5

Reflections on the Object Constraint Language

Ali Hamié, Franco Civello, John Howse et al. · Lecture notes in computer science · 1999

Cited by 40

Object Constraint Language (OCL): A Definitive Guide

Jordi Cabot, Martin Gogolla · Lecture notes in computer science · 2012

Cited by 154

Functional modeling with object constraint language contracts

Raul Sidnei Wazlawick · Elsevier eBooks · 2024

Cited by 0

Object Constraint Language for Modelling Computer Games

Sazan Kamal Sulaiman, Rawshan Nuree Othman · 2022

Recent years have seen rapid gaming development. As development speeds up, game complexity rises. Software engineers are using agile methodologies to enhance output. In this paper, a meta-model-based computer gaming model is shown. The meta-model was created for design reusability, with the purpose of building codes that automatically make implementations in a well-defined manner by constructing the sections individually and independently for implementation. Early game makers had little industry or resources. Space-time game modeling aids in computer game creation describes related topics and provides a game metamodel. Hand-coded parts and regulations make it harder to adapt to different game areas. MDD is an innovative software development method. Some people think drawing is enough to build a model. Diagrams are also needed. Models must have a well-defined, abstract syntax-illustrative structure consistent with met models. Building a space-time model for games allows for model language research. Meta models and OCL can close the design-implementation gap. The code structure facilitates sorting and querying models.

Cited by 2

Object Constraint Language Based Test Case Optimisation

Kunxiang Jin · Research Portal (King's College London)

Cited by 0

Automatic Benchmark Generation for Object Constraint Language

Ankit Jha · 2023

The Object Constraints Language (OCL), a specification language allows users to specify text-based formal rules over UML graphical models. However, the lack of OCL bench-marks makes difficult to evaluate existing and newly created OCL tools. In this short paper, we propose an approach to automatic OCL benchmark generation. We discuss its feasibility by illustrating different phases and outlining our current progress in this research.

Cited by 0

Object Management Group. Object Constraint Language Specification (in UML 1.4

Marlo Verdesca, Jaeson Munro, Michael Hoffman et al. · 2005

On-going research aims to accelerate the runtime processing speed of the One Semi-Automated Forces (OneSAF) Computer Generated Forces (CGF) simulation by converting and migrating some of the core algorithms from the host Central Processing Unit (CPU) to an on-board auxiliary Graphics Processor Unit (GPU). In this research the GPU chip is regarded as a surrogate stream processor and appropriate algorithms are designed to map to the GPU architecture. Processing speed gains are realized both through computational capabilities of the GPU as well as through offloading of the host CPU. Technology transfer of this research into the OneSAF user baseline is a key requirement of this research. The OneSAF development program focuses on the same issues of scalability and runtime performance that will be directly affected by use of GPUs. As program architects are marshalling conventional approaches for resolving these challenges, the introduction of GPU-based solutions is being realized. This paper examines the challenges, planned approaches and benchmarked results for using GPUs to accelerate OneSAF simulation. ABOUT THE AUTHORS

Cited by 0

Translating the Object Constraint Language into the Java Modelling Language

Ali Hamié · 2004

The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints include class invariants and preconditions and postconditions of operations. The Java Modelling Language (JML) is a behavioural interface specification language designed for specifying Java classes and interfaces. This paper defines a translation of OCL expressions and constraints into the Java Modelling Language. The objective of this translation is to be able to map UML object-oriented designs with OCL constraints to Java classes and interfaces annotated with JML specifications, and to carry out logical reasoning about such classes and interfaces using JML tools which include a run time assertion checker and an interactive prover based on PVS.

Cited by 36

The object constraint language : precise modeling with UML

Jos Warmer, Anneke Kleppe · 1998

(All chapters conclude with Summary.) Foreword. Preface. Acknowledgments. Introduction. Who Should Read This Book. How This Book Should Be Used. Typeface Conventions. Information on Related Subjects. 1. Why Write Constraints? Definition of Constraint. Use of Constraints in Other Techniques. Design by Contract. Definition of Contract. Contents of a Contract. Advantages of Contracts. Preconditions and Postconditions. Invariants. Advantages of Constraints. Better Documentation. Improved Precision. Communication without Misunderstanding. Declarative or Operational Constraints. Advantages of a Declarative Language. Notation: Natural Language or Mathematical Expressions. Summary: Requirements for OCL. 2. OCL Basics. The Royal and Loyal System Example. Putting Invariants on Attributes. Putting Invariants on Associated Classes. Dealing with Collections of Objects. Sets, Bags, and Sequences. Inheritance. Working with Enumerations. Writing Preconditions and Postconditions. Where to Start Writing Invariants. Broken Constraints. Summary. 3. The Complete Overview of OCL Constructs. Types and Instances. Value Types and Object Types. OCL Expressions and OCL Constraints. The Context of an OCL Expression. The Context of an Invariant. The Context of a Pre- or Postcondition. The self Keyword. Basic Types and Operators. The Boolean Type. The Integer and Real Types. The String Type. Model Types. Attributes from the UML Model. Operations from the UML Model. Class Operations and Attributes from the UML Model. Associations and Aggregations from the UML Model. Association Classes from the UML Model. Qualified Associations from the UML Model. Using Package Names in Navigations. Using Pathnames in Inheritance Relations. Enumeration Types. The Set, Bag, and Sequence Types. Treating Instances as Collections. Flattening Collections. Operations on All Collection Types. Operations with Variant Meaning. Operations for the Set Type. Operations for the Sequence Type. Operations That Iterate over Collection Elements. The select Operation. The reject Operation. The collect Operation. Shorthand Notation for collect. The forAll Operation. The exists Operation. The iterate Operation. Constructs for Postconditions. Operations Defined on Every OCL Type. Types as Objects. Type Conformance Rules. Precedence Rules. Comments. Undefined. Summary. 4. Modeling with Constraints. Constraints in a UML Model. Invariants. Invariants for Derived Attributes or Associations. Preconditions and Postconditions. Guards in State Transition Diagrams. Using Guards and Events in Pre- and Postconditions. Change Events in State Transition Diagrams. Type Invariants for Stereotypes. Where OCL Expressions Can Be Used. Constraints and Inheritance. Styles for Specifying Constraints. Avoiding Complex Navigation Expressions. Choice of Context Object. Use of allInstances. Splitting and Constraints. Adding Extra Operations or Attributes. Using the collect Shorthand. Solving Modeling Issues with Constraints. Abstract Classes. Specifying Uniqueness Constraints. Adding Details to the Model versus Adding Constraints. Cycles in Class Models. Constraints on Associations. Multiplicity Constraints. The Subset Constraint. The Or Constraint. Optional Multiplicity in Associations. Summary. 5. Extending OCL. A Word of Caution. Extending the Standard OCL Types. Adding New OCL Types. Operational Use of Constraints. Generating Code for Constraints. When to Check Constraints. What to Do When the Constraint Fails. Summary. Appendix A. OCL Basic Types and Collection Types. Basic Types. OclType. OclAny. OclExpression. Real. Integer. String. Boolean. Enumeration. Collection-Related Types. Collection. Set. Bag. Sequence. Appendix B. Formal Grammar. Bibliography. Index. 0201379406T04062001

Cited by 1,151