{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:22:05Z","timestamp":1773656525172,"version":"3.50.1"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,3,9]],"date-time":"2010-03-09T00:00:00Z","timestamp":1268092800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s10270-010-0158-8","type":"journal-article","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T08:24:48Z","timestamp":1268036688000},"page":"469-487","source":"Crossref","is-referenced-by-count":36,"title":["Rigorous identification and encoding of trace-links in model-driven engineering"],"prefix":"10.1007","volume":"10","author":[{"given":"Richard F.","family":"Paige","sequence":"first","affiliation":[]},{"given":"Nikolaos","family":"Drivalos","sequence":"additional","affiliation":[]},{"given":"Dimitrios S.","family":"Kolovos","sequence":"additional","affiliation":[]},{"given":"Kiran J.","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Power","sequence":"additional","affiliation":[]},{"given":"Goran K.","family":"Olsen","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"Zschaler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,9]]},"reference":[{"issue":"3","key":"158_CR1","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1147\/sj.453.0515","volume":"45","author":"N. Aizenbud-Reshef","year":"2006","unstructured":"Aizenbud-Reshef N., Nolan B., Rubin J., Shaham-Gafni Y.: Model traceability. IBM Syst. J. 45(3), 515\u2013526 (2006)","journal-title":"IBM Syst. J."},{"key":"158_CR2","doi-asserted-by":"crossref","unstructured":"Aizenbud-Reshef, N., Paige, R., Rubin, J., Shaham-Gafni, Y., Kolovos, D.: Operational semantics for traceability. In: Proceedings of the ECMDA Workshop on Traceability (2005)","DOI":"10.1147\/sj.453.0515"},{"key":"158_CR3","unstructured":"Alencar, F., Castro, J., Cysneiros, G., Mylopoulos, J.: From early requirements modeled by i* technique to later requirements modeled in precise UML. In: Proceedings of the III Workshop de Engenharia de Requisitos, Rio de Janeiro, Brasil (2000)"},{"key":"158_CR4","unstructured":"Alexander, I.: Towards automatic traceability in industrial practice. In: Proceedings of the Workshop on Traceability in Emerging Forms of Software Engineering (2002)"},{"issue":"10","key":"158_CR5","doi-asserted-by":"crossref","first-page":"970","DOI":"10.1109\/TSE.2002.1041053","volume":"28","author":"G. Antoniol","year":"2002","unstructured":"Antoniol G., Canfora G., Casazza G., De Lucia A., Merlo E.: Recovering traceability links between code and documentation. IEEE Trans. Softw. Eng. 28(10), 970\u2013983 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"158_CR6","doi-asserted-by":"crossref","unstructured":"Asuncion, H., Fran\u00e7ois, F., Taylor, R.: An end-to-end industrial software traceability tool. In: ESEC-FSE, pp. 115\u2013124. ACM, New York (2007)","DOI":"10.1145\/1287624.1287642"},{"key":"158_CR7","volume-title":"Cognitive Foundations of Natural History","author":"S. Atran","year":"1993","unstructured":"Atran S.: Cognitive Foundations of Natural History. Cambridge University Press, Cambridge (1993)"},{"issue":"2","key":"158_CR8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C. Nentwich","year":"2002","unstructured":"Nentwich C., Capra L., Emmerich W., Finkelstein A.: XLinkit: a consistency checking and smart link generation service. ACM Trans. Internet Technol. 2(2), 151\u2013185 (2002)","journal-title":"ACM Trans. Internet Technol."},{"key":"158_CR9","doi-asserted-by":"crossref","unstructured":"Chan, Z.E., Paige, R.F.: Designing a domain-specific contract language. In: ECMDA. LNCS, vol. 3748. Springer, Berlin (2005)","DOI":"10.1007\/11581741_14"},{"key":"158_CR10","unstructured":"Cleland-Huang, J., Change, C., Wise, J.: Supporting event-based traceability with high-level recognition of change events. In: COMPSAC. Springer, Berlin (2002)"},{"key":"158_CR11","unstructured":"Cysneiros, G., Zisman, A., Spanoudakis, G.: A traceability approach for i* and uml models. In: Proceedings of the Workshop on Software Engineering for Large-Scale Multi-Agent Systems (2003)"},{"key":"158_CR12","unstructured":"Dick, J.: Rich traceability. In: Proceedings of the Workshop on Traceability in Emerging Forms of Software Engineering (2002)"},{"key":"158_CR13","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: On the evolution of OCL for capturing structural constraints in modelling languages. In: Proceedings of the Dagstuhl Workshop on Rigorous Methods for Software Construction and Analysis (2007)"},{"key":"158_CR14","unstructured":"Egyed, A., Gruenbacher, P.: Automatic requirements traceability. In: ASE. ACM, New York (2003)"},{"key":"158_CR15","doi-asserted-by":"crossref","unstructured":"Espinoza, A., Alarc\u00f3n, P., Garbajosa, J.: Analyzing and systematizing current traceability schemas. In: SEW. IEEE, USA (2006)","DOI":"10.1109\/SEW.2006.12"},{"issue":"3","key":"158_CR16","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10270-008-0094-z","volume":"8","author":"M. Didonet Del Fabro","year":"2009","unstructured":"Didonet Del Fabro M., Valduriez P.: Towards the efficient development of model transformations using model weaving and matching transformations. Softw. Syst. Model. 8(3), 305\u2013324 (2009)","journal-title":"Softw. Syst. Model."},{"key":"158_CR17","unstructured":"Eclipse Foundation. Eclipse model-to-model transformation. http:\/\/www.eclipse.org\/m2m\/ . Last accessed: June 2009"},{"key":"158_CR18","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: MoDELS. LNCS, vol. 4199. Springer, Berlin (2006)","DOI":"10.1007\/11880240_38"},{"key":"158_CR19","unstructured":"Gotel, O., Finkelstein, A.: An analysis of the requirements traceability problem. In: RE. ACM, New York (1994)"},{"key":"158_CR20","unstructured":"Gotel, O., Finkelstein, A.: Contribution structures (requirements artifacts). In: RE. ACM,New York (1995)"},{"key":"158_CR21","unstructured":"Grau, G., Cares, C., Franch, X., Navarrete, F.J.: A comparative analysis of i* agent-oriented modelling techniques. In: SEKE, pp. 657\u2013663 (2006)"},{"key":"158_CR22","unstructured":"IEEE. IEEE Standard Glossary of Software Engineering Terminology. IEEE Standard 610.12-1990 (2004)"},{"key":"158_CR23","unstructured":"Jouault, F.: Loosely coupled traceability for ATL. In: Proc. ECMDA Workshop on Traceability (2005)"},{"key":"158_CR24","doi-asserted-by":"crossref","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. In: OOPSLA Companion, pp. 719\u2013720 (2006)","DOI":"10.1145\/1176617.1176691"},{"key":"158_CR25","unstructured":"Kolovos, D.S., Paige, R.F.: Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon). http:\/\/www.eclipse.org\/gmt\/epsilon"},{"key":"158_CR26","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: On-demand merging of traceability links with models. In: Proceedings of the ECMDA Workshop on Traceability (2006)"},{"key":"158_CR27","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: Detecting and repairing inconsistencies across heterogeneous models. In: ICST. ACM, New York (2008)","DOI":"10.1109\/ICST.2008.23"},{"key":"158_CR28","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Transformation Language. In: ICMT. LNCS, vol. 5063. Springer, Berlin (2008)"},{"key":"158_CR29","unstructured":"Kurtev, I., Dee, M., Goknil, A., van den Berg, K.: Traceability-based change management in operational mappings. In: Proceedings of the ECMDA Workshop on Traceability (June 2007)"},{"key":"158_CR30","unstructured":"Limon, A., Garbajosa, J.: The need for a unifying traceability scheme. In: Proceedings of the ECMDA Workshop on Traceability (2005)"},{"key":"158_CR31","doi-asserted-by":"crossref","unstructured":"M\u00e4der, P., Gotel, O., Philippow, I.: Enabling automated traceability maintenance through the upkeep of traceability relations. In: ECMDA. LNCS, vol. 5562. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_13"},{"key":"158_CR32","volume-title":"The Science of Linguistics in the Art of Translation","author":"J. Malone","year":"1988","unstructured":"Malone J.: The Science of Linguistics in the Art of Translation. State of New York University Press, New York (1988)"},{"key":"158_CR33","unstructured":"Mussulman, L., White, D.: Human factors analysis and classification system. http:\/\/www.safetycenter.navy.mil\/ (2004)"},{"key":"158_CR34","doi-asserted-by":"crossref","unstructured":"Drivalos, N., Kolovos, D.S., Paige, R., Fernandes, K.: Engineering a domain-specific language for software traceability. In: Software Language Engineering. LNCS, vol. 5452. Springer, Berlin (2008)","DOI":"10.1007\/978-3-642-00434-6_10"},{"key":"158_CR35","unstructured":"Acceleo Pro Traceability. http:\/\/www.acceleo.org\/pages\/additionnal_products\/en (2009)"},{"key":"158_CR36","unstructured":"Object Management Group. UML 2.0 OCL specification. OMG Document. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/03-10-14 (2003)"},{"key":"158_CR37","unstructured":"Object Management Group. UML 2.0 infrastructure specification. OMG Document. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/04-10-14 (2004)"},{"key":"158_CR38","unstructured":"Object Management Group. MOF models to text transformation language; final adopted specification. OMG Document 08-01-16, http:\/\/www.omg.org\/spec\/MOFM2T\/1.0\/PDF (2006)"},{"key":"158_CR39","unstructured":"Object Management Group. MOF QVT draft specification. OMG Document ptc\/2007\/07\/07, http:\/\/www.omg.org\/cgibin\/doc?ptc\/2007-07-07 (2007)"},{"key":"158_CR40","doi-asserted-by":"crossref","unstructured":"Oldevik, J., Neple, T., Gronmo, R., Aagedal, J., Berre, A.: Toward standardised model-to-text transformations. In: ECMDA. LNCS, vol. 3748. Springer, Berlin (2005)","DOI":"10.1007\/11581741_18"},{"key":"158_CR41","unstructured":"Olsen, G., Oldevik, J.: Scenarios of traceability in model-to-text transformations. In: ECMDA. LNCS, vol. 4530. Springer, Berlin (2007)"},{"key":"158_CR42","unstructured":"Paige, R.F., Olsen, G.K., Kolovos, D.S., Zschaler, S., Power, C.: Building model-driven engineering traceability classifications. In: Proc. ECMDA Workshop on Traceability (2008)"},{"key":"158_CR43","unstructured":"Power, C., Petrie, H., Swallow, D., Paige, R.F.: Pre-requirements traceability in universally accessible e-learning systems (under review) (2009)"},{"issue":"1","key":"158_CR44","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/32.895989","volume":"27","author":"B. Ramesh","year":"2001","unstructured":"Ramesh B., Jarke M.: Toward reference models of requirements traceability. IEEE Trans. Softw. Eng. 27(1), 58\u201393 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"158_CR45","doi-asserted-by":"crossref","unstructured":"Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.: The Epsilon Generation Language. In: ECMDA. LNCS, vol. 5095. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69100-6_1"},{"key":"158_CR46","unstructured":"Rummler, A., Grammel, B., Pohl, C.: Improving traceability in model-driven development of business applications. In: Proceedings of the ECMDA Workshop on Traceability (2007)"},{"issue":"2","key":"158_CR47","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt D.C.: Guest editor\u2019s introduction: model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"key":"158_CR48","unstructured":"Sousa, A., Kulesza, U., Rummler, A., Anquetil, N., Mitschke, R., Moreira, A., Amaral, V., Ara\u00fajo, J.: A model-driven traceability framework to software product line development. In: Proceedings of the ECMDA Workshop on Traceability (2008)"},{"key":"158_CR49","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Zisman, A.: Software traceability: a roadmap. In: Handbook of Software Engineering and Knowledge Engineering, vol. III. World Scientific Publishing, Singapore (2005)","DOI":"10.1142\/9789812775245_0014"},{"key":"158_CR50","unstructured":"Strens, A., Sugden, R.: Change analysis: a step towards meeting the challenge of changing requirements. In: Proceedings of the Workshop on Engineering Computer-Based Systems (1996)"},{"key":"158_CR51","doi-asserted-by":"crossref","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: ECMDA. LNCS, vol. 5562. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"158_CR52","unstructured":"Vojtisek, D.: Traceability MDK for KerMeta. http:\/\/www.kermeta.org\/mdk\/traceability\/ . Last accessed: June 2009"},{"key":"158_CR53","unstructured":"Walderhaug, S., Johansen, U., Stav, E., Aagedal, J.: Towards a generic solution for traceability in MDD. In: Proceedings of the ECMDA Workshop on Traceability (2006)"},{"key":"158_CR54","unstructured":"Yu, E.: Towards modeling and reasoning support for early-phase requirements engineering. In: RE. ACM, New York (1997)"},{"key":"158_CR55","unstructured":"Zirn, C., Nastase, V., Strube, M.: Distinguishing between instances and classes in the wikipedia taxonomy. In: ESWC (2008)"},{"key":"158_CR56","doi-asserted-by":"crossref","unstructured":"Zschaler, S., Kolovos, D.S., Drivalos, N., Paige, R.F., Rashid, A.: Domain-specific metamodelling languages for software language engineering. In: Software Language Engineering, LNCS. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-12107-4_23"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0158-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0158-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0158-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T01:49:40Z","timestamp":1739929780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0158-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,9]]},"references-count":56,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["158"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0158-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,9]]}}}