Graph Consistency as a Graduated Property

Autor: Kosiol, J., Strüber, D.G.F., Taentzer, G., Zschaler, S., Gaducci, F., Kehrer, T.

Publikováno v: Graph Transformation
Gaducci, F.; Kehrer, T. (ed.), Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings, pp. 239-256
Gaducci, F.; Kehrer, T. (ed.), Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings, 239-256. Cham : Springer International Publishing
STARTPAGE=239;ENDPAGE=256;ISSN=0302-9743;TITLE=Gaducci, F.; Kehrer, T. (ed.), Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Where graphs are used for modelling and specifying systems, consistency is an important concern. To be a valid model of a system, the graph structure must satisfy a number of constraints. To date, consistency has primarily been viewed as a binary pro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmc_dedup___::2f3ec6136419a65f3491c45c6f136599
https://hdl.handle.net/2066/227212