Evaluating well-formedness constraints on incomplete models

Semeráth Oszkár and Varró Dániel: Evaluating well-formedness constraints on incomplete models. In: Acta cybernetica, (23) 2. pp. 687-713. (2017)

[thumbnail of actacyb_23_2_2017_15.pdf]
Preview
Cikk, tanulmány, mű
actacyb_23_2_2017_15.pdf

Download (1MB) | Preview

Abstract

In modern modeling tools used for model-driven development, the validation of several well-formedness constraints is continuously been carried out by exploiting advanced graph query engines to highlight conceptual design flaws. However, while models are still under development, they are frequently partial and incomplete. Validating constraints on incomplete, partial models may identify a large number of irrelevant problems. By switching off the validation of these constraints, one may fail to reveal problematic cases which are difficult to correct when the model becomes sufficiently detailed. Here, we propose a novel validation technique for evaluating well-formedness constraints on incomplete, partial models with may and must semantics, e.g. a constraint without a valid match is satisfiable if there is a completion of the partial model that may satisfy it. To this end, we map the problem of constraint evaluation over partial models into regular graph pattern matching over complete models by semantically equivalent rewrites of graph queries.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2017
Volume: 23
Number: 2
ISSN: 0324-721X
Page Range: pp. 687-713
Language: English
Place of Publication: Szeged
Related URLs: http://acta.bibl.u-szeged.hu/50022/
DOI: 10.14232/actacyb.23.2.2017.15
Uncontrolled Keywords: Informatika, Számítástechnika, Programozás
Additional Information: Bibliogr.: p. 706-709. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2018. Feb. 13. 10:44
Last Modified: 2022. Jun. 20. 15:35
URI: http://acta.bibl.u-szeged.hu/id/eprint/50095

Actions (login required)

View Item View Item