Structure of the Dresden OCL Toolkit
نویسندگان
چکیده
The Object Constraint Language (OCL) as a part of the UML standard [1] is a formal language for defining constraints on UML models. We present a software platform for OCL tool support [2]. The platform is designed for openness and modularity, and is provided as open source. The goal of this platform is, for one thing, to enable practical experiments with various variants of OCL tool support, and then, to allow UML tool builders and users to integrate and adapt the existing OCL tools into their own environments. The Dresden OCL Toolkit provides the following tools:
منابع مشابه
The Dresden Ocl Toolkit and Its Role in Information Systems Development
The Object Constraint Language (OCL) is a part of the Unified Modeling Language (UML), the OMG standard in modeling of object-oriented applications. It is a formal language for defining constraints on UML models, especially in class and statechart diagrams. OCL does not require a mathematical background and can be understood by most software developers. The language is very powerful because it ...
متن کاملIntegrating OCL and Model Transformations in Fujaba
This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable in Fujaba’s model transformations. This makes Fujaba’s model transformations more powerful, completely platform independent and easier to read for developers who are already familiar with OCL. By using the code generat...
متن کاملModel and Object Verification by Using Dresden OCL
1 The Object Constraint Language (OCL) is a formal language standardized by the OMG (Object Management Group) that allows the specification of constraints on MOF(Meta Object Facility) or EMF (Eclipse Modeling Framework) Ecore-based models. After about ten years of research and OCL prototyping in the area of using formal methods in practical software engineering, OCL is appreciated by the indust...
متن کاملA Metamodel-Based OCL-Compiler for UML and MOF
After becoming part of the UML standard, OCL has been applied successfully in various domains. As a result, requirements to be met by future versions of OCL have evolved. A key requirement is to provide means for the formal integration of OCL and UML. Therefore, the latest proposal for a revised specification of OCL contains a metamodel defining the language concepts and semantics. Based on thi...
متن کاملModel-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support
OCL 2.0 specifies a standard library of predefined types and associated operations. A model-level representation of the library is required to reference its elements within the abstract syntax model created by an OCL parser. Existing OCL engines build this model in the implementation code which severely limits reusability, flexibility and maintainability. To address these problems, we show how ...
متن کامل