{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T06:38:31Z","timestamp":1772606311977,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"15","license":[{"start":{"date-parts":[[2020,2,7]],"date-time":"2020-02-07T00:00:00Z","timestamp":1581033600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,7]],"date-time":"2020-02-07T00:00:00Z","timestamp":1581033600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s00500-020-04688-z","type":"journal-article","created":{"date-parts":[[2020,2,7]],"date-time":"2020-02-07T06:02:52Z","timestamp":1581055372000},"page":"11095-11108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0412-7127","authenticated-orcid":false,"given":"Eman","family":"Alkhammash","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,7]]},"reference":[{"key":"4688_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B\u2014system and software engineering","author":"J Abrial","year":"2010","unstructured":"Abrial J (2010) Modeling in Event-B\u2014system and software engineering. Cambridge University Press, Cambridge"},{"issue":"6","key":"4688_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J Abrial","year":"2010","unstructured":"Abrial J, Butler M, Hallerstede S, Hoang T, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6):447\u2013466","journal-title":"STTT"},{"key":"4688_CR3","doi-asserted-by":"crossref","unstructured":"Alkhammash EH (2016) Derivation of Event-B models from OWL ontologies. In: MATEC web of conferences, EDP Sciences 04008, Vol 76","DOI":"10.1051\/matecconf\/20167604008"},{"issue":"part2","key":"4688_CR4","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1016\/j.scico.2015.06.002","volume":"111","author":"E Alkhammash","year":"2015","unstructured":"Alkhammash E, Butler M, Salehi A, Cristea C (2015) Building traceable Event-B models from requirements. Sci Comput Program 111(part2):318\u2013338 Special issue on automated verification of critical systems (AVoCS 2013)","journal-title":"Sci Comput Program"},{"issue":"7","key":"4688_CR5","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.1007\/s00521-015-2110-x","volume":"28","author":"OA Arqub","year":"2017","unstructured":"Arqub OA (2017) Adaptation of reproducing kernel algorithm for solving fuzzy Fredholm\u2013Volterra integrodifferential equations. Neural Comput Appl 28(7):1591\u20131610","journal-title":"Neural Comput Appl"},{"key":"4688_CR6","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1016\/j.ins.2014.03.128","volume":"279","author":"OA Arqub","year":"2014","unstructured":"Arqub OA, Abo-Hammour Z (2014) Numerical solution of systems of second-order boundary value problems using continuous genetic algorithm. Inf Sci 279:396\u2013415","journal-title":"Inf Sci"},{"issue":"8","key":"4688_CR7","doi-asserted-by":"publisher","first-page":"3283","DOI":"10.1007\/s00500-015-1707-4","volume":"20","author":"OA Arqub","year":"2016","unstructured":"Arqub OA, Mohammed AS, Momani S, Hayat T (2016) Numerical solutions of fuzzy differential equations using reproducing kernel Hilbert space method. Soft Comput 20(8):3283\u20133302","journal-title":"Soft Comput"},{"issue":"23","key":"4688_CR8","doi-asserted-by":"publisher","first-page":"7191","DOI":"10.1007\/s00500-016-2262-3","volume":"21","author":"OA Arqub","year":"2017","unstructured":"Arqub OA, Al-Smadi M, Momani S, Hayat T (2017) Application of reproducing kernel algorithm for solving second-order, two-point fuzzy boundary value problems. Soft Comput 21(23):7191\u20137206","journal-title":"Soft Comput"},{"key":"4688_CR9","doi-asserted-by":"crossref","unstructured":"Avdeenko T, Pustovalova N (2015) The ontology-based approach to support the completeness and consistency of the requirements specification. In: Control and communications (SIBCON), 2015 international siberian conference on, pp 1\u20134","DOI":"10.1109\/SIBCON.2015.7147184"},{"key":"4688_CR10","first-page":"1","volume":"292","author":"A Bartoli","year":"2011","unstructured":"Bartoli A, Hern\u00e1ndez-Serrano J, Soriano M, Dohler M, Kountouris A, Barthel D (2011) Security and privacy in your smart city. Proc Barc Smart Cities Congr 292:1\u20136","journal-title":"Proc Barc Smart Cities Congr"},{"issue":"2","key":"4688_CR11","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.giq.2014.12.004","volume":"32","author":"D Belanche-Gracia","year":"2015","unstructured":"Belanche-Gracia D, Casal\u00f3-Ari\u00f1o LV, P\u00e9rez-Rueda A (2015) Determinants of multi-service smartcard success for smart cities development: a study based on citizens privacy and security perceptions. Gov Inf Q 32(2):154\u2013163","journal-title":"Gov Inf Q"},{"issue":"1","key":"4688_CR12","doi-asserted-by":"publisher","first-page":"116","DOI":"10.7763\/LNSE.2014.V2.106","volume":"2","author":"Y Belgueliel","year":"2014","unstructured":"Belgueliel Y, Bourahla M, Brik M (2014) Towards an ontology for UML state machines. Lect Notes Softw Eng 2(1):116\u2013120","journal-title":"Lect Notes Softw Eng"},{"key":"4688_CR13","volume-title":"Construction of engineering ontologies for knowledge sharing and reuse","author":"WN Borst","year":"1997","unstructured":"Borst WN (1997) Construction of engineering ontologies for knowledge sharing and reuse. Enschede, The Netherlands"},{"issue":"6","key":"4688_CR14","first-page":"2","volume":"10","author":"V Castaneda","year":"2010","unstructured":"Castaneda V, Ballejos L, Caliusco L, Galli MR (2010) The use of ontologies in requirements engineering. Glob J Res Eng specif 10(6):2\u20138","journal-title":"Glob J Res Eng specif"},{"key":"4688_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/11497455_15","volume-title":"A Meta-model for requirements engineering in system family context for software process improvement using CMMI","author":"R Cer\u00f3n","year":"2005","unstructured":"Cer\u00f3n R, Due\u00f1as JC, Serrano E, Capilla R (2005) A Meta-model for requirements engineering in system family context for software process improvement using CMMI. Springer, Berlin"},{"key":"4688_CR16","unstructured":"Chetali B, Nguyen QH (2008) Industrial use of formal methods for a high-level security evaluation. In: international symposium on formal methods, Springer, Switzerland, pp 198\u2013213"},{"key":"4688_CR17","doi-asserted-by":"publisher","first-page":"46134","DOI":"10.1109\/ACCESS.2018.2853985","volume":"6","author":"L Cui","year":"2018","unstructured":"Cui L, Xie G, Qu Y, Gao L, Yang Y (2018) Security and privacy in smart cities: challenges and opportunities. IEEE access 6:46134\u201346145","journal-title":"IEEE access"},{"key":"4688_CR18","first-page":"1","volume":"21","author":"D Dermeval","year":"2015","unstructured":"Dermeval D, Vilela J, Bittencourt II, Castro J, Isotani S, Brito P, Silva A (2015) Application of ontologies in requirements engineering: a systematic review of the literature. Requir Eng 21:1\u201333","journal-title":"Requir Eng"},{"key":"4688_CR19","doi-asserted-by":"crossref","unstructured":"Dermeval D, Vilela J, Bittencourt II, Castro J, Isotani S, Brito P (2014) A systematic review on the use of ontologies in requirements engineering. In: Software engineering (SBES), 2014 brazilian symposium on, pp 1\u201310","DOI":"10.1109\/SBES.2014.13"},{"issue":"4","key":"4688_CR20","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1016\/j.jare.2014.02.006","volume":"5","author":"AS Elmaghraby","year":"2014","unstructured":"Elmaghraby AS, Losavio MM (2014) Cyber security challenges in smart cities: safety, security and privacy. J Adv Res 5(4):491\u2013497","journal-title":"J Adv Res"},{"key":"4688_CR21","series-title":"Industrial Deployment of System Engineering Methods","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-33170-1_10","volume-title":"Industrial deployment of formal methods: trends and challenges","author":"J Fitzgerald","year":"2013","unstructured":"Fitzgerald J, Bicarregui J, Larsen PG, Woodcock J (2013) Industrial deployment of formal methods: trends and challenges. Industrial Deployment of System Engineering Methods. Springer, Heidelberg, pp 123\u2013143"},{"key":"4688_CR22","unstructured":"Fuchs N, Kaljur K, Schneider G (2006) Attempto controlled English meets the challenges of knowledge representation, reasoning, interoperability and user interfaces. In: Proceedings of 19th international Florida artificial intelligence research society conference, vol 12, pp 664\u2013669"},{"key":"4688_CR23","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2013.03.008","volume":"82","author":"E Hallerstede","year":"2014","unstructured":"Hallerstede E, Jastram M, Ladenberger L (2014) A method and tool for tracing requirements into specifications. Sci Comput Program 82:2\u201321 Special issue on automated verification of critical systems (AVoCS 2013)","journal-title":"Sci Comput Program"},{"key":"4688_CR24","unstructured":"Harith A (2003) Tgviztab: an ontology visualisation extension for prot\u00e9g\u00e9. In: Knowledge capture (K-Cap\u201903), workshop on visualization information in knowledge engineering"},{"key":"4688_CR25","doi-asserted-by":"crossref","unstructured":"Haxthausen AE (2011) Towards a framework for modelling and verification of relay interlocking systems. In: Calinescu R, Jackson E (eds) Foundations of computer software. Modeling, development, and verification of adaptive systems. Monterey Workshop (2010) Lecture Notes in Computer Science, vol 6662. Springer, Berlin, Heidelberg","DOI":"10.1007\/978-3-642-21292-5_10"},{"key":"4688_CR26","unstructured":"Heflin J (2007) An introduction to the OWL web ontology language. Lehigh University, National Science Foundation (NSF)"},{"key":"4688_CR27","unstructured":"Horridge M (2010) Owlviz. http:\/\/protegewiki.stanford.edu\/wiki\/OWLViz"},{"key":"4688_CR28","unstructured":"Horridge M, Knublauch H, Rector A, Stevens R, Wroe C (2004) A practical guide to building OWL ontologies using the Prot\u00e9g\u00e9-OWL plugin and CO-ODE tools edition 1.0. University of Manchester"},{"key":"4688_CR29","unstructured":"Kaljur K, Fuchs N (2007) Verbalizing owl in attempto controlled english. In: Proceedings of OWLED07, vol 258"},{"key":"4688_CR30","doi-asserted-by":"crossref","unstructured":"Kroha P, Janetzko R, Labra JE (2009) Ontologies in checking for inconsistency of requirements specification. In: Proceedings of the 2009 third international conference on advances in semantic processing. SEMAPRO \u201909, Washington, IEEE computer society, pp 32\u201337","DOI":"10.1109\/SEMAPRO.2009.11"},{"key":"4688_CR31","unstructured":"Michael S (2006) Ontoviz. http:\/\/protegewiki.stanford.edu\/wiki\/OntoViz"},{"key":"4688_CR32","unstructured":"Siegemund K, Thomas EJ, Zhao Y, Pan J, Assmann U (2011)Towards ontology-driven requirements engineering. In: Workshop semantic web enabled software engineering at 10th international semantic web conference (ISWC), Bonn"},{"issue":"2","key":"4688_CR33","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: A practical OWL\u2013DL reasoner. Web Semant 5(2):51\u201353","journal-title":"Web Semant"},{"key":"4688_CR34","volume-title":"Requirements engineering: a good practice guide","author":"I Sommerville","year":"1997","unstructured":"Sommerville I, Sawyer P (1997) Requirements engineering: a good practice guide, 1st edn. John Wiley & Sons Inc, New York","edition":"1"},{"key":"4688_CR35","doi-asserted-by":"crossref","unstructured":"Su K, Li J, Fu H (2011) Smart city and the applications. In: 2011 international conference on electronics, communications and control (ICECC), IEEE pp 1028\u20131031","DOI":"10.1109\/ICECC.2011.6066743"},{"key":"4688_CR36","volume-title":"Software requirements engineerings","author":"RH Thayer","year":"1997","unstructured":"Thayer RH, Bailin SC, Dorfman M (1997) Software requirements engineerings, 2nd edn. IEEE Computer Society Press, Los Alamitos","edition":"2"},{"issue":"1","key":"4688_CR37","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0141-9331(93)90091-K","volume":"17","author":"M Thomas","year":"1993","unstructured":"Thomas M (1993) The industrial use of formal methods. Microprocess Microsyst 17(1):31\u201336","journal-title":"Microprocess Microsyst"},{"issue":"3","key":"4688_CR38","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1016\/j.giq.2016.06.004","volume":"33","author":"L Van Zoonen","year":"2016","unstructured":"Van Zoonen L (2016) Privacy concerns in smart cities. Gov Inf Q 33(3):472\u2013480","journal-title":"Gov Inf Q"},{"key":"4688_CR39","volume-title":"Quality software management: anticipating change","author":"G Weinberg","year":"1997","unstructured":"Weinberg G (1997) Quality software management: anticipating change. Dorset House, Oxford"},{"key":"4688_CR40","doi-asserted-by":"crossref","unstructured":"Yeganefard S, Butler M (2012) Control systems: phenomena and structuring functional requirement documents. In: engineering of complex computer systems (ICECCS), 2012 17th international conference on, pp 39\u201348","DOI":"10.1109\/ICECCS20050.2012.6299249"},{"issue":"1","key":"4688_CR41","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/MCOM.2017.1600267CM","volume":"55","author":"K Zhang","year":"2017","unstructured":"Zhang K, Ni J, Yang K, Liang X, Ren J, Shen XS (2017) Security and privacy in smart city applications: challenges and solutions. IEEE Commun Mag 55(1):122\u2013129","journal-title":"IEEE Commun Mag"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-04688-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-020-04688-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-04688-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,8]],"date-time":"2021-02-08T22:02:12Z","timestamp":1612821732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-020-04688-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,7]]},"references-count":41,"journal-issue":{"issue":"15","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["4688"],"URL":"https:\/\/doi.org\/10.1007\/s00500-020-04688-z","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,7]]},"assertion":[{"value":"7 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The author declares that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}