{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T03:26:34Z","timestamp":1774495594638,"version":"3.50.1"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s10270-009-0142-3","type":"journal-article","created":{"date-parts":[[2009,12,12]],"date-time":"2009-12-12T04:16:41Z","timestamp":1260591401000},"page":"31-54","source":"Crossref","is-referenced-by-count":55,"title":["Semantics of trace relations in requirements models for consistency checking and inferencing"],"prefix":"10.1007","volume":"10","author":[{"given":"Arda","family":"Goknil","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Kurtev","sequence":"additional","affiliation":[]},{"given":"Klaas","family":"van den Berg","sequence":"additional","affiliation":[]},{"given":"Jan-Willem","family":"Veldhuis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,13]]},"reference":[{"key":"142_CR1","unstructured":"Aizenbud-Reshef, N., Paige, R.F., Rubin, J., Shaham-Gafni, Y., Kolovos, D.S.: Operational semantics for traceability. In: ECMDA-TW 2005, Nuremberg, pp. 7\u201314 (2005)"},{"key":"142_CR2","doi-asserted-by":"crossref","unstructured":"Baudry, B., Nebut, C., Le Traon, Y.: Model-driven engineering for requirements analysis. In: EDOC 2007, pp. 459\u2013466. IEEE Computer Society Press, Annapolis (2007)","DOI":"10.1109\/EDOC.2007.15"},{"key":"142_CR3","doi-asserted-by":"crossref","unstructured":"Brottier, E., Baudry, B., Le Traon, Y., Touzet, D., Nicolas, B.: Producing a global requirement model from multiple requirement specifications. In: EDOC 2007, pp. 390\u2013404. IEEE Computer Society Press, Annapolis (2007)","DOI":"10.1109\/EDOC.2007.4384009"},{"key":"142_CR4","unstructured":"Borland Caliber Analyst. http:\/\/www.borland.com\/us\/products\/caliber\/index.html"},{"key":"142_CR5","doi-asserted-by":"crossref","unstructured":"Carlshamre, P., Sandahl, K., Lindvall, M., Regnell, B., Natt och Dag, J.: An industrial survey of requirements interdependencies in software product release planning. In: Proceedings of the 5th International Symposium on Requirements Engineering, Toronto, Canada, pp. 84\u201391 (2001)","DOI":"10.1109\/ISRE.2001.948547"},{"key":"142_CR6","doi-asserted-by":"crossref","unstructured":"Ceron, R., Duenas, J.C., Serrano, E., Capilla, R.: A meta-model for requirements engineering in system family context for software process improvement using CMMI. In: PROFES 2005. Lecture Notes in Computer Science, vol. 3547, pp. 173\u2013188. Springer, Berlin (2005)","DOI":"10.1007\/11497455_15"},{"key":"142_CR7","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"Cockburn A.: Writing Effective Use Cases. Addison-Wesley, Reading (2000)"},{"key":"142_CR8","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-28244-0_5","volume-title":"Engineering and Managing Software Requirements","author":"A.G. Dahlstedt","year":"2005","unstructured":"Dahlstedt A.G., Persson A.: Requirements interdependencies: state of the art and future challenges. In: Aurum, A., Wohlin, C. (eds) Engineering and Managing Software Requirements, pp. 95\u2013116. Springer, Berlin (2005)"},{"key":"142_CR9","unstructured":"Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.A.: OWL Web Ontology Language Reference W3C Recommendation (2004)"},{"key":"142_CR10","first-page":"68","volume-title":"CAiSE 1995. Lecture Notes in Computer Science, vol. 932","author":"D. Duffy","year":"1995","unstructured":"Duffy D., MacNish C., McDermid J., Morris P.: A framework for requirements analysis using automated reasoning. In: Livari, J., Rossi, M., Lyytinen, K. (eds) CAiSE 1995. Lecture Notes in Computer Science, vol. 932, pp. 68\u201381. Springer, Berlin (1995)"},{"key":"142_CR11","unstructured":"Eclipse Rich Client Platform (RCP). http:\/\/www.eclipse.org\/home\/categories\/rcp.php"},{"issue":"5","key":"142_CR12","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1142\/S0218194005002464","volume":"15","author":"A. Egyed","year":"2005","unstructured":"Egyed A., Grunbacher P.: Supporting software understanding with automated requirements traceability. Int. J. Softw. Eng. Knowl. Eng. 15(5), 783\u2013810 (2005)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"142_CR13","doi-asserted-by":"crossref","unstructured":"Egyed, A., Grunbacher, P.: Automated requirements traceability: beyond the record and replay paradigm. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE), Edinburgh, Scotland, pp. 163\u2013171 (2002)","DOI":"10.1109\/ASE.2002.1115010"},{"issue":"8","key":"142_CR14","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A.C.W. Finkelstein","year":"1994","unstructured":"Finkelstein A.C.W., Gabbay D., Hunter A., Kramer J., Nuseibeh B.: Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng. 20(8), 569\u2013578 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"142_CR15","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal reasoning techniques for goal models. In: Journal on Data Semantics, Lecture Notes in Computer Science, vol. 2800, pp. 1\u201320. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-39733-5_1"},{"key":"142_CR16","doi-asserted-by":"crossref","unstructured":"Goknil, A., Kurtev, I., van den Berg, K.: A metamodeling approach for reasoning about requirements. In: European Conference on Model Driven Architecture (ECMDA 2008), Berlin, Germany. Lecture Notes in Computer Science, vol. 5095, pp. 310\u2013325. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69100-6_21"},{"key":"142_CR17","unstructured":"Goknil, A., Kurtev, I., van den Berg, K.: Change impact analysis based on formalization of trace relations for requirements. In: 4th ECMDA Traceability Workshop (ECMDA-TW 2008), Berlin, Germany, pp. 59\u201375 (2008)"},{"key":"142_CR18","unstructured":"Goknil, A.: Tutorial: requirements relations and definitions with examples. http:\/\/www.home.cs.utwente.nl\/~goknila\/tutorial\/Relations_Tutorial.doc"},{"key":"142_CR19","doi-asserted-by":"crossref","unstructured":"Gotel, O.C.Z., Finkelstein, C.W.: An analysis of the requirements traceability problem. In: Proceedings of the First International Conference on Requirements Engineering, pp. 94\u2013101. IEEE Computer Society Press, Colorado (1994)","DOI":"10.1109\/ICRE.1994.292398"},{"key":"142_CR20","unstructured":"Guide to Software Engineering Body of Knowledge. IEEE Computer Society, Colorado. http:\/\/www.swebok.org\/ . Accessed 19 October 2009"},{"issue":"1","key":"142_CR21","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1049\/ip-sen:20040297","volume":"151","author":"W. Heaven","year":"2004","unstructured":"Heaven W., Finkelstein A.: UML profile to support requirements engineering with KAOS. IEE Proc. Softw. 151(1), 10\u201327 (2004)","journal-title":"IEE Proc. Softw."},{"issue":"3","key":"142_CR22","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"Heitmeyer C.L., Jeffords R.D., Labaw G.L: Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. 5(3), 231\u2013261 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"142_CR23","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A. Hunter","year":"1998","unstructured":"Hunter A., Nuseibeh B.: Managing inconsistent specifications: reasoning, analysis, and action. ACM Trans. Softw. Eng. Methodol. 7(4), 335\u2013367 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"142_CR24","volume-title":"Logic in Computer Science: Modeling and Reasoning about Systems","author":"M.R.A. Huth","year":"2000","unstructured":"Huth M.R.A., Ryan M.D: Logic in Computer Science: Modeling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)"},{"key":"142_CR25","unstructured":"IBM Rational RequisitePro. http:\/\/www-01.ibm.com\/software\/awdtools\/reqpro\/"},{"key":"142_CR26","unstructured":"IBM Telelogic Doors. http:\/\/www.telelogic.com\/Products\/doors\/doors\/index.cfm"},{"key":"142_CR27","unstructured":"INCOSE Requirements Management Tool Survey. http:\/\/www.incose.org"},{"key":"142_CR28","unstructured":"JGraph\u2014Java Graph Visualization and Layout. http:\/\/www.jgraph.com\/"},{"key":"142_CR29","unstructured":"Jena\u2014A Semantic Web Framework for JAVA. http:\/\/jena.sourceforge.net\/"},{"key":"142_CR30","first-page":"497","volume-title":"Towards a common metamodel for the development of web applications. In: ICWE 2003. Lecture Notes in Computer Science, vol. 2722","author":"N. Koch","year":"2003","unstructured":"Koch N., Kraus A.: Towards a common metamodel for the development of web applications. In: ICWE 2003. Lecture Notes in Computer Science, vol. 2722, pp. 497\u2013506. Springer, Heidelberg (2003)"},{"key":"142_CR31","unstructured":"Lopez, O., Laguna, M.A., Garcia, F.J.: Metamodeling for requirements reuse. Anais do WER02\u2014Workshop em Engenharia de Requisitos. Valencia, Spain, pp. 76\u201390 (2002)"},{"key":"142_CR32","doi-asserted-by":"crossref","unstructured":"Meyer, J.J.C., Wieringa, R., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems, pp. 71\u2013115 (1998)","DOI":"10.1007\/978-1-4615-5643-5_4"},{"issue":"7","key":"142_CR33","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/TSE.2005.76","volume":"31","author":"M. Moon","year":"2005","unstructured":"Moon M., Yeom K., Chae H.S.: An approach to developing domain requirements reuse as a core asset based on commonality and variability analysis in a product line. IEEE Trans. Softw. Eng. 31(7), 551\u2013569 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"142_CR34","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J. Mylopoulos","year":"1999","unstructured":"Mylopoulos J., Chung L., Yu E.: From object-oriented to goal oriented requirements analysis. Commun. ACM 42(1), 31\u201337 (1999)","journal-title":"Commun. ACM"},{"issue":"5","key":"142_CR35","first-page":"67","volume":"46","author":"E. Navarro","year":"2006","unstructured":"Navarro E., Mocholi J.A., Letelier P., Ramos I.: A metamodeling approach for requirements specification. J. Comput. Inf. Syst. 46(5), 67\u201377 (2006)","journal-title":"J. Comput. Inf. Syst."},{"key":"142_CR36","first-page":"247","volume-title":"Imperfect requirements in software development. In: REFSQ 2007. Lecture Notes in Computer Science, vol. 4542","author":"J. Noppen","year":"2007","unstructured":"Noppen J., van den Broek P., Aksit M.: Imperfect requirements in software development. In: REFSQ 2007. Lecture Notes in Computer Science, vol. 4542, pp. 247\u2013261. Springer, Heidelberg (2007)"},{"issue":"10","key":"142_CR37","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1109\/32.328995","volume":"20","author":"B. Nuseibeh","year":"1994","unstructured":"Nuseibeh B., Kramer J., Finkelstein A.: A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans. Softw. Eng. 20(10), 760\u2013773 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"142_CR38","unstructured":"OMG: SysML Specification. OMG ptc\/06-05-04, http:\/\/www.sysml.org\/specs.htm"},{"issue":"1","key":"142_CR39","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 for requirements traceability. IEEE Trans. Softw. Eng. 27(1), 58\u201393 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"142_CR40","doi-asserted-by":"crossref","unstructured":"Rashid, A., Moreira, A., Araujo, J.: Modularization and composition of aspectual requirements. In: AOSD 2003, Boston, USA, pp. 11\u201320 (2003)","DOI":"10.1145\/643603.643605"},{"key":"142_CR41","unstructured":"Requirements Interchange Format (RIF), http:\/\/www.automative-his.de\/rif\/doku.php"},{"issue":"2","key":"142_CR42","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1145\/857076.857079","volume":"35","author":"W.N. Robinson","year":"2003","unstructured":"Robinson W.N., Pawlowski S.D., Volkov V.: Requirements interaction management. ACM Comput. Surv. 35(2), 132\u2013190 (2003)","journal-title":"ACM Comput. Surv."},{"key":"142_CR43","first-page":"41","volume-title":"SBIA 2004. Lecture Notes in Computer Science (LNAI), vol. 3171","author":"O. Rodrigues","year":"2004","unstructured":"Rodrigues O., Garcez A., Russo A.: Reasoning about requirements evolution using clustered belief revision. In: Bazzan, A.L.C., Labidi, S. (eds) SBIA 2004. Lecture Notes in Computer Science (LNAI), vol. 3171, pp. 41\u201351. Springer, Berlin (2004)"},{"issue":"6","key":"142_CR44","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4304\/jsw.3.6.57-68","volume":"3","author":"M.S. Soares","year":"2008","unstructured":"Soares M.S., Vrancken J.: Model-driven user requirements specification using SysML. J. Softw. 3(6), 57\u201368 (2008)","journal-title":"J. Softw."},{"key":"142_CR45","doi-asserted-by":"crossref","unstructured":"Supakkul, S., Chung, L.: A UML profile for goal-oriented and use case driven representation of NFRs and FRs. In: SERA 2005, pp. 112\u2013119. IEEE Computer Society Press, Michigan (2005)","DOI":"10.1109\/SERA.2005.19"},{"key":"142_CR46","unstructured":"ten Hove, D., Goknil, A., Kurtev, I., van den Berg, K., de Goede, K.: Change impact analysis for SysML requirements models based on semantics of trace relations. In: Fifth ECMDA Traceability Workshop (ECMDA-TW 2009), Enschede, the Netherlands, pp. 17\u201328 (2009)"},{"key":"142_CR47","unstructured":"Tool for Requirements Inferencing and Consistency Checking (TRIC). http:\/\/trese.cs.utwente.nl\/tric\/"},{"key":"142_CR48","unstructured":"TopTeam Analyst. http:\/\/www.technosolutions.com\/topteam_requirements_management.html"},{"issue":"11","key":"142_CR49","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A. Lamswerdee van","year":"1998","unstructured":"van Lamswerdee A., Darimont R., Letier E.: Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng. 24(11), 908\u2013926 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"142_CR50","unstructured":"van Lamswerdee, A.: Goal-oriented requirements engineering: a roundtrip from research to Practice. In: Invited Minitutorial, Proceedings RE\u201901\u20145th International Symposium Requirements Engineering, Toronto, pp. 249\u2013263 (2001)"},{"key":"142_CR51","unstructured":"Veldhuis, J.W.: Tool support for a metamodeling approach for reasoning about requirements. MSc Thesis, University of Twente. http:\/\/essay.utwente.nl\/58693\/1\/scriptie_J_Veldhuis.pdf (2009). Toolversion 1.0 available from http:\/\/trese.cs.utwente.nl\/tric\/"},{"issue":"9","key":"142_CR52","doi-asserted-by":"crossref","first-page":"437","DOI":"10.5381\/jot.2007.6.9.a22","volume":"6","author":"C. Vicente-Chicote","year":"2007","unstructured":"Vicente-Chicote C., Moros B., Toval A.: REMM-Studio: an integrated model-driven environment for requirements specification, validation and formatting. J. Object Technol. (Special Issue TOOLS Europe) 6(9), 437\u2013454 (2007)","journal-title":"J. Object Technol. (Special Issue TOOLS Europe)"},{"key":"142_CR53","unstructured":"von Knethen, A., Paech, B.: A survey on tracing approaches in practice and research. IESE-Report, No. 095.01\/E, version 1.0, Fraunhofer Institut Experimentelles Software Engineering (2002)"},{"key":"142_CR54","doi-asserted-by":"crossref","unstructured":"Zowghi, D., Offen, R.: A logical framework for modeling and reasoning about the evolution of requirements. In: RE 1997, Annapolis, USA, pp. 247\u2013257, January (1997)","DOI":"10.1109\/ISRE.1997.566875"},{"key":"142_CR55","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1016\/S0950-5849(03)00100-9","volume":"45","author":"D. Zowghi","year":"2003","unstructured":"Zowghi D., Gervasi V.: On the interplay between consistency, completeness and correctness in requirements evolution. Inf. Softw. Technol. 45, 993\u20131009 (2003)","journal-title":"Inf. Softw. Technol."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0142-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T19:45:20Z","timestamp":1739475920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0142-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,13]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["142"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0142-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,13]]}}}