USE: A UML-based specification environment for validating UML and OCL

  title={USE: A UML-based specification environment for validating UML and OCL},
  author={Martin Gogolla and Fabian B{\"u}ttner and Mark Richters},
  journal={Sci. Comput. Program.},

Figures from this paper

Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models

This paper describes its own implementation of a specification transformation engine based on the Model-Driven Architecture (MDA) framework, which currently supports automatic tool-level transformations to USE from UML modeling tools built on the Eclipse-based Modeling Framework (EMF).

Dynamic Validation of Maude Prototypes of UML Models

Support for dynamically validating class invariants and operation pre/post conditions during the execution of prototypes automatically obtained from UML diagrams is provided.

Validate UML Model and OCL Expressions Using USE Tool

This research is focused on providing verifiable UML/OCL models by using UML-based Specification Environment (USE) for UML class model is integrated with the OCL constraints to check if the model is correctly designed as well as constraints for verification and validation.

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification

Model validation and verification tools should provide good support for generating test cases. We here sketch essential use cases for model validation and verification that help developers to find

UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure

  • C. WilkeB. Demuth
  • Computer Science
    Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
  • 2011
This paper presents an analysis of the static correctness of all OCL rules specified in the UML 2.3 superstructure document, categorise found errors and propose changes for both the U ML specification process and the OCL language to improve the Uml specification’s correctness in future versions.

Enhancing development and consistency of UML models and model executions with USE studio

A new integrated development environment for the three languages, UML, OCL and SOIL, is introduced to give the developer projectional editing features.

An Approach to Analyzing Temporal Properties in UML Class Models

This work proposes an approach for directly analyzing temporal properties expressed in TOCL and presents a case study based on the Steam Boiler Control System to demonstrate the applicability of the approach.

On formalizing UML and OCL features and their employment to runtime verification

This thesis summarizes published work that employs an endogenous metamodeling approach to define the semantics of newer elements of the UML, and uses UML and OCL models for runtime verification for this purpose.

Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool

Modern systems and their architectures are getting more complex than ever. Development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to

User Assistance Characteristics of the USE Model Checking Tool

This work discusses how the so-called USE model validator plugin is integrated into the USE environment in order to allow non domain experts to use it and construct object models that help to verify properties like model consistency.



A precise approach to validating UML models and OCL constraints

A precise approach is presented that allows an analysis and validation of UML models and OCL constraints, and a metamodel for OCL is introduced that defines the abstract syntax of OCL expressions and the structure of types and values.

Formalizing UML Models and OCL Constraints in PVS

Validating UML and OCL models in USE by automatic snapshot generation

The testing and certification of UML and OCL models as supported by the validation tool USE is studied by introducing a language for defining properties of desired snapshots and by showing how such snapshots are generated.

OCL: Syntax, Semantics, and Tools

A formal syntax and semantics for OCL based on set theory including expressions, invariants and pre- and postconditions is presented, which makes the meaning of constraints precise and helps to eliminate ambiguities and inconsistencies.

Modular architecture for a toolset supporting OCL

Emerging OCL tools

A comparative study of the main tools currently available for OCL, both commercial and freely available ones, is presented, with the advantages and disadvantages of the different tools being pointed out.

Using OCL Beyond Specifications

The paper analyzes the state of facts in implementing OCL support in ROCASE, and takes into account the conclusions obtained testing the tools mentioned at, to guess that the construction of safer applications modeled using UML, cannot be conceived without a strong OCLSupport beginning with the specification phase and finishing with the testing phase.

The KeY Approach: Integrating Object Oriented Design and Formal Verification

This paper reports on the ongoing KeY project aimed at bridging the gap between object-oriented software engineering methods and tools and deductive verification with the use of a commercial CASE tool enhanced with functionality for formal specification and deductives verification.

Unified Modeling Language Reference Manual, The (2nd Edition)

In this significantly updated and expanded edition of the definitive reference to the standard, James Rumbaugh, Ivar Jacobson, and Grady Booch clearly and completely describe UML concepts, including major revisions to sequence diagrams, activity models, state machines, components, internal structure of classes and components, and profiles.

The object constraint language: precise modeling with UML

This book discusses modeling with Constraints in a UML Model, using Package Names in Navigations, using Pathnames in Inheritance Relations, and treating Instances as Collections.