Modular architecture for a toolset supporting OCL

Authors:
Heinrich Hussmann;Birgit Demuth;Frank Finger
Affiliations:
Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany;Department of Computer Science, Dresden University of Technology, Dresden, Germany
Venue:
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Year:
2002

Citing 11
Cited 4

Understanding the new SQL: a complete guide

Understanding the new SQL: a complete guide
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide

The Unified Modeling Language user guide
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Applying "Design by Contract"

Computer
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
From use cases to system operation specifications

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Validating UML models and OCL constraints

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A metamodel for OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using UML/OCL constraints for relational database design

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

State Based Robustness Testing for Components

Electronic Notes in Theoretical Computer Science (ENTCS)
OCLPrime - Environment and Language for Model Query, Views and Transformations

Electronic Notes in Theoretical Computer Science (ENTCS)
Realizing UML Metamodel Transformations with AGG

Electronic Notes in Theoretical Computer Science (ENTCS)
Modular embedding of the object constraint language into a programming language

SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The practical application of the object constraint language (OCL), which is part of the UML specification 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 different UML tools. Therefore, a flexible modular architecture for a UML/OCL toolset is proposed. The paper reports on the first results of an ongoing project which aims at the provision of such an OCL toolset that is available as free software.