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

  title={Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification},
  author={Martin Gogolla and Khanh-Hoang Doan},
  booktitle={Conceptual Modeling Perspectives},
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 deficiencies in models on the basis of generated test cases and thus improve model quality. Along with such use cases, we demonstrate how to realize them in the UML and OCL tool USE. We apply the tool for a small case study showing the development of a relational database schema on the basis of a… 

Balancing Model Usability and Verifiability with SBVR and Answer Set Programming

This work presents an approach and early results using the Semantics of Business Vocabulary and Business Rules standard as modeling notation and answer set programming (ASP) logic paradigm for verification of domain models as an attempt to address challenges of regulatory compliance for business enterprises.

An Spin / Promela Application for Model checking UML Sequence Diagrams

The primary goal of this article is to review and improve the translation of basic and complex UML sequence diagrams into Spin / Promela code taking into account behavioral properties and elements of combined fragments of U ML sequence diagrams for synchronous and asynchronous messages.

Automotive Requirements Validation and Traceability Analysis With AQL Queries

An integrated UML model-based description for the overall passenger car development is proposed, facilitating specification analysis based on the Acceleo Query Language (AQL) and shown how model analysis can be automated to improve design model quality and reduce or detect unintended side effects of design changes.

Authoring Models of Regulations

A framework that aids the domain experts in the transformation of regulations present in legal natural language text (English) to a model form via authoring and validation of structured English rules, that provides content management-based, document-driven, and expert-dependent ways of managing regulatory compliance.

Development of the Rules for Model Transformation with OCL Integration in UWE

This research aims to help web application developers take a holistic view of model transformation techniques in UWE-driven web application development.



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

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

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

This research proposal suggests an approach for testing-based conceptual schema validation in order to improve quality in Model-Driven Development.

Verification and Validation of UML Conceptual Schemas with OCL Constraints

This article proposes an approach to verify and validate UML conceptual schemas, with arbitrary constraints formalized in OCL, and implemented its approach to show its feasibility.

On Checking Executable Conceptual Schema Validity by Testing

This paper proposes and formally defines a set of four adequacy criteria which can be automatically checked in order to ensure, by testing, the necessary conditions for schema validity (correctness and relevance).

Verification of UML Models by Translation to UML-B

The INESS project takes an extant UML model of a railway interlocking system and explores methodical ways to translate it into UML-B in such a way as to facilitate proof that the model satisfies certain safety properties which are expressed as invariants.

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

UML 2: A model-driven development tool

  • B. Selic
  • Computer Science
    IBM Syst. J.
  • 2006
This overview article describes the key developments in UML 2 and the rationale behind them, and explains how they help meet the needs of model-driven development.

Automated reasoning on UML conceptual schemas with derived information and queries

Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas

This paper proposes an algorithm to automatically compute the missing effects in postconditions that would ensure the executability of the operation.