pdfreaders.org

Efficient Analysis of Pattern-Based Constraint Specifications

Michael Wahler, David Basin, Achim D. Brucker und Jana Koehler

Cover for wahler.ea:efficient:2010.Precision and consistency are important prerequisites for class models to conform to their intended domain semantics. Precision can be achieved by augmenting models with design constraints and consistency can be achieved by avoiding contradictory constraints. However, there are different views of what constitutes a contradiction for design constraints. Moreover, state-of-the-art analysis approaches for proving constrained models consistent either scale poorly or require the use of interactive theorem proving. In this paper, we present a heuristic approach for efficiently analyzing constraint specifications built from constraint patterns. This analysis is based on precise notions of consistency for constrained class models and exploits the semantic properties of constraint patterns, thereby enabling syntax-based consistency checking in polynomial-time. We introduce a consistency checker implementing these ideas and we report on case studies in applying our approach to analyze industrial-scale models. These studies show that pattern-based constraint development supports the creation of concise specifications and provides immediate feedback on model consistency.

Schlüsselwörter: UML, OCL, Constraints, Patterns, Consistency
Kategorien: ,
Dokumente: (Artikel als PDF Datei)

QR Code for wahler.ea:efficient:2010.Bitte zitieren sie diesen Artikel wie folgt:
Michael Wahler, David Basin, Achim D. Brucker und Jana Koehler. Efficient Analysis of Pattern-Based Constraint Specifications. In Software and Systems Modeling, 9 (2), pages 225-255, 2010.
Schlüsselwörter: UML, OCL, Constraints, Patterns, Consistency
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/s10270-009-0123-6) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Article{ wahler.ea:efficient:2010,
abstract = {Precision and consistency are important prerequisites for class models to conform to their intended domain semantics. Precision can be achieved by augmenting models with design constraints and consistency can be achieved by avoiding contradictory constraints. However, there are different views of what constitutes a contradiction for design constraints. Moreover, state-of-the-art analysis approaches for proving constrained models consistent either scale poorly or require the use of interactive theorem proving. In this paper, we present a heuristic approach for efficiently analyzing constraint specifications built from constraint patterns. This analysis is based on precise notions of consistency for constrained class models and exploits the semantic properties of constraint patterns, thereby enabling syntax-based consistency checking in polynomial-time. We introduce a consistency checker implementing these ideas and we report on case studies in applying our approach to analyze industrial-scale models. These studies show that pattern-based constraint development supports the creation of concise specifications and provides immediate feedback on model consistency.},
address = {Heidelberg},
author = {Michael Wahler and David Basin and Achim D. Brucker and Jana Koehler},
doi = {10.1007/s10270-009-0123-6},
issn = {1619-1366},
journal = {Software and Systems Modeling},
keywords = {UML, OCL, Constraints, Patterns, Consistency},
month = {apr},
number = {2},
pages = {225--255},
pdf = {https://www.brucker.ch/bibliography/download/2010/wahler.ea-efficient-2010.pdf},
publisher = {Springer-Verlag},
title = {Efficient Analysis of Pattern-Based Constraint Specifications},
url = {https://www.brucker.ch/bibliography/abstract/wahler.ea-efficient-2010},
volume = {9},
year = {2010},
}