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
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 3/2016

08.10.2014 | Regular Paper

Query-driven soft traceability links for models

verfasst von: Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró

Erschienen in: Software and Systems Modeling | Ausgabe 3/2016

Einloggen

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

search-config
loading …

Abstract

Model repositories play a central role in the model driven development of complex software-intensive systems by offering means to persist and manipulate models obtained from heterogeneous languages and tools. Complex models can be assembled by interconnecting model fragments by hard links, i.e., regular references, where the target end points to external resources using storage-specific identifiers. This approach, in certain application scenarios, may prove to be a too rigid and error prone way of interlinking models. As a flexible alternative, we propose to combine derived features with advanced incremental model queries as means for soft interlinking of model elements residing in different model resources. These soft links can be calculated on-demand with graceful handling for temporarily unresolved references. In the background, the links are maintained efficiently and flexibly by using incremental model query evaluation. The approach is applicable to modeling environments or even property graphs for representing query results as first-class relations, which also allows the chaining of soft links that is useful for modular applications. The approach is evaluated using the Eclipse Modeling Framework (EMF) and EMF-IncQuery in two complex industrial case studies. The first case study is motivated by a knowledge management project from the financial domain, involving a complex interlinked structure of concept and business process models. The second case study is set in the avionics domain with strict traceability requirements enforced by certification standards (DO-178b). It consists of multiple domain models describing the allocation scenario of software functions to hardware components.
Vorheriger Artikel Turning event logs into process movies: animating what has really happened
Nächster Artikel Empirically evaluating OCL and Java for specifying constraints on UML models

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 "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

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
Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
2
The authors affiliated with Budapest University of Technology and Economics are also committers of the project.
 
3
For comparison of the query language with other formalisms, see [6, 8].
 
4
For detailed performance evaluation of EMF-IncQuery as a query evaluation framework see [65].
 
5
All measurements were carried out on a PC with Intel Core i5-2410M 2.3 GHz processor, Windows 8, Java 1.6 64 bit with 512 MB heap space (DDR3 memory), wall-time measurement with nanotime precision. The measurements are taken after a warm-up phase in order to eliminate other factors such as class loading, JIT compiler, disk access. The final values are taken as the average of at least 10 measurements.
 
6
The numerical results of the measurements are included in Fig. 18 in the Appendix.
 
7
Details on integration with existing EMF-based technologies are discussed in Sect. 9.
 
