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
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Injecting Execution Traces into a Model-Driven Framework for Program Analysis Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Toward Product Lines of Mathematical Models for Software Model Management

verfasst von : Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum

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

We present a general view on theoretical aspects of model synchronization and consistency management, and discuss technical challenges in making it sound, and cultural challenges in bringing it to practice.

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 The Tool Generation Challenge for Executable Domain-Specific Modeling Languages
Nächstes Kapitel Model-Driven Interaction Design for Social Robots
Fußnoten
1
For example, category theory seen as a discipline of mathematical modelling of mathematics itself, was very successful in packing the diversity of mathematical structures and operations over them into a product line of categories and categorical constructs.
 
2
As per personal communication with Nate Foster.
 
3
The notion of an organized lens was introduced in [11], although the very name od-lens is new.
 
5
Even though FP proponents are familiar with monads and other categorical constructs employed in FP.
 
6
Indeed, even quantum phenomena can be specified in a picturesque way as demonstrated in Coecke and Kissinger’s book [7].
 
Literatur
1.
Anjorin, A., Diskin, Z., Jouault, F., Ko, H., Leblebici, E., Westfechtel, B.: Benchmarx reloaded: a practical benchmark framework for bidirectional transformations. In: Eramo and Johnson [15], pp. 15–30
2.
Anjorin, A., Gibbons, J., (eds.) Proceedings of the 5th International Workshop on Bidirectional Transformations, BX 2016, Co-located with the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, 8 April 2016, CEUR Workshop Proceedings, vol. 1571. CEUR-WS.org (2016)
3.
Barbosa, D.M.J., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: alignment and view update. In: ICFP 2010, pp. 193–204 (2010)
4.
Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: POPL 2008, pp. 407–419 (2008)
5.
Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views. In: PODS 2006, pp. 338–347 (2006)
6.
Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles of least change and least surprise for bidirectional transformations. J. Object Technol. 16(1), 3:1–31 (2017)CrossRef
7.
Coecke, B., Kissinger, A.: Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge (2017)CrossRefMATH
8.
Diskin, Z.: An algebraic semantics for bidirectional model synchornization. University of Waterloo, Technical report GSDLab-TR 2014–04-01 (2014)
9.
Diskin, Z.: Compositionality of update propagation: lax putput. In: Eramo and Johnson [15], pp. 74–89
10.
Diskin, Z., Eramo, R., Pierantonio, A., Czarnecki, K.: Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization. In: Anjorin and Gibbons [2], pp. 15–31
11.
Diskin, Z., Gholizadeh, H., Wider, A., Czarnecki, K.: A three-dimensional taxonomy for bidirectional model synchronization. J. Syst. Softw. 111, 298–322 (2016)CrossRef
12.
Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1–25 (2011)
13.
14.
Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE 2007, pp. 292–301 (2007)
15.
Eramo, R., Johnson, M., (eds.) Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with the European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, 29 April 2017, CEUR Workshop Proceedings, vol. 1827. CEUR-WS.org (2017)
16.
Eramo, R., Pierantonio, A., Rosa, G.: Managing uncertainty in bidirectional model transformations. In: SLE 2015, pp. 49–58 (2015)
17.
Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: POPL 2005, pp. 233–246 (2005)
18.
Foster, J.N., Pilkiewicz, A., Pierce, B.C.: Quotient lenses. In: ICFP 2008, pp. 383–396 (2008)
19.
Haeberer, A.M., Maibaum, T.S.E.: Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering. In: ICSE 2001, pp. 463–472 (2001)
20.
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1), 241–269 (2015)CrossRef
21.
Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: POPL 2011, pp. 371–384 (2011)
22.
Hofmann, M., Pierce, B.C., Wagner, D.: Edit lenses. In: POPL 2012, pp. 495–508 (2012)
23.
Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: ICSE 2011, pp. 633–642. IEEE, ACM (2011)
24.
Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: ICSE 2011, pp. 471–480. IEEE, ACM (2011)
25.
Johnson, M., Rosebrugh, R.D.: View updatability based on the models of a formal specification. In: FME 2001: Formal Methods for Increasing Software Productivity, pp. 534–549 (2001)
26.
27.
Johnson, M., Rosebrugh, R.D.: Lens put-put laws: monotonic and mixed. ECEASST, 49 (2012)
28.
Johnson, M., Rosebrugh, R.D.: Delta lenses and opfibrations. ECEASST, 57 (2013)
29.
Johnson, M., Rosebrugh, R.D.: Unifying set-based, delta-based and edit-based lenses. In: Anjorin and Gibbons [2], pp. 1–13
30.
Königs, A., Schürr, A.: MDI: a rule-based multi-document and tool integration approach. Softw. Syst. Model. 5(4), 349–368 (2006)CrossRef
31.
32.
Maibaum, T.S.E.: What we teach software engineers in the university: do we take engineering seriously? In: ESEC/FSE, pp. 40–50 (1997)
33.
Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Schölzel, H.: On propagation-based concurrent model synchronization. ECEASST, 57 (2013)
34.
Salay, R., Famelis, M., Rubin, J., Sandro, A.D., Chechik, M.: Lifting model transformations to product lines. In: ICSE 2014 (2014)
35.
Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7–20 (2010)MathSciNetCrossRef
36.
Stevens, P.: Bidirectional transformations in the large. In: MODELS (2017 to appear)
37.
Taentzer, G., Ohrndorf, M., Lamo, Y., Rutle, A.: Change-preserving model repair. In: FASE 2017, pp. 283–299 (2017)
38.
Vincenti, W.: What engineers know and how they know it: analytical studies from aeronautical history. Johns Hopkins Studies in the History of Technology (1993)
39.
Whittle, J., Hutchinson, J., Rouncefield, M., Burden, H., Heldal, R.: Industrial adoption of model-driven engineering: are the tools really the problem? In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 1–17. Springer, Heidelberg (2013). https://​doi.​org/​10.​1007/​978-3-642-41533-3_​1 CrossRef
Metadaten
Titel
Toward Product Lines of Mathematical Models for Software Model Management
verfasst von
Zinovy Diskin
Harald König
Mark Lawford
Tom Maibaum
Copyright-Jahr
2018
Buch
Software Technologies: Applications and Foundations

Print ISBN: 978-3-319-74729-3

Electronic ISBN: 978-3-319-74730-9

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-74730-9_19

Premium Partner

    Bildnachweise