{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,19]],"date-time":"2024-07-19T05:59:21Z","timestamp":1721368761669},"reference-count":22,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2021,4]]},"abstract":"Context and motivation: Multiple-viewed requirements modeling method describes the system to-be from different perspectives. Some requirements models are then specified in various UML diagrams. Question\/problem: Managing those models can be tedious and error-prone, since a lot of CASE tools provide poor support for reasoning and consistency checking. Principal ideas\/results: Ontology is a formal notation for describing concepts and their relations in a domain. Since software requirements are a kind of knowledge, we propose to adopt a knowledge engineering approach for managing the consistency of requirements models. In this paper, an ontology for three most commonly used UML diagrams is developed in Web Ontology Language (OWL). The transformation of UML class, sequence and state diagrams to OWL knowledge base is presented. Owing to the underlying logical reasoning capability of OWL, a semantic query language, SPARQL (SPARQL Protocol and RDF Query Language), is used to query the knowledge base for consistency checking. Contribution: This paper introduces a semantic web-based knowledge engineering approach to represent and manage software requirements knowledge in OWL. By experimenting with a concrete software system, we demonstrate the feasibility and applicability of this knowledge approach.<\/jats:p>","DOI":"10.1142\/s0218194021500170","type":"journal-article","created":{"date-parts":[[2021,5,18]],"date-time":"2021-05-18T07:43:00Z","timestamp":1621323780000},"page":"635-654","source":"Crossref","is-referenced-by-count":4,"title":["Leveraging SPARQL Queries for UML Consistency Checking"],"prefix":"10.1142","volume":"31","author":[{"given":"Bingyang","family":"Wei","sequence":"first","affiliation":[{"name":"Department of Computer Science, Texas Christian University, Fort Worth TX, USA"}]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Auckland, Auckland, New Zealand"}]}],"member":"219","published-online":{"date-parts":[[2021,5,18]]},"reference":[{"key":"S0218194021500170BIB001","first-page":"310","volume-title":"2010 6th Int. Conf. Emerging Technologies","author":"Ahmad M. A.","year":"2010"},{"key":"S0218194021500170BIB002","doi-asserted-by":"crossref","first-page":"100472","DOI":"10.1016\/j.websem.2018.09.003","volume":"57","author":"Alobaid A.","year":"2019","journal-title":"J. Web Semantics"},{"key":"S0218194021500170BIB003","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511584077","volume-title":"The Object Primer: Agile Model-Driven Development with UML 2.0","author":"Ambler S. W.","year":"2004"},{"key":"S0218194021500170BIB004","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/1866272.1866279","volume-title":"Proc. First Int. Workshop on Model-Driven Interoperability","author":"Diskin Z.","year":"2010"},{"issue":"1","key":"S0218194021500170BIB005","doi-asserted-by":"crossref","first-page":"109","DOI":"10.5381\/jot.2005.4.1.a3","volume":"4","author":"Djuri\u0107 D.","year":"2005","journal-title":"J. Object Technol."},{"issue":"1","key":"S0218194021500170BIB006","doi-asserted-by":"crossref","first-page":"27","DOI":"10.5381\/jot.2005.4.1.c3","volume":"4","author":"Firesmith D.","year":"2005","journal-title":"J. Object Technol."},{"key":"S0218194021500170BIB007","first-page":"94","volume-title":"Int. Semantic Web Conf.","author":"Garijo D.","year":"2017"},{"key":"S0218194021500170BIB008","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1145\/1013367.1013539","volume-title":"Proc. 13th Int. World Wide Web Conf. Alternate Track Papers & Posters","author":"Gasevic D.","year":"2004"},{"key":"S0218194021500170BIB009","first-page":"87","volume-title":"Proc. Sixth Asia-Pacific Conf. Conceptual Modeling","author":"Hasegawa R.","year":"2009"},{"key":"S0218194021500170BIB010","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/SEMAPRO.2009.11","volume-title":"2009 Third Int. Conf. Advances in Semantic Processing","author":"Kroha P.","year":"2009"},{"key":"S0218194021500170BIB011","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.009"},{"issue":"4","key":"S0218194021500170BIB012","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/2757001.2757003","volume":"1","author":"Musen M. A.","year":"2015","journal-title":"AI Matters"},{"key":"S0218194021500170BIB014","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167143"},{"issue":"4","key":"S0218194021500170BIB015","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/TII.2011.2166784","volume":"7","author":"Runde S.","year":"2011","journal-title":"IEEE Trans. Indust. Inf."},{"key":"S0218194021500170BIB016","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-319-43606-7_4","volume-title":"Software Engineering: Challenges and Solutions","author":"Sadowska M.","year":"2017"},{"key":"S0218194021500170BIB017","first-page":"026","volume":"3","author":"Shan L.","year":"2010","journal-title":"Comput. Eng. Sci."},{"key":"S0218194021500170BIB018","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/1101908.1101989","volume-title":"Proc. 20th IEEE\/ACM Int. Conf. Automated Software Engineering","author":"Simmonds J.","year":"2005"},{"key":"S0218194021500170BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.06.029"},{"key":"S0218194021500170BIB020","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"2003 \u2014 The Unified Modeling Language. Modeling Languages and Applications","author":"Van Der Straeten R.","year":"2003"},{"key":"S0218194021500170BIB022","first-page":"72","volume-title":"Int. Conf. Conceptual Structures","author":"Wei B.","year":"2016"},{"key":"S0218194021500170BIB023","first-page":"60","volume-title":"30th Int. Conf. Software Engineering and Knowledge Engineering","author":"Wei B.","year":"2018"},{"key":"S0218194021500170BIB024","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/978-3-642-32826-8_16","volume-title":"Knowledge Technology","author":"Zedlitz J.","year":"2012"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194021500170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,3]],"date-time":"2023-11-03T21:07:50Z","timestamp":1699045670000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194021500170"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4]]},"references-count":22,"journal-issue":{"issue":"04","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["10.1142\/S0218194021500170"],"URL":"https:\/\/doi.org\/10.1142\/s0218194021500170","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4]]}}}