Literatur
1.
2.
3.
Bąk, K., Czarnecki, K., Wąsowski, A.: Feature and meta-models in clafer: mixed, specialized, and coupled. In: 3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands (2010). doi:10.​1007/​978-3-642-19440-5_​7
4.
Balsters, H.: Modelling database views with derived classes in the UML/OCL-framework. In: Stevens, P., Whittle, J., Booch, G. (eds.) \(\ll \) UML \(\gg \) 2003—The Unified Modeling Language. Modeling Languages and Applications, LNCS, vol. 2863, pp. 295–309. Springer, Berlin (2003)
5.
Bergmann, G.: Incremental model queries in model-driven design. Ph.D. dissertation, Budapest University of Technology and Economics, Budapest (2013)
6.
Bergmann, G.: Translating OCL to graph patterns. In: Dingel, J., Schulte, W. (eds.) ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014. Springer, Valencia (2014)
7.
Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., Ökrös, A.: Incremental evaluation of model queries over EMF models. In: MODELS’10, Springer, LNCS, vol. 6395 (2010)
8.
Bergmann, G., Ujhelyi, Z., Ráth, I., Varró, D.: A graph query language for EMF models. In: Proceedings of ICMT’11, Springer, Berlin (2011)
9.
Bergmann, G., Ráth, I., Szabó, T., Torrini, P., Varró, D.: Incremental pattern matching for the efficient computation of transitive closures. In: Sixth International Conference on Graph Transformation, Bremen, Germany (2012)
10.
Biermann, E., Ermel, C., Taentzer, G.: Precise semantics of EMF model transformations by graph transformation. In: MoDELS’08, Springer, Berlin (2008)
11.
Bürger, C., Karol, S., Wende, C., Aßmann, U.: Reference attribute grammars for metamodel semantics. In: Malloy, B., Staab, S., van den Brand, M. (eds.) Software Language Engineering, LNCS, vol. 6563, pp. 22–41. Springer, Berlin (2011). doi:10.​1007/​978-3-642-19440-5_​3
12.
13.
Champeau, J., Rochefort, E.: Model Engineering and Traceability. In: SIVOES-MDA Workshop, UML 2003 Conference (2003).
14.
15.
Debreceni, C., Horváth, Á., Hegedüs, Á., Ujhelyi, Z., Ráth, I., Varró, D.: Query-driven incremental synchronization of view models. In: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, ACM, York, UK (2014). doi:10.​1145/​2631675.​2631677
16.
Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Fernandes, J., Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III, LNCS, vol. 6491, pp. 92–165. Springer, Berlin (2011). doi:10.​1007/​978-3-642-18023-1_​3
17.
Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: FASE 2012, Springer, Tallinn, Estonia (2012)
18.
Drivalos, N., Kolovos, D., Paige, R., Fernandes, K.: Engineering a DSL for software traceability. In: Gaševic, D., Lämmel, R., Van Wyk, E. (eds.) Software Language Engineering, LNCS, vol. 5452, pp. 151–167. Springer, Berlin/Heidelberg (2009). doi:10.​1007/​978-3-642-00434-6_​10
19.
Drivalos-Matragkas, N., Kolovos, D.S., Paige, R.F., Fernandes, K.J.: A state-based approach to traceability maintenance. In: Proceedings of the 6th ECMFA Traceability Workshop, ACM, New York, NY, USA, ECMFA-TW’10, pp. 23–30 (2010). doi:10.​1145/​1814392.​1814396
20.
21.
22.
Ehrig, H. (ed.): Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2. World Scientific, Singapore (1999)
23.
Giese, H., Hildebrandt, S., Seibel, A.: Improved flexibility and scalability by interpreting story diagrams. In: Proceedings of GT-VMT 2009, ECEASST, vol. 18 (2009)
24.
Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: FASE 2009, Springer, LNCS, vol. 6013 (2010)
25.
Gupta, A., Mumick, I.S.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3–18 (1995)
26.
Hegedüs, Á., Horváth, Á., Ráth, I., Branco, M.C., Varró, D.: Quick fix generation for DSMLs. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, IEEE Computer Society (2011). doi:10.​1109/​VLHCC.​2011.​6070373
27.
Hegedüs, Á., Horváth, Á., Ráth, I., Varró, D.: Query-driven soft interconnection of EMF models. In: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, Springer, Innsbruck, Austria, LNCS, vol. 7590 (2012). doi:10.​1007/​978-3-642-33666-9_​10
28.
29.
Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I.: Towards precise metrics for predicting graph query performance. In: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), pp. 412–431 (2013)
30.
Jeusfeld, M.A., Jarke, M., Mylopoulos, J.: Metamodeling for Method Engineering. The MIT Press, Cambridge (2009)MATH
31.
Jouault, F.: Loosely coupled traceability for atl. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA) workshop on traceability, Nuremberg, Germany, vol. 91 (2005)
32.
Kolovos, D.S.: Establishing Correspondences between Models with the Epsilon Comparison Language. In: Proceedings of the 5th European Conference on Model Driven Architecture—Foundations and Applications, Springer, Berlin, ECMDA-FA’09, pp. 146–157 (2009). doi:10.​1007/​978-3-642-02674-4_​11
33.
Kolovos, D.S., Paige, R.F., Polack, F.A.: On-demand merging of traceability links with models. In: Proceedings of 2nd EC-MDA Workshop on Traceability, Bilbao, Spain (2006, July)
34.
Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., Ráth, I., Varró, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of the Workshop on Scalability in Model Driven Engineering, ACM, New York, NY, USA, BigMDE’13, pp. 2:1–2:10 (2013). doi:10.​1145/​2487766.​2487768
35.
Lara, J., Guerra, E.: Deep meta-modelling with metadepth. In: Vitek, J. (ed.) Objects, Models, Components, Patterns. Lecture Notes in Computer Science, vol. 6141, pp. 1–20. Springer, Berlin (2010). doi:10.​1007/​978-3-642-13953-6_​1
36.
Limón, A.E., Garbajosa, J.: The need for a unifying traceability scheme. In: ECMDA Traceability Workshop (ECMDA-TW), pp. 47–56 (2005)
37.
Del Fabro, Marcos Didonet, Valduriez, Patrick: Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling Special section paper. Springer, Berlin (2008). doi:10.​1007/​s10270-008-0094-z
38.
39.
40.
Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: Proceedings of ICSE 2000, pp. 742–745 (2000)
41.
42.
Paige, R., Drivalos, N., Kolovos, D., Fernandes, K., Power, C., Olsen, G., Zschaler, S.: Rigorous identification and encoding of trace-links in model-driven engineering. In: Software and Systems Modeling pp. 1–19 (2010). doi:10.​1007/​s10270-010-0158-8
43.
Ráth, I., Hegedüs, Á., Varró, D.: Derived features for EMF by integrating advanced model queries. In: Vallecillo, A., Tolvanen, J.P., Kindler, E., Störrle, H., Kolovos, D. (eds.) Modelling Foundations and Applications, LNCS, vol. 7349, pp. 102–117. Springer, Berlin (2012). doi:10.​1007/​978-3-642-31491-9_​10
44.
45.
Rensink, A.: Representing first-order logic using graphs. In: International Conference on Graph Transformations (ICGT), LNCS 3256, pp. 319–335. Springer, Berlin (2004)
46.
Rensink, A.: Time and space issues in the generation of graph transition systems. In: Mens, T., Schürr, A., Taentzer, G. (eds.), Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004), Electronic Notes in Theoretical Computer Science, vol. 127, pp. 127–139 (2005)
47.
Rose, L., Kolovos, D., Drivalos, N., Williams, J., Paige, R., Polack, F., Fernandes, K.: Concordance: a framework for managing model integrity. In: Kühne, T., Selic, B., Gervais, M.P., Terrier, F. (eds.) Modelling Foundations and Applications, LNCS, vol. 6138, pp. 245–260. Springer, Berlin (2010). doi:10.​1007/​978-3-642-13595-8_​20
48.
Ráth, I., Bergmann, G., Ökrös, A., Varró, D.: Live model transformations driven by incremental pattern matching. In: Theory and Practice of Model Transformations, Springer, Berlin, LNCS, vol. 5063, pp. 107–121. doi:10.​1007/​978-3-540-69927-9_​8 (2008)
49.
50.
Scheidgen, M.: On Implementing MOF 2.0-New Features for Modelling Language Abstractions (2005)
51.
Schürr, A.: Introduction to PROGRESS, an attribute graph grammar based specification language. In: Nagl, M. (ed.) Graph-Theoretic Concepts in Computer Science, LNCS, vol. 411, pp. 151–165. Springer, Berlin (1990). doi:10.​1007/​3-540-52292-1_​11
52.
53.
54.
55.
56.
57.
58.
59.
60.
61.
62.
63.
Tolvanen, J.P., Rossi, M.: MetaEdit+: defining and using domain-specific modeling languages and code generators. In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, New York, NY, USA, OOPSLA’03, pp. 92–93 (2003)
64.
65.
Ujhelyi, Z., Hegedüs, Á., Bergmann, G., Horváth, Á., Ráth, I., Varró, D.: EMF-IncQuery: an integrated development environment for live model queries. Sci. Comput. Program. (2014). doi:10.​1016/​j.​scico.​2014.​01.​004
66.
Vanhooff, B., Berbers, Y.: Supporting modular transformation units with precise transformation traceability metadata. In: ECMDA-TW Workshop, SINTEF, pp. 15–27 (2005)
67.
Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214–234 (2007)MathSciNetCrossRefMATH
68.
Varró, D., Pataricza, A.: VPM: a visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. J. Softw. Syst. Model. 2(3), 187–210 (2003)CrossRef
69.
70.
71.
Walderhaug, S., Johansen, U., Stav, E., Aagedal, J.: Towards a Generic Solution for Traceability in MDD. In: 5th ECMDA workshop on traceability, ECMDA conference (2006)
72.
Willink, E.D.: Aligning OCL with UML. ECEASST 44 (2011)
73.
74.
Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, ACM, New York, NY, USA, ASE’07, pp. 164–173 (2007). doi:10.​1145/​1321631.​1321657
Metadaten
Titel
Query-driven soft traceability links for models
verfasst von
Ábel Hegedüs
Ákos Horváth
István Ráth
Rodrigo Rizzi Starr
Dániel Varró
Publikationsdatum
08.10.2014
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 3/2016
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-014-0436-y

Weitere Artikel der Ausgabe 3/2016

Software and Systems Modeling 3/2016 Zur Ausgabe

Regular Paper

Comprehensive analysis of FBD test coverage criteria using mutants

Regular Paper

Clafer: unifying class and feature modeling

Expert Voice

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Regular Paper

Enhanced graph rewriting systems for complex software domains

Regular Paper

Least-change bidirectional model transformation with QVT-R and ATL

Regular Paper

Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain

Premium Partner

    Bildnachweise