Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Towards the Verification of Hybrid Co-simulation Algorithms Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Graph Repair by Graph Programs

verfasst von : Annegret Habel, Christian Sandmann

Erschienen in: Software Technologies: Applications and Foundations

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Model repair is an essential topic in model-driven engineering. We consider the problem of graph repair: Given a graph constraint, we try to construct a graph program, such that the application to any graph yields a graph satisfying the graph constraint. We show the existence of terminating repair programs for a number of satisfiable constraints.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Short-Cut Rules
Nächstes Kapitel Double-Pushout Rewriting in Context
Fußnoten
1
Without loss of generality, we may assume that the conditions are proper, i.e., for all inclusion morphisms https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq33_HTML.gif in the condition, P is a proper subgraph of C.
 
2
For definition & existence of pushouts in the category of graphs see e.g. [EEPT06].
 
3
\(\bar{c}\) stands for the empty rule with the application condition c. \(\rightarrow ^+\)denotes the transitive closure of \(\rightarrow \).
 
4
A configuration \(\gamma \) is terminal if there is no configuration \(\delta \) such that \(\gamma \rightarrow \delta \).
 
5
A pair \((a',b')\) is jointly surjective if for each \(x\in R'\) there is a preimage \(y\in R\) with \(a'(y)=x\) or \(z\in C\) with \(b'(z)=x\).
 
6
For a rule https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq155_HTML.gif , https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq156_HTML.gif denotes the inverse rule. For https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq157_HTML.gif with intermediate graph \(K'\), https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq159_HTML.gif is the derived rule.
 
7
A morphism https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq239_HTML.gif is edge-increasing, if \(|E_C|>|E_A|\).
 
8
The requirement \(A\not =\emptyset \) in Theorem 2 cannot be deleted: for the unsatisfiable constraint \(\mathrm {\not \exists \,}C\wedge \mathrm {\exists \,}C\), there is no repair program.
 
9
For a rule https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq492_HTML.gif , https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq493_HTML.gif denotes the rule https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-04771-9_31/477029_1_En_31_IEq494_HTML.gif .
 
Literatur
[BET12]
Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227–250 (2012)CrossRef
[EEGH15]
[EEPT06]
[HP09]
Habel, A., Pennemann, K.-H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19, 245–296 (2009)MathSciNetCrossRef
[HS18]
[Löw93]
Löwe, M.: Algebraic approach to single-pushout graph transformation. Theor. Comput. Sci. 109, 181–224 (1993)MathSciNetCrossRef
[MGC13]
Macedo, N., Guimarães, T., Cunha, A.: Model repair and transformation with echo. In: Automated Software Engineering (ASE 2013), pp. 694–697. IEEE (2013)
[NEF03]
Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Software Engineering, pp. 455–464. IEEE Computer Society (2003)
[NKR17]
[Pen09]
Pennemann, K.-H.: Development of correct graph transformation systems. Ph.D. thesis, Universität Oldenburg (2009)
[PP12]
Poskitt, C.M., Plump, D.: Hoare-style verification of graph programs. Fundamenta Informaticae 118(1–2), 135–175 (2012)MathSciNetMATH
[PP13]
Poskitt, C.M., Plump, D.: Verifying total correctness of graph programs. Electron. Commun. EASST 61 (2013)
[PSM15]
Puissant, J.P., Van Der Straeten, R., Mens, T.: Resolving model inconsistencies using automated regression planning. Softw. Syst. Model. 14(1), 461–481 (2015)CrossRef
[SLO18]
Schneider, S., Lambers, L., Orejas, F.: Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20, 705–737 (2018)CrossRef
Metadaten
Titel
Graph Repair by Graph Programs
verfasst von
Annegret Habel
Christian Sandmann
Copyright-Jahr
2018
Buch
Software Technologies: Applications and Foundations

Print ISBN: 978-3-030-04770-2

Electronic ISBN: 978-3-030-04771-9

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-030-04771-9_31