{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:02:49Z","timestamp":1746331369357,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662437445"},{"type":"electronic","value":"9783662437452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43745-2_27","type":"book-chapter","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T23:15:56Z","timestamp":1401923756000},"page":"393-407","source":"Crossref","is-referenced-by-count":0,"title":["Linguistic Consistency of Goal Models"],"prefix":"10.1007","author":[{"given":"Fabian","family":"Pittke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Abran, A., Bourque, P., Dupuis, R., Moore, J.W., Tripp, L.L.: Guide to the Software Engineering Body of Knowledge - SWEBOK. IEEE Press (2004)"},{"issue":"2","key":"27_CR2","first-page":"159","volume":"14","author":"W.R. Adrion","year":"1982","unstructured":"Adrion, W.R., Branstad, M.A., Cherniavsky, J.C.: Validation, verification, and testing of computer software. CSUR 1982\u00a014(2), 159\u2013192 (1982)","journal-title":"CSUR 1982"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Learning operational requirements from goal models. In: ICSE 2009, pp. 265\u2013275. IEEE Computer Society (2009)","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Anton, A.I.: Goal-based requirements analysis. In: Proc. of the Second Int. Conf. on Requirements Engineering, pp. 136\u2013144 (1996)","DOI":"10.1109\/ICRE.1996.491438"},{"issue":"1","key":"27_CR5","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"B.W. Boehm","year":"1984","unstructured":"Boehm, B.W.: Verifying and validating software requirements and design specifications. IEEE Software\u00a01(1), 75\u201388 (1984)","journal-title":"IEEE Software"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-01639-4_21","volume-title":"Agent Computing and Multi-Agent Systems","author":"V. Bryl","year":"2009","unstructured":"Bryl, V., Giorgini, P., Mylopoulos, J.: Supporting requirements analysis in tropos: A planning-based approach. In: Ghose, A., Governatori, G., Sadananda, R. (eds.) PRIMA 2007. LNCS, vol.\u00a05044, pp. 243\u2013254. Springer, Heidelberg (2009)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11767138_4","volume-title":"Advanced Information Systems Engineering","author":"V. Bryl","year":"2006","unstructured":"Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing security requirements models through planning. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 33\u201347. Springer, Heidelberg (2006)"},{"issue":"4","key":"27_CR8","doi-asserted-by":"crossref","first-page":"212","DOI":"10.17705\/1jais.00225","volume":"11","author":"S. Chakraborty","year":"2010","unstructured":"Chakraborty, S., Sarker, S., Sarker, S.: An exploration into the process of requirements elicitation: A grounded approach. Journal of the Association for Information Systems\u00a011(4), 212\u2013249 (2010)","journal-title":"Journal of the Association for Information Systems"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Dardenne, A., Fickas, S., van Lamsweerde, A.: Goal-directed concept acquisition in requirements elicitation. In: IWSSD 1991, pp. 14\u201321 (1991)","DOI":"10.1109\/IWSSD.1991.213081"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"27_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s11219-006-9219-1","volume":"14","author":"F. Deissenboeck","year":"2006","unstructured":"Deissenboeck, F., Pizka, M.: Concise and consistent naming. Software Quality Journal\u00a014(3), 261\u2013282 (2006)","journal-title":"Software Quality Journal"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in tropos. In: Proceeding of the Fifth IEEE Int. Symposium on Requirements Engineering, pp. 174\u2013181 (2001)","DOI":"10.1109\/ISRE.2001.948557"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Kolp, M., Mylopoulos, J., Pistore, M.: The tropos methodology. In: Methodologies and Software Engineering for Agent Systems, pp. 89\u2013106 (2004)","DOI":"10.1007\/1-4020-8058-1_7"},{"issue":"4","key":"27_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10207-006-0005-7","volume":"5","author":"P. Giorgini","year":"2006","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Requirements engineering for trust management: Model, methodology, and reasoning. International Journal of Information Security\u00a05(4), 257\u2013274 (2006)","journal-title":"International Journal of Information Security"},{"key":"27_CR15","unstructured":"Hinkle, D.E., Wiersma, W., Jurs, S.G.: Applied statistics for the behavioral sciences (2003)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Horkoff, J., Yu, E.: Analyzing goal models: Different approaches and how to choose among them. In: Proc. of the ACM Symposium on Applied Computing, pp. 675\u2013682. ACM (2011)","DOI":"10.1145\/1982185.1982334"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Kamsties, E.: Understanding ambiguity in requirements engineering. In: Engineering and Managing Software Requirements, pp. 245\u2013266. Springer (2005)","DOI":"10.1007\/3-540-28244-0_11"},{"key":"27_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/11961239_3","volume-title":"Advances in Knowledge Acquisition and Management","author":"G. Koliadis","year":"2006","unstructured":"Koliadis, G., Ghose, A.K.: Relating business process models to goal-oriented requirements models in KAOS. In: Hoffmann, A., Kang, B.-H., Richards, D., Tsumoto, S. (eds.) PKAW 2006. LNCS (LNAI), vol.\u00a04303, pp. 25\u201339. Springer, Heidelberg (2006)"},{"issue":"1","key":"27_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1108\/14637159710161567","volume":"3","author":"P. Kueng","year":"1997","unstructured":"Kueng, P., Kawalek, P.: Goal-based Business Process Models: Creation and Evaluation. Business Process Management Journal\u00a03(1), 17\u201338 (1997)","journal-title":"Business Process Management Journal"},{"issue":"5","key":"27_CR20","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.is.2012.01.004","volume":"37","author":"H. Leopold","year":"2012","unstructured":"Leopold, H., Smirnov, S., Mendling, J.: On the refactoring of activity labels in business process models. Information Systems\u00a037(5), 443\u2013459 (2012)","journal-title":"Information Systems"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Lesk, M.: Automatic sense disambiguation using machine readable dictionaries: How to tell a pine cone from an ice cream cone. In: Conference on Systems Documentation (1986), pp. 24\u201326. ACM (1986)","DOI":"10.1145\/318723.318728"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J.: Integrating preferences into goal models for requirements engineering. In: RE 2010, pp. 135\u2013144 (2010)","DOI":"10.1109\/RE.2010.26"},{"key":"27_CR23","unstructured":"Lin, D.: An information-theoretic definition of similarity. In: MLDM 1998, ICML 1998, pp. 296\u2013304. Morgan Kaufmann Publishers,"},{"issue":"4","key":"27_CR24","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/j.is.2009.03.009","volume":"35","author":"J. Mendling","year":"2010","unstructured":"Mendling, J., Reijers, H.A., Recker, J.: Activity Labeling in Process Modeling: Empirical Insights and Recommendations. Inf. Systems\u00a035(4), 467\u2013482 (2010)","journal-title":"Inf. Systems"},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Miller, G., Fellbaum, C.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998)","DOI":"10.7551\/mitpress\/7287.001.0001"},{"issue":"11","key":"27_CR26","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"G.A. Miller","year":"1995","unstructured":"Miller, G.A.: WordNet: A Lexical Database for English. Communications of the ACM\u00a038(11), 39\u201341 (1995)","journal-title":"Communications of the ACM"},{"key":"27_CR27","doi-asserted-by":"crossref","unstructured":"Nakagawa, H., Ohsuga, A., Honiden, S.: gocc: A configuration compiler for self-adaptive systems using goal-oriented requirements description. In: SEAMS 2011, pp. 40\u201349. ACM (2011)","DOI":"10.1145\/1988008.1988015"},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Prat, N.: Goal formalization and classification for requirements engineering, fifteen years later. In: RCIS 2013, pp. 1\u201312 (2013)","DOI":"10.1109\/RCIS.2013.6577680"},{"key":"27_CR29","unstructured":"Resnik, P.: Using information content to evaluate semantic similarity in a taxonomy. In: IJCAI 1995, pp. 448\u2013453 (1995)"},{"key":"27_CR30","unstructured":"Respect IT. A KAOS Tutorial, Objectiver (2007)"},{"key":"27_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"key":"27_CR32","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-oriented requirements engineering: From system objectives to UML models to precise software specifications. In: Proc. of the 25th Int. Conf. on Software Engineering, pp. 744\u2013745. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201266"},{"key":"27_CR33","unstructured":"van Lamsweerde, A.: Goal-oriented Requirements Engineering: A Roundtrip from Research to Practice. In: Proceedings of the 12th IEEE International Requirements Engineering Conference, pp. 4\u20137 (2004)"},{"issue":"11","key":"27_CR34","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering\u00a024(11), 908\u2013926 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"10","key":"27_CR35","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A., Letier, E.: Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Transactions on Software Engineering\u00a026(10), 978\u20131005 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"27_CR36","doi-asserted-by":"crossref","unstructured":"Wu, Z., Palmer, M.: Verbs semantics and lexical selection. In: ACL 1994, pp. 133\u2013138. Association for Computational Linguistics (1994)","DOI":"10.3115\/981732.981751"},{"key":"27_CR37","doi-asserted-by":"crossref","unstructured":"Yu, E.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proc. of the Third IEEE Int. Symposium on Requirements Engineering, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43745-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T07:04:05Z","timestamp":1746255845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43745-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437445","9783662437452"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43745-2_27","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}