Evaluating well-formedness constraints on incomplete models

Semeráth Oszkár; 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]
Előnézet
Cikk, tanulmány, mű
actacyb_23_2_2017_15.pdf

Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2017
Kötet: 23
Szám: 2
ISSN: 0324-721X
Oldalak: pp. 687-713
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/50022/
DOI: 10.14232/actacyb.23.2.2017.15
Kulcsszavak: Informatika, Számítástechnika, Programozás
Megjegyzések: Bibliogr.: p. 706-709. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2018. feb. 13. 10:44
Utolsó módosítás: 2022. jún. 20. 15:35
URI: http://acta.bibl.u-szeged.hu/id/eprint/50095
Bővebben:
Tétel nézet Tétel nézet