Software & Systems Modeling

, Volume 15, Issue 3, pp 733–756 | Cite as

Query-driven soft traceability links for models

  • Ábel Hegedüs
  • Ákos Horváth
  • István Ráth
  • Rodrigo Rizzi Starr
  • Dániel Varró
Regular Paper

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.

Keywords

Soft links Incremental model queries Derived features Traceability 

References

  1. 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. doi:10.5381/jot.2010.9.2.a1. http://www.jot.fm/contents/issue_2010_03/article1.html
  2. 2.
    AUTOSAR Consortium: The AUTOSAR Standard. http://www.autosar.org/ (2012)
  3. 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. 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)Google Scholar
  5. 5.
    Bergmann, G.: Incremental model queries in model-driven design. Ph.D. dissertation, Budapest University of Technology and Economics, Budapest (2013)Google Scholar
  6. 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)Google Scholar
  7. 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)Google Scholar
  8. 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)Google Scholar
  9. 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)Google Scholar
  10. 10.
    Biermann, E., Ermel, C., Taentzer, G.: Precise semantics of EMF model transformations by graph transformation. In: MoDELS’08, Springer, Berlin (2008)Google Scholar
  11. 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. 12.
    Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459–1478 (2009). doi:10.1016/j.jss.2009.03.009 CrossRefGoogle Scholar
  13. 13.
    Champeau, J., Rochefort, E.: Model Engineering and Traceability. In: SIVOES-MDA Workshop, UML 2003 Conference (2003).Google Scholar
  14. 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. 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. 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. 17.
    Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: FASE 2012, Springer, Tallinn, Estonia (2012)Google Scholar
  18. 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. 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. 20.
    Eclipse Model Development Tools Project: Eclispe OCL website. http://www.eclipse.org/modeling/mdt/?project=ocl (2011)
  21. 21.
    Eclipsepedia: MDT/OCLinEcore. http://wiki.eclipse.org/MDT/OCLinEcorel (2012)
  22. 22.
    Ehrig, H. (ed.): Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2. World Scientific, Singapore (1999)Google Scholar
  23. 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)Google Scholar
  24. 24.
    Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: FASE 2009, Springer, LNCS, vol. 6013 (2010)Google Scholar
  25. 25.
    Gupta, A., Mumick, I.S.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3–18 (1995)Google Scholar
  26. 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. 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. 28.
    Heimbigner, D., McLeod, D.: A federated architecture for information management. ACM Trans. Inf. Syst. 3(3), 253–278 (1985). doi:10.1145/4229.4233 CrossRefGoogle Scholar
  29. 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)Google Scholar
  30. 30.
    Jeusfeld, M.A., Jarke, M., Mylopoulos, J.: Metamodeling for Method Engineering. The MIT Press, Cambridge (2009)MATHGoogle Scholar
  31. 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)Google Scholar
  32. 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. 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)Google Scholar
  34. 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. 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. 36.
    Limón, A.E., Garbajosa, J.: The need for a unifying traceability scheme. In: ECMDA Traceability Workshop (ECMDA-TW), pp. 47–56 (2005)Google Scholar
  37. 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 Google Scholar
  38. 38.
    MathWorks: Matlab Simulink. http://www.mathworks.com/products/simulink/ (2013)
  39. 39.
    Merks, E.: Xcore: Ecore meets Xtext. http://wiki.eclipse.org/Xcore (2013)
  40. 40.
    Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: Proceedings of ICSE 2000, pp. 742–745 (2000)Google Scholar
  41. 41.
    OpenLink Software: Virtuoso Universal Server. http://virtuoso.openlinksw.com/ (2013)
  42. 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. 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. 44.
    RDF Core Working Group: Resource Description Framework (RDF). http://www.w3.org/RDF/ (2004)
  45. 45.
    Rensink, A.: Representing first-order logic using graphs. In: International Conference on Graph Transformations (ICGT), LNCS 3256, pp. 319–335. Springer, Berlin (2004)Google Scholar
  46. 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)Google Scholar
  47. 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. 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. 49.
    SAE International: Architecture Analysis and Design Language (AADL). http://standards.sae.org/as5506a/ (2009)
  50. 50.
    Scheidgen, M.: On Implementing MOF 2.0-New Features for Modelling Language Abstractions (2005) Google Scholar
  51. 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. 52.
    Sesame: RDF API and Query Engine. http://www.openrdf.org/ (2013)
  53. 53.
    The Eclipse Project: Eclipse Modeling Framework. http://www.eclipse.org/emf (2012)
  54. 54.
    The Eclipse Project: EMF Model Query 2. http://wiki.eclipse.org/EMF/Query2 (2012)
  55. 55.
    The Eclipse Project: EMFStore. http://www.eclipse.org/emfstore/ (2012)
  56. 56.
    The Eclipse Project: EMFT Search. http://www.eclipse.org/modeling/emft/?project=search (2012)
  57. 57.
    The Eclipse Project: The CDO Model Repository. http://www.eclipse.org/cdo/ (2012)
  58. 58.
    The Eclipse Project: Xtend: Modernized Java. http://www.eclipse.org/xtend/ (2013)
  59. 59.
    The Eclipse Project: Xtext: Language development made easy! http://www.eclipse.org/Xtext/ (2013)
  60. 60.
    The Object Management Group: Object Constraint Language, v2.0. http://www.omg.org/spec/OCL/2.0/ (2006)
  61. 61.
    The Object Management Group: OMG System Modeling Language (SysML). http://www.omg.org/spec/SysML/index.htm (2010)
  62. 62.
    TIBCO Developer Network: TIBCO Business Studio. http://developer.tibco.com/business_studio/ (2012)
  63. 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)Google Scholar
  64. 64.
    TopQuadrant Inc: SPIN support in TopBraid. http://www.topquadrant.com/products/SPIN.html (2013)
  65. 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. 66.
    Vanhooff, B., Berbers, Y.: Supporting modular transformation units with precise transformation traceability metadata. In: ECMDA-TW Workshop, SINTEF, pp. 15–27 (2005)Google Scholar
  67. 67.
    Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214–234 (2007)MathSciNetCrossRefMATHGoogle Scholar
  68. 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)CrossRefGoogle Scholar
  69. 69.
    W3C: SPARQL Inferencing Notation. http://spinrdf.org/ (2013)
  70. 70.
    W3C: SPARQL Query Language for RDF. http://www.w3.org/TR/rdf-sparql-query/ (2013)
  71. 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)Google Scholar
  72. 72.
    Willink, E.D.: Aligning OCL with UML. ECEASST 44 (2011)Google Scholar
  73. 73.
    Workflow Management Coalition: XML Process Definition Language, v2.1. http://www.wfmc.org/xpdl.html (2008)
  74. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Ábel Hegedüs
    • 1
  • Ákos Horváth
    • 1
  • István Ráth
    • 1
  • Rodrigo Rizzi Starr
    • 2
  • Dániel Varró
    • 1
  1. 1.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary
  2. 2.Embraer S.A. Av Brigadeiro Faria LimaSão José dos CamposBrazil

Personalised recommendations