{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T00:20:17Z","timestamp":1791332417826,"version":"4.3.1"},"reference-count":53,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2018,5,2]]},"DOI":"10.3233\/ao-180197","type":"journal-article","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T11:19:02Z","timestamp":1523618342000},"page":"73-105","source":"Crossref","is-referenced-by-count":17,"title":["Ontological foundations for software requirements with a focus on requirements\u00a0at\u00a0runtime"],"prefix":"10.1177","volume":"13","author":[{"given":"Bruno Borlini","family":"Duarte","sequence":"first","affiliation":[{"name":"Ontology & Conceptual Modeling Research Group (NEMO), Department of Computer Science, Federal University of Esp\u00edrito Santo (UFES), Brazil. E-mails:\u00a0bruno.b.duarte@ufes.br,\u00a0falbo@inf.ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0rguizzardi@inf.ufes.br,\u00a0vitorsouza@inf.ufes.br"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andre Luiz","family":"de Castro Leal","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Federal Rural University of Rio de Janeiro (UFRRJ), Brazil. E-mail:\u00a0andrecastr@gmail.com"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ricardo","family":"de Almeida Falbo","sequence":"additional","affiliation":[{"name":"Ontology & Conceptual Modeling Research Group (NEMO), Department of Computer Science, Federal University of Esp\u00edrito Santo (UFES), Brazil. E-mails:\u00a0bruno.b.duarte@ufes.br,\u00a0falbo@inf.ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0rguizzardi@inf.ufes.br,\u00a0vitorsouza@inf.ufes.br"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[{"name":"Ontology & Conceptual Modeling Research Group (NEMO), Department of Computer Science, Federal University of Esp\u00edrito Santo (UFES), Brazil. E-mails:\u00a0bruno.b.duarte@ufes.br,\u00a0falbo@inf.ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0rguizzardi@inf.ufes.br,\u00a0vitorsouza@inf.ufes.br"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renata S.S.","family":"Guizzardi","sequence":"additional","affiliation":[{"name":"Ontology & Conceptual Modeling Research Group (NEMO), Department of Computer Science, Federal University of Esp\u00edrito Santo (UFES), Brazil. E-mails:\u00a0bruno.b.duarte@ufes.br,\u00a0falbo@inf.ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0rguizzardi@inf.ufes.br,\u00a0vitorsouza@inf.ufes.br"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V\u00edtor E. Silva","family":"Souza","sequence":"additional","affiliation":[{"name":"Ontology & Conceptual Modeling Research Group (NEMO), Department of Computer Science, Federal University of Esp\u00edrito Santo (UFES), Brazil. E-mails:\u00a0bruno.b.duarte@ufes.br,\u00a0falbo@inf.ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0rguizzardi@inf.ufes.br,\u00a0vitorsouza@inf.ufes.br"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","reference":[{"key":"10.3233\/AO-180197_ref1","unstructured":"Barcellos, M.P., de Almeida\u00a0Falbo, R. & Dal\u00a0Moro, R. (2010). A well-founded software measurement ontology. In Proc. of the 6th International Conference on Formal Ontology in Information Systems (FOIS 2010) (pp.\u00a0213\u2013226)."},{"key":"10.3233\/AO-180197_ref2","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.25"},{"key":"10.3233\/AO-180197_ref3","unstructured":"Bencomo, N., Letier, E., Finkelstein, A., Whittle, J. & Welsh, K. (Eds.) (2011). Proceedings of the 2nd International Workshop on Requirements@Run.Time. IEEE."},{"key":"10.3233\/AO-180197_ref4","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A. & Letier, E. (2010a). Requirements reflection: Requirements as runtime entities. In Proc. of the 32nd ACM\/IEEE International Conference on Software Engineering (ICSE \u201910) (Vol.\u00a02, pp.\u00a0199\u2013202). Cape Town, South Africa: ACM.","DOI":"10.1145\/1810295.1810329"},{"key":"10.3233\/AO-180197_ref5","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A. & Letier, E. (2010b). Requirements reflection: Requirements as runtime entities. In Proc. of the 32nd ACM\/IEEE International Conference on Software Engineering (Vol.\u00a02, pp.\u00a0199\u2013202). ACM.","DOI":"10.1145\/1810295.1810329"},{"issue":"20","key":"10.3233\/AO-180197_ref6","first-page":"2904","article-title":"Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures","volume":"16","author":"Benevides","year":"2010","journal-title":"Journal of Universal Computer Science"},{"key":"10.3233\/AO-180197_ref7","doi-asserted-by":"crossref","unstructured":"Borgida, A., Dalpiaz, F., Horkoff, J. & Mylopoulos, J. (2013). Requirements models for design-and runtime: A position paper. In Proc. of the 5th International Workshop on Modeling in Software Engineering (pp.\u00a062\u201368). IEEE Press.","DOI":"10.1109\/MiSE.2013.6595298"},{"key":"10.3233\/AO-180197_ref8","unstructured":"Bourque, P., Fairley, R.E., et al.\u00a0(2014). Guide to the Software Engineering Body of Knowledge (SWEBOK (R)): Version 3.0. IEEE Computer Society Press."},{"key":"10.3233\/AO-180197_ref9","unstructured":"Brank, J., Grobelnik, M. & Mladenic, D. (2005). A survey of ontology evaluation techniques. In Proc. of the 2005 Conference on Data Mining and Data Warehouses, Ljubljana, Slovenia (pp.\u00a0166\u2013170)."},{"issue":"3","key":"10.3233\/AO-180197_ref10","first-page":"511","article-title":"Using a foundational ontology for reengineering a software process ontology","volume":"2","author":"Bringuente","year":"2011","journal-title":"Journal of Information and Data Management"},{"key":"10.3233\/AO-180197_ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.17"},{"key":"10.3233\/AO-180197_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9"},{"key":"10.3233\/AO-180197_ref13","unstructured":"Dalpiaz, F., Borgida, A., Horkoff, J. & Mylopoulos, J. (2013). Runtime goal models. In Proc. of the IEEE 7th International Conference on Research Challenges in Information Science (pp. 1\u201311). Paris, France: IEEE."},{"key":"10.3233\/AO-180197_ref14","doi-asserted-by":"crossref","unstructured":"de Alencar\u00a0Silva, P. & Weigand, H. (2011). Enterprise monitoring ontology. In Conceptual Modeling\u00a0\u2013 ER 2011 (pp.\u00a0132\u2013146).","DOI":"10.1007\/978-3-642-24606-7_11"},{"key":"10.3233\/AO-180197_ref15","doi-asserted-by":"crossref","unstructured":"de Lemos, R., Giese, H., M\u00fcller, H.A. & Shaw, M. (Eds.) (2013). Software Engineering for Self-Adaptive Systems II. Lecture Notes in Computer Science (Vol.\u00a07475). Springer.","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"10.3233\/AO-180197_ref16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/AO-170177","article-title":"ROoST: Reference ontology on software testing","volume":"12","author":"de Souza","year":"2017","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-180197_ref17","unstructured":"Duarte, B.B., Souza, V.E.S., de Castro Leal, A.L., Guizzardi, G., de Almeida Falbo, R. & Guizzardi, R.S.S. (2016). Towards an ontology of requirements at runtime. In Proc. of the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016) (Vol.\u00a0283, p.\u00a0255). IOS Press."},{"key":"10.3233\/AO-180197_ref18","unstructured":"Falbo, R.A. (2014). SABiO: Systematic approach for building ontologies. In G. Guizzardi, O. Pastor, Y. Wand, S. de Cesare, F. Gailly, M. Lycett and C. Partridge (Eds.), Proc. of the Proceedings of the 1st Joint Workshop ONTO.COM\/ODISE on Ontologies in Conceptual Modeling and Information Systems Engineering. Rio de Janeiro, RJ, Brasil: CEUR."},{"key":"10.3233\/AO-180197_ref19","unstructured":"Falbo, R.A., Barcellos, M.P., Ruy, F.B., Guizzardi, G. & Guizzardi, R.S.S. (2016). Ontology pattern languages. In A. Gangemi, P. Hitzler, K. Janowicz, A. Krisnadhi and V. Presutti (Eds.), Ontology Engineering with Ontology Design Patterns: Foundations and Applications. IOS Press."},{"key":"10.3233\/AO-180197_ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"10.3233\/AO-180197_ref21","doi-asserted-by":"crossref","unstructured":"Gillain, J., Faulkner, S., Jureta, I.J. & Snoeck, M. (2013). Using goals and customizable services to improve adaptability of process-based service compositions. In Proc. of the 7th IEEE International Conference on Research Challenges in Information Science (RCIS) (pp.\u00a01\u20139).","DOI":"10.1109\/RCIS.2013.6577716"},{"key":"10.3233\/AO-180197_ref22","unstructured":"Gr\u00fcninger, M. & Fox, M. (1995). Methodology for the design and evaluation of ontologies. In IJCAI\u201995 Workshop on Basic Ontological Issues in Knowledge Sharing."},{"key":"10.3233\/AO-180197_ref24","first-page":"18","article-title":"On ontology, ontologies, conceptualizations, modeling languages, and (meta) models","volume":"155","author":"Guizzardi","year":"2007","journal-title":"Frontiers in artificial intelligence and applications"},{"key":"10.3233\/AO-180197_ref25","unstructured":"Guizzardi, G., de Almeida\u00a0Falbo, R. & Guizzardi, R.S. (2008). Grounding software domain ontologies in the unified foundational ontology (UFO): The case of the ODE software process ontology. In Proc. of the 11th Iberoamerican Conference on Software Engineering (CIbSE) (pp.\u00a0127\u2013140)."},{"key":"10.3233\/AO-180197_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45348-4_2"},{"issue":"3\u20134","key":"10.3233\/AO-180197_ref27","doi-asserted-by":"publisher","first-page":"259","DOI":"10.3233\/AO-150157","article-title":"Towards ontological foundation for conceptual modeling: The unified foundational ontology (UFO) story","volume":"10","author":"Guizzardi","year":"2015","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-180197_ref28","doi-asserted-by":"crossref","unstructured":"Guizzardi, G., Wagner, G., de Almeida Falbo, R., Guizzardi, R.S.S. & Almeida, J.P.A. (2013). Towards ontological foundations for the conceptual modeling of events. In Proc. of the 32th International Conference on Conceptual Modeling (pp.\u00a0327\u2013341). Springer.","DOI":"10.1007\/978-3-642-41924-9_27"},{"key":"10.3233\/AO-180197_ref29","unstructured":"Guizzardi, R.S.S., Li, F.-L., Borgida, A., Guizzardi, G., Horkoff, J. & Mylopoulos, J. (2014). An ontological interpretation of non-functional requirements. In P. Garbacz and O. Kutz (Eds.), Proc. of the 8th International Conference on Formal Ontology in Information Systems (Vol.\u00a0267, pp. 344\u2013357). Rio de Janeiro, RJ, Brasil: IOS Press."},{"issue":"3","key":"10.3233\/AO-180197_ref30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380584.1380585","article-title":"A survey of autonomic computing\u00a0\u2013 Degrees, models, and applications","volume":"40","author":"Huebscher","year":"2008","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"10.3233\/AO-180197_ref31","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1163\/9789401209182_005","article-title":"Software is an abstract artifact","volume":"86","author":"Irmak","year":"2013","journal-title":"Grazer Philosophische Studien"},{"key":"10.3233\/AO-180197_ref32","doi-asserted-by":"crossref","unstructured":"Jureta, I., Mylopoulos, J. & Faulkner, S. (2008). Revisiting the core ontology and problem in requirements engineering. In Proc. of the 16th IEEE International Requirements Engineering Conference (pp.\u00a071\u201380). IEEE.","DOI":"10.1109\/RE.2008.13"},{"issue":"3\u20134","key":"10.3233\/AO-180197_ref33","doi-asserted-by":"crossref","first-page":"169","DOI":"10.3233\/AO-2009-0069","article-title":"A core ontology for requirements","volume":"4","author":"Jureta","year":"2009","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-180197_ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2007.154"},{"key":"10.3233\/AO-180197_ref36","unstructured":"Kotonya, G. & Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. Wiley Publishing."},{"key":"10.3233\/AO-180197_ref37","unstructured":"Liu, W. & Feng, Z. (2012). Uncertainty modeling of self-adaptive software requirement. International Journal of Advancements in Computing Technology, 4(11)."},{"issue":"3","key":"10.3233\/AO-180197_ref39","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s11098-005-0898-4","article-title":"Events, tropes, and truthmaking","volume":"134","author":"Moltmann","year":"2007","journal-title":"Philosophical Studies"},{"key":"10.3233\/AO-180197_ref40","unstructured":"Negri, P.P., Souza, V.E.S., de Castro\u00a0Leal, A.L., de Almeida\u00a0Falbo, R. & Guizzardi, G. (2017). Towards an ontology of goal-oriented requirements. In Proc. of the 20th Workshop on Requirements Engineering (WER) at the 20th Ibero-American Conference on Software Engineering (CIbSE)."},{"key":"10.3233\/AO-180197_ref41","doi-asserted-by":"crossref","unstructured":"Oyama, K., Jaygarl, H., Xia, J., Chang, C.K., Takeuchi, A. & Fujimoto, H. (2008). A human\u2013machine dimensional inference ontology that weaves human intentions and requirements of context awareness systems. In Proc. of the 32nd Annual IEEE International Computer Software and Applications Conference (pp.\u00a0287\u2013294).","DOI":"10.1109\/COMPSAC.2008.238"},{"key":"10.3233\/AO-180197_ref42","unstructured":"Pasquale, L., Baresi, L. & Nuseibeh, B. (2011). Towards adaptive systems through requirements@runtime. In Proc. of the 6th Workshop on Models@run.time."},{"key":"10.3233\/AO-180197_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21640-4_5"},{"key":"10.3233\/AO-180197_ref44","unstructured":"Qureshi, N.A. & Perini, A. (2010). Requirements engineering for adaptive service based applications. In Proc. of the 18th IEEE International Requirements Engineering Conference (pp.\u00a0108\u2013111). Sydney, Australia: IEEE."},{"key":"10.3233\/AO-180197_ref45","unstructured":"Robertson, S. & Robertson, J. (2012). Mastering the Requirements Process: Getting Requirements Right. Addison-Wesley."},{"issue":"1","key":"10.3233\/AO-180197_ref46","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s00766-005-0016-3","article-title":"A requirements monitoring framework for enterprise systems","volume":"11","author":"Robinson","year":"2006","journal-title":"Requirements Engineering"},{"issue":"1","key":"10.3233\/AO-180197_ref47","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TSC.2010.41","article-title":"Monitoring service systems from a language-action perspective","volume":"4","author":"Robinson","year":"2011","journal-title":"IEEE Transactions on Services Computing"},{"key":"10.3233\/AO-180197_ref48","unstructured":"Ruy, F.B., de Almeida Falbo, R., Barcellos, M.P., Costa, S.D. & Guizzardi, G. (2016). SEON: A software engineering ontology network. In Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19\u201323, 2016, Proceedings 20 (pp.\u00a0527\u2013542). Springer."},{"issue":"4","key":"10.3233\/AO-180197_ref51","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s00450-012-0232-2","article-title":"Requirements-driven software evolution","volume":"28","author":"Souza","year":"2013","journal-title":"Computer Science \u2013 Research and Development"},{"key":"10.3233\/AO-180197_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_6"},{"key":"10.3233\/AO-180197_ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24794-1"},{"key":"10.3233\/AO-180197_ref54","unstructured":"Van\u00a0Lamsweerde, A., Dardenne, A., Delcourt, B., Dubisy, F., et al.\u00a0(1991). The KAOS project: Knowledge acquisition in automated specification of software. In Proc. of the AAAI Spring Symposium Series."},{"key":"10.3233\/AO-180197_ref55","unstructured":"Wang, X., Guarino, N., Guizzardi, G. & Mylopoulos, J. (2014). Towards an ontology of software: A requirements engineering perspective. In P. Garbacz and O. Kutz (Eds.), Proc. of the 8th International Conference on Formal Ontology in Information Systems (Vol.\u00a0267, pp.\u00a0317\u2013329). Rio de Janeiro, RJ, Brasil: IOS Press."},{"issue":"2","key":"10.3233\/AO-180197_ref56","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00766-010-0101-0","article-title":"RELAX: A language to address uncertainty in self-adaptive systems requirement","volume":"15","author":"Whittle","year":"2010","journal-title":"Requirements Engineering"},{"key":"10.3233\/AO-180197_ref57","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28244-0"},{"issue":"1","key":"10.3233\/AO-180197_ref58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","article-title":"Four dark corners of requirements engineering","volume":"6","author":"Zave","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-180197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:46:10Z","timestamp":1777376770000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-180197"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,2]]},"references-count":53,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ao-180197","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"value":"1875-8533","type":"electronic"},{"value":"1570-5838","type":"print"}],"subject":[],"published":{"date-parts":[[2018,5,2]]}}}