article

Query-driven soft traceability links for models

Authors:

Ábel Hegedüs,

Ákos Horváth,

Rodrigo Rizzi Starr,

Dániel VarróAuthors Info & Claims

Software and Systems Modeling (SoSyM), Volume 15, Issue 3

Pages 733 - 756

https://doi.org/10.1007/s10270-014-0436-y

Published: 01 July 2016 Publication History

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.

References

[1]

Anwar, A., Ebersold, S., Coulette, B., Nassar, M., Kriouile, A.: A rule-driven approach for composing viewpoint-oriented models. J. Object Technol. 9(2), 89---114 2010. http://www.jot.fm/contents/issue_2010_03/article1.html

[2]

AUTOSAR Consortium: The AUTOSAR Standard. http://www.autosar.org/ (2012)

[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).

[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)

Digital Library

[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)

Digital Library

[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)

Digital Library

[10]

Biermann, E., Ermel, C., Taentzer, G.: Precise semantics of EMF model transformations by graph transformation. In: MoDELS'08, Springer, Berlin (2008)

Digital Library

[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).

Digital Library

[12]

Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459---1478 (2009).

Digital Library

[13]

Champeau, J., Rochefort, E.: Model Engineering and Traceability. In: SIVOES-MDA Workshop, UML 2003 Conference (2003).

[14]

Clasen, C., Jouault, F., Cabot, J.: Virtual composition of EMF models. In: 7èmes Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), Lille, France. http://hal.inria.fr/inria-00606374 (2011)

[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).

Digital Library

[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).

Digital Library

[17]

Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: FASE 2012, Springer, Tallinn, Estonia (2012)

Digital Library

[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).

Digital Library

[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).

Digital Library

[20]

Eclipse Model Development Tools Project: Eclispe OCL website. http://www.eclipse.org/modeling/mdt/?project=ocl (2011)

[21]

Eclipsepedia: MDT/OCLinEcore. http://wiki.eclipse.org/MDT/OCLinEcorel (2012)

[22]

Ehrig, H. (ed.): Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2. World Scientific, Singapore (1999)

Digital Library

[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)

Digital Library

[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).

[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).

Digital Library

[28]

Heimbigner, D., McLeod, D.: A federated architecture for information management. ACM Trans. Inf. Syst. 3(3), 253---278 (1985).

Digital Library

[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)

Digital Library

[30]

Jeusfeld, M.A., Jarke, M., Mylopoulos, J.: Metamodeling for Method Engineering. The MIT Press, Cambridge (2009)

Digital Library

[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).

Digital Library

[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).

Digital Library

[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).

Digital Library

[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).

[38]

MathWorks: Matlab Simulink. http://www.mathworks.com/products/simulink/ (2013)

[39]

Merks, E.: Xcore: Ecore meets Xtext. http://wiki.eclipse.org/Xcore (2013)

[40]

Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: Proceedings of ICSE 2000, pp. 742---745 (2000)

Digital Library

[41]

OpenLink Software: Virtuoso Universal Server. http://virtuoso.openlinksw.com/ (2013)

[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).

Digital Library

[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).

Digital Library

[44]

RDF Core Working Group: Resource Description Framework (RDF). http://www.w3.org/RDF/ (2004)

[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)

Digital Library

[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).

Digital Library

