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

@inproceedings{Gogolla2017QualityIO,
  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},
  year={2017}
}
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… 

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

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

An Spin / Promela Application for Model checking UML Sequence Diagrams

TLDR
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

TLDR
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

TLDR
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.

Balancing Model Usability and Verifiability with SBVR and Answer Set Programming

TLDR
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.

References

SHOWING 1-10 OF 19 REFERENCES

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

Verification and Validation of UML Conceptual Schemas with OCL Constraints

TLDR
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

TLDR
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

TLDR
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.

UML 2: A model-driven development tool

  • B. Selic
  • Computer Science
    IBM Syst. J.
  • 2006
TLDR
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

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

An approach to testing conceptual schemas

Computing repairs for constraint violations in UML/OCL conceptual schemas