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:
Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling

verfasst von : Harald König, Zinovy Diskin

Erschienen in: Modelling Foundations and Applications

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Software design requires deployment of interdependent models conforming to different metamodels. This set of models is called a multimodel, and it must satisfy a set of global constraints regulating interaction of the multimodel components. A straightforward approach to global consistency checking would require merging component metamodels modulo their overlap, adding, perhaps, new global constraints to this merge, merging component models modulo their overlap, and checking the latter merge against the constraints in the former one. Being a natural definition for global consistency, these steps can not be used algorithmically because of two major practical drawbacks: they involve costly (meta)model matching to specify overlaps, and require building big and unfeasible merged metamodels and models.
The present paper makes two contributions. First, it presents a new algorithm to check each global constraint individually, and as local as possible, i.e., only using those (meta)model elements that affect the validity of the constraint. Second, it develops a mathematical foundation that allows us to formally prove that this individual local consistency checking is sound and complete w.r.t. the definition of global consistency.

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 Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization
Nächstes Kapitel Supporting the Linked Data Approach to Maintain Coherence Across Rich EMF Models
Fußnoten
1
Formally, \(r_i'\) (\(i\in \{1,2\}\)) map the data graph of \(A_{12}\) and respect behavior of \(r_i\), i.e. \(r_i';\tau _i = \tau _{12};r_i\).
 
2
Again assuming domain and codomain of \(r_1'\) and \(r_2'\) to be clear from the context.
 
3
We still consider \(c@\delta \) to be imposed on the merge \(M_+\) of \(M_1\) and \(M_2\), i.e. \(\delta : S^c\rightarrow M_+\). Recall that the image of \(\delta \) is the set of those elements in \(M_+\), the shape of c is mapped to.
 
4
All examples in the present paper are such that both \(r_1\) and \(r_2\) are injective.
 
Literatur
1.
Barr, M., Wells, C.: Category Theory for Computing Sciences. Prentice Hall, New York (1990)MATH
2.
Diskin, Z.: Towards generic formal semantics for consistency of heterogeneous multimodels. Tech. Rep. GSDLAB 2011–02-01, University of Waterloo (2011)
3.
Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol. 1889, pp. 345–360. Springer, Heidelberg (2000)CrossRef
4.
Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 163–177. Springer, Heidelberg (2012)CrossRef
5.
Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. In: Proceedings of the Second Workshop on Applied and Computational Category Theory (ACCAT 2007), pp. 19–41. ENTCS (2007)
6.
Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 165–179. Springer, Heidelberg (2011)CrossRef
7.
Easterbrook, S.M., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: ICSE, pp. 411–420 (2001)
8.
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006)MATH
9.
Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE 1997 Workshop on Living with Inconsistency, Boston, USA (1997)
10.
Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley, Reading (1997)
11.
12.
13.
14.
Lamo, Y., Wang, X., Mantz, F., Bech, Ø., Sandven, A., Rutle, A.: DPF workbench: a multi-level language workbench for MDE. Proc. Est. Acad. Sci. 62, 3–15 (2013)CrossRef
15.
Lopez-Herrejon, R.E., Egyed, A.: Detecting inconsistencies in multi-view models with variability. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 217–232. Springer, Heidelberg (2010)CrossRef
16.
Rabbi, F., Lamo, Y., Yu, I., Kristensen, L.: A diagrammatic approach to model completion. In: 4th Workshop on Analysis of Model Transformations Co-Located with MODELS 2015, pp. 56–65 (2015)
17.
Romero, J., Jaen, J., Vallecillo, A.: Realizing correspondences in multi-viewpoint specifications. In: EDOC, pp. 163–172. IEEE Computer Society (2009)
18.
19.
Rutle, A., Wolter, U., Lamo, Y.: A diagrammatic approach to model transformations. In: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (EATIS 2008), pp. 1–8. ACM (2008)
20.
Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency checking of conceptual models via model merging. In: RE, pp. 221–230. IEEE (2007)
21.
Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903. Springer, Heidelberg (1995)CrossRef
22.
Soboczińsky, P.: Deriving process congruences from reaction rules. Tech. Rep. DS-04-6, BRICS Dissertation Series (2004)
23.
Metadaten
Titel
Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling
verfasst von
Harald König
Zinovy Diskin
Copyright-Jahr
2016
Buch
Modelling Foundations and Applications

Print ISBN: 978-3-319-42060-8

Electronic ISBN: 978-3-319-42061-5

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-42061-5_2