[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. (2008)

Digital Library

[49]

SAE International: Architecture Analysis and Design Language (AADL). http://standards.sae.org/as5506a/ (2009)

[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).

Digital Library

[52]

Sesame: RDF API and Query Engine. http://www.openrdf.org/ (2013)

[53]

The Eclipse Project: Eclipse Modeling Framework. http://www.eclipse.org/emf (2012)

[54]

The Eclipse Project: EMF Model Query 2. http://wiki.eclipse.org/EMF/Query2 (2012)

[55]

The Eclipse Project: EMFStore. http://www.eclipse.org/emfstore/ (2012)

[56]

The Eclipse Project: EMFT Search. http://www.eclipse.org/modeling/emft/?project=search (2012)

[57]

The Eclipse Project: The CDO Model Repository. http://www.eclipse.org/cdo/ (2012)

[58]

The Eclipse Project: Xtend: Modernized Java. http://www.eclipse.org/xtend/ (2013)

[59]

The Eclipse Project: Xtext: Language development made easy! http://www.eclipse.org/Xtext/ (2013)

[60]

The Object Management Group: Object Constraint Language, v2.0. http://www.omg.org/spec/OCL/2.0/ (2006)

[61]

The Object Management Group: OMG System Modeling Language (SysML). http://www.omg.org/spec/SysML/index.htm (2010)

[62]

TIBCO Developer Network: TIBCO Business Studio. http://developer.tibco.com/business_studio/ (2012)

[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)

Digital Library

[64]

TopQuadrant Inc: SPIN support in TopBraid. http://www.topquadrant.com/products/SPIN.html (2013)

[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).

Digital Library

[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)

Digital Library

[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)

Digital Library

[69]

W3C: SPARQL Inferencing Notation. http://spinrdf.org/ (2013)

[70]

W3C: SPARQL Query Language for RDF. http://www.w3.org/TR/rdf-sparql-query/ (2013)

[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]

Workflow Management Coalition: XML Process Definition Language, v2.1. http://www.wfmc.org/xpdl.html (2008)

[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).

Digital Library

Cited By

Hausler DCombemale BWimmer MChechik MEgyed A(2024)Estimation, Impact and Visualization of Schema Evolution in Graph DatabasesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688196(123-129)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3688196
Di Sandro AKokaly SSalay RChechik MPretschner AVoss SBurgueño L(2019)Querying automotive system models and safety artifacts with MMINT and viatraProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00008(2-11)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00008
Hojaji FZamani BHamou-Lhadj AMayerhofer TBousse E(2019)Lossless compaction of model execution tracesSoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00737-w19:1(199-230)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-019-00737-w
Show More Cited By

Recommendations

Model querying with query models
GPCE '15

Model querying is an integral part of Model-Driven Engineering. Developers query models when specifying model transformations, when defining model constraints, or simply when they need to extract some information from the model. Model queries are often ...
Query-driven soft interconnection of EMF models
MODELS'12: Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Model repositories based on the Eclipse Modeling Framework (EMF) 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 ...
Rigorous identification and encoding of trace-links in model-driven engineering

Model-driven engineering (MDE) involves the construction and manipulation of many models of different kinds in an engineering process. In principle, models can be used in the product engineering lifecycle in an end-to-end manner for representing ...

Comments

Information & Contributors

Information

Published In

cover image Software and Systems Modeling (SoSyM)

Software and Systems Modeling (SoSyM) Volume 15, Issue 3

July 2016

316 pages

ISSN:1619-1366

Issue’s Table of Contents

Copyright © Copyright © 2016 Springer-Verlag Berlin Heidelberg.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 July 2016

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hausler DCombemale BWimmer MChechik MEgyed A(2024)Estimation, Impact and Visualization of Schema Evolution in Graph DatabasesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688196(123-129)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3688196
Di Sandro AKokaly SSalay RChechik MPretschner AVoss SBurgueño L(2019)Querying automotive system models and safety artifacts with MMINT and viatraProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00008(2-11)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00008
Hojaji FZamani BHamou-Lhadj AMayerhofer TBousse E(2019)Lossless compaction of model execution tracesSoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00737-w19:1(199-230)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-019-00737-w
Hegedüs ÁBergmann GDebreceni CHorváth ÁLunk PMenyhért ÁPapp IVarró DVileiniskis TRáth I(2018)Incquery server for teamwork cloudProceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3270112.3270125(27-31)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3270112.3270125
Marussy KSemeráth OVarró DWąsowski APaige RHaugen Ø(2018)Incremental View Model Synchronization Using Partial ModelsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239412(323-333)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239412
Semeráth ONagy AVarró DChaudron MCrnkovic IChechik MHarman M(2018)A graph solver for the automated generation of consistent domain-specific modelsProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180186(969-980)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180186
Szárnyas GIzsó BRáth IVarró D(2018)The Train BenchmarkSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0571-817:4(1365-1393)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10270-016-0571-8
Varró DBergmann GHegedüs ÁHorváth ÁRáth IUjhelyi Z(2016)Road to a reactive and incremental model transformation platformSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0530-415:3(609-629)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1007/s10270-016-0530-4

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents