{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T08:47:54Z","timestamp":1761986874318,"version":"build-2065373602"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,6,9]],"date-time":"2015-06-09T00:00:00Z","timestamp":1433808000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11219-015-9281-7","type":"journal-article","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T23:07:20Z","timestamp":1433977640000},"page":"635-673","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Ontology-based automated support for goal\u2013use case model analysis"],"prefix":"10.1007","volume":"24","author":[{"given":"Tuong Huan","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"John C.","family":"Grundy","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Almorsy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,9]]},"reference":[{"key":"9281_CR1","doi-asserted-by":"crossref","unstructured":"Anton, A. I. (1996) Goal-based requirements analysis. In Requirements engineering, 1996, proceedings of the second international conference on (pp. 136\u2013144): IEEE.","DOI":"10.1109\/ICRE.1996.491438"},{"issue":"1","key":"9281_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/PL00010356","volume":"6","author":"AI Anton","year":"2001","unstructured":"Anton, A. I., Carter, R. A., Dagnino, A., Dempster, J. H., & Siege, D. F. (2001). Deriving goals from a use-case based requirements specification. Requirements Engineering, 6(1), 63\u201373.","journal-title":"Requirements Engineering"},{"key":"9281_CR3","unstructured":"Boetticher, G., Menzies, T., & Ostrand, T. (2007) The PROMISE repository of empirical software engineering data. West Virginia University, Department of Computer Science."},{"issue":"2","key":"9281_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1416563.1416565","volume":"18","author":"TD Breaux","year":"2008","unstructured":"Breaux, T. D., Ant\u00f3n, A. I., & Doyle, J. (2008). Semantic parameterization: A process for modeling domain descriptions. ACM Transactions on Software Engineering and Methodology (TOSEM), 18(2), 5.","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"9281_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/11428817_21","volume-title":"Natural language processing and information systems","author":"P Cimiano","year":"2005","unstructured":"Cimiano, P., & V\u00f6lker, J. (2005). Text2Onto. In A. Montoyo, R. Mu\u0144oz & E. M\u00e9tais (Eds.), Natural language processing and information systems (pp. 227\u2013238). Berlin, Heidelberg: Springer."},{"issue":"5","key":"9281_CR6","first-page":"56","volume":"10","author":"A Cockburn","year":"1997","unstructured":"Cockburn, A. (1997). Structuring use cases with goals. Journal of Object-Oriented Programming (JOOP\/ROAD), 10(5), 56\u201362.","journal-title":"Journal of Object-Oriented Programming (JOOP\/ROAD)"},{"key":"9281_CR7","doi-asserted-by":"publisher","unstructured":"Dermeval, D., Vilela, J., Bittencourt, I. I., Castro, J., Isotani, S., Brito, P., et al. (2015). Applications of ontologies in requirements engineering: A systematic review of the literature. Requirements Engineering, 1\u201333. doi: 10.1007\/s00766-015-0222-6 .","DOI":"10.1007\/s00766-015-0222-6"},{"key":"9281_CR8","volume-title":"The theory of functional grammar","author":"SC Dik","year":"1989","unstructured":"Dik, S. C. (1989). The theory of functional grammar. Berlin: Walter de Gruyter."},{"key":"9281_CR9","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1007\/978-3-540-69507-3_74","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"J Drazan","year":"2007","unstructured":"Drazan, J., & Mencl, V. (2007). Improved processing of textual use cases: Deriving behavior specifications. In J. van Leeuwen, G. F. Italiano, W. van der Hoek, C. Meinel, H. Sack & F. Pl\u00e1\u0161il (Eds.), SOFSEM 2007: Theory and practice of computer science (pp. 856\u2013868). Berlin, Heidelberg: Springer."},{"key":"9281_CR10","doi-asserted-by":"crossref","unstructured":"Dwyer, M. B., Avrunin, G. S., & Corbett, J. C. (1999). Patterns in property specifications for finite-state verification. In Software Engineering. Proceedings of the 1999 international conference on, 1999 (pp. 411\u2013420): IEEE.","DOI":"10.1145\/302405.302672"},{"key":"9281_CR11","doi-asserted-by":"crossref","unstructured":"Dzung, D. V., & Ohnishi, A. (2009). Improvement of quality of software requirements with requirements ontology. In Quality software. QSIC\u201909. 9th international conference on, 2009 (pp. 284\u2013289): IEEE.","DOI":"10.1109\/QSIC.2009.44"},{"key":"9281_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","volume-title":"WordNet","author":"C Fellbaum","year":"1998","unstructured":"Fellbaum, C. (1998). WordNet. London: Wiley Online Library."},{"issue":"2","key":"9281_CR13","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/s00766-004-0191-7","volume":"9","author":"A Fuxman","year":"2004","unstructured":"Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., & Traverso, P. (2004). Specifying and analyzing early requirements in Tropos. Requirements Engineering, 9(2), 132\u2013150.","journal-title":"Requirements Engineering"},{"issue":"3","key":"9281_CR14","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V Gervasi","year":"2005","unstructured":"Gervasi, V., & Zowghi, D. (2005). Reasoning about inconsistencies in natural language requirements. ACM Transactions on Software Engineering and Methodology (TOSEM), 14(3), 277\u2013330.","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"9281_CR15","unstructured":"Glinz, M. (2000). Improving the quality of requirements with scenarios. In Proceedings of the second world congress on software quality (pp. 55\u201360)."},{"key":"9281_CR16","unstructured":"Horridge, M., Drummond, N., Goodwin, J., Rector, A. L., Stevens, R., & Wang, H. (2006). The manchester OWL syntax. In: Proceeding of of the OWL Experiences and Directions Workshop (OWLED\u201906) at the ISWC\u201906."},{"key":"9281_CR17","unstructured":"Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., & Dean, M. (2004). SWRL: A semantic web rule language combining OWL and RuleML. W3C Member submission, 21, 79."},{"key":"9281_CR18","volume-title":"Requirements engineering","author":"E Hull","year":"2005","unstructured":"Hull, E., Jackson, K., & Dick, J. (2005). Requirements engineering (Vol. 3). Berlin: Springer."},{"key":"9281_CR19","unstructured":"Kaiya, H., & Saeki, M. (2005). Ontology based requirements analysis: Lightweight semantic processing approach. In Quality Software, 2005.(QSIC 2005). Fifth international conference on, 2005 (pp. 223\u2013230): IEEE."},{"issue":"1","key":"9281_CR20","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.datak.2005.05.006","volume":"58","author":"J Kim","year":"2006","unstructured":"Kim, J., Park, S., & Sugumaran, V. (2006). Improving use case driven analysis using goal and scenario authoring: A linguistics-based approach. Data and Knowledge Engineering, 58(1), 21\u201346.","journal-title":"Data and Knowledge Engineering"},{"key":"9281_CR21","doi-asserted-by":"crossref","unstructured":"Klein, D., & Manning, C. D. (2003). Accurate unlexicalized parsing. In Proceedings of the 41st annual meeting on association for computational Linguistics-Volume 1, 2003 (pp. 423\u2013430): Association for Computational Linguistics.","DOI":"10.3115\/1075096.1075150"},{"key":"9281_CR22","volume-title":"An automatic tool for the analysis of natural language requirements","author":"G Lami","year":"2004","unstructured":"Lami, G., Gnesi, S., Fabbrini, F., Fusani, M., & Trentanni, G. (2004). An automatic tool for the analysis of natural language requirements. Pisa: Informe t\u00e9cnico, CNR Information Science and Technology Institute."},{"issue":"12","key":"9281_CR23","doi-asserted-by":"crossref","first-page":"1115","DOI":"10.1109\/32.738342","volume":"24","author":"WJ Lee","year":"1998","unstructured":"Lee, W. J., Cha, S. D., & Kwon, Y. R. (1998). Integration and analysis of use cases using modular Petri nets in requirements engineering. Software Engineering, IEEE Transactions on, 24(12), 1115\u20131130.","journal-title":"Software Engineering, IEEE Transactions on"},{"key":"9281_CR24","unstructured":"Nguyen, T. H. (2014). GUI-F Meta-model descriptions. http:\/\/www.it.swin.edu.au\/personal\/huannguyen\/dls\/GUIF_metamodel.pdf ."},{"key":"9281_CR100","doi-asserted-by":"crossref","unstructured":"Nguyen, T. H., Grundy, J., & Almorsy, M. (2014). GUITAR: An ontology-based automated requirements analysis tool. In Requirements engineering conference (RE), IEEE 22nd International, 2014 (pp. 315\u2013316): IEEE","DOI":"10.1109\/RE.2014.6912274"},{"key":"9281_CR25","doi-asserted-by":"crossref","unstructured":"Nguyen, T. H., Vo, B. Q., Lumpe, M., & Grundy, J. (2012). REInDetector: A framework for knowledge-based requirements engineering. In Proceedings of the 27th IEEE\/ACM international conference on automated software engineering, 2012 (pp. 386\u2013389): ACM.","DOI":"10.1145\/2351676.2351754"},{"issue":"1","key":"9281_CR26","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/s11219-013-9202-6","volume":"22","author":"TH Nguyen","year":"2014","unstructured":"Nguyen, T. H., Vo, B. Q., Lumpe, M., & Grundy, J. (2014). KBRE: A framework for knowledge-based requirements engineering. Software Quality Journal, 22(1), 87\u2013119.","journal-title":"Software Quality Journal"},{"key":"9281_CR27","unstructured":"Noy, N. F., & McGuinness, D. L. (2001). Ontology development 101: A guide to creating your first ontology. Stanford knowledge systems laboratory technical report KSL-01-05 and Stanford medical informatics technical report SMI-2001-0880."},{"issue":"6","key":"9281_CR28","doi-asserted-by":"crossref","first-page":"983","DOI":"10.1016\/j.ijhcs.2003.08.002","volume":"59","author":"NF Noy","year":"2003","unstructured":"Noy, N. F., & Musen, M. A. (2003). The PROMPT suite: Interactive tools for ontology merging and mapping. International Journal of Human-Computer Studies, 59(6), 983\u20131024.","journal-title":"International Journal of Human-Computer Studies"},{"key":"9281_CR29","volume-title":"Model-driven domain analysis and software development: Architectures and functions: Architectures and functions","author":"J Osis","year":"2010","unstructured":"Osis, J. (2010). Model-driven domain analysis and software development: Architectures and functions: Architectures and functions. Hershey: IGI Global."},{"key":"9281_CR30","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-642-33876-2_24","volume-title":"Knowledge engineering and knowledge management","author":"M Poveda-Villal\u00f3n","year":"2012","unstructured":"Poveda-Villal\u00f3n, M., Su\u00e1rez-Figueroa, M. C., & G\u00f3mez-P\u00e9rez, A. (2012). Validating ontologies with oops! In A. ten Teije, J. V\u00f6lker, S. Handschuh, H. Stuckenschmidt, M. d'Acquin, A. Nikolov, N. Aussenac-Gilles & N. Hernandez (Eds.), Knowledge engineering and knowledge management (pp. 267\u2013281). Berlin, Heidelberg: Springer."},{"key":"9281_CR31","unstructured":"Rajan, A., & Wahl, T. (2013). CESAR: Cost-efficient Methods and Processes for Safety-relevant Embedded Systems (Vol. 978-3709113868): Springer."},{"issue":"12","key":"9281_CR32","doi-asserted-by":"crossref","first-page":"1055","DOI":"10.1109\/32.738339","volume":"24","author":"C Rolland","year":"1998","unstructured":"Rolland, C., Souveyet, C., & Achour, C. B. (1998). Guiding goal modeling using scenarios. Software Engineering, IEEE Transactions on, 24(12), 1055\u20131071.","journal-title":"Software Engineering, IEEE Transactions on"},{"key":"9281_CR33","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-3-642-14192-8_6","volume-title":"Requirements engineering: foundation for software quality","author":"E Sikora","year":"2010","unstructured":"Sikora, E., Daun, M., & Pohl, K. (2010). Supporting the consistent specification of scenarios across multiple abstraction levels. In R. Wieringa & A. Persson (Eds.), Requirements engineering: Foundation for software quality (pp. 45\u201359). Berlin, Heidelberg: Springer."},{"key":"9281_CR34","unstructured":"Sommerville, I. (2011). Software engineering (9th ed.). Pearson Education Inc."},{"key":"9281_CR35","doi-asserted-by":"crossref","unstructured":"Sutcliffe, A. (2003). Scenario-based requirements engineering. In Requirements engineering conference, 2003. Proceedings. 11th IEEE international, 2003 (pp. 320\u2013329): IEEE.","DOI":"10.1109\/ICRE.2003.1232776"},{"key":"9281_CR36","unstructured":"Van Lamsweerde, A. (2001). Goal-oriented requirements engineering: A guided tour. In Requirements engineering, 2001. Proceedings. Fifth IEEE international symposium on, 2001 (pp. 249\u2013262): IEEE."},{"issue":"11","key":"9281_CR37","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A Lamsweerde Van","year":"1998","unstructured":"Van Lamsweerde, A., Darimont, R., & Letier, E. (1998). Managing conflicts in goal-driven requirements engineering. Software Engineering, IEEE Transactions on, 24(11), 908\u2013926.","journal-title":"Software Engineering, IEEE Transactions on"},{"issue":"12","key":"9281_CR38","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A Lamsweerde Van","year":"1998","unstructured":"Van Lamsweerde, A., & Willemet, L. (1998). Inferring declarative requirements specifications from operational scenarios. Software Engineering, IEEE Transactions on, 24(12), 1089\u20131114.","journal-title":"Software Engineering, IEEE Transactions on"},{"key":"9281_CR39","volume-title":"Requirements analysis tool: A tool for automatically analyzing software requirements Documents","author":"K Verma","year":"2008","unstructured":"Verma, K., & Kass, A. (2008). Requirements analysis tool: A tool for automatically analyzing software requirements Documents. Berlin: Springer."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9281-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-015-9281-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9281-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T14:42:20Z","timestamp":1566830540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-015-9281-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,9]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["9281"],"URL":"https:\/\/doi.org\/10.1007\/s11219-015-9281-7","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2015,6,9]]}}}