{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:53:20Z","timestamp":1773615200873,"version":"3.50.1"},"reference-count":20,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.3103\/s0146411619070058","type":"journal-article","created":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T10:02:40Z","timestamp":1583316160000},"page":"584-594","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Verification-Oriented Process Ontology"],"prefix":"10.3103","volume":"53","author":[{"given":"N. O.","family":"Garanina","sequence":"first","affiliation":[]},{"given":"I. S.","family":"Anureev","sequence":"additional","affiliation":[]},{"given":"O. I.","family":"Borovikova","sequence":"additional","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2020,3,4]]},"reference":[{"key":"7160_CR1","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.2015.2398877","volume":"41","author":"M. Autili","year":"2015","unstructured":"Autili, M., et al., Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar, IEEE Trans. Software Eng., 2015, vol. 41, no. 7, pp. 620\u2013638. https:\/\/doi.org\/10.1109\/TSE.2015.2398877","journal-title":"IEEE Trans. Software Eng."},{"key":"7160_CR2","unstructured":"Garanina, N. and Sidorova, E., Context-dependent lexical and syntactic disambiguation in ontology population, Concurrency, Specification and Programming (CS&P), Proc. of the 25th Int. Workshop (Humboldt-Universitat zu Berlin), 2016, pp. 101\u2013112."},{"key":"7160_CR3","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-662-46823-4_9","volume-title":"Lecture Notes in Computer Science","author":"Natalia Garanina","year":"2015","unstructured":"Garanina, N., Sidorova, E., and Bodin, E., A multi-agent text analysis based on ontology of subject domain, Perspectives of System Informatics. PSI 2014, Proc. Int. Conference (St. Petersburg, Russia, June 24\u201327); Lect. Notes Comput. Sci., 2015, vol. 8974, pp. 102\u2013110. https:\/\/doi.org\/10.1007\/978-3-662-46823-4_9"},{"key":"7160_CR4","doi-asserted-by":"crossref","first-page":"166","DOI":"10.47839\/ijc.16.3.900","volume":"16","author":"N. Garanina","year":"2017","unstructured":"Garanina, N., et al., Using multiple semantic measures for coreference resolution in ontology population, Int. J. Comput., 2017, vol. 16, no. 3, pp. 166\u2013176.","journal-title":"Int. J. Comput."},{"key":"7160_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.31144\/si.2307-6410.2017.n9.p111-132","volume":"9","author":"N. Garanina","year":"2017","unstructured":"Garanina, N., Zyubin, V., and Liakh, T., Ontological approach to organizing specification patterns in the framework of support system for formal verification of distributed program systems, Syst. Inf., 2017, vol. 9, pp.\u00a0111\u2013132. https:\/\/doi.org\/10.31144\/si.2307-6410.2017.n9.p111-132","journal-title":"Syst. Inf."},{"key":"7160_CR6","volume-title":"An ontology framework for semantic business process management","author":"M. Hepp","year":"2007","unstructured":"Hepp, M. and Dumitru, R., An ontology framework for semantic business process management, Wirtschaftsinformatik Proc., Karlsruhe, 2007, pp. 423\u2013440. https:\/\/aisel.aisnet.org\/wi2007\/27\/."},{"key":"7160_CR7","doi-asserted-by":"publisher","unstructured":"Hepp, M., et al., Semantic business process management: A vision towards using semantic web services for business process management, e-Business Engineering (ICEBE 2005), Proc. Int. Conf. (Beijing, China, October 12\u201318), IEEE, 2005, pp. 535\u2013540. https:\/\/doi.org\/10.1109\/ICEBE.2005.110.","DOI":"10.1109\/ICEBE.2005.110"},{"key":"7160_CR8","unstructured":"HermiT OWL Reasoner. http:\/\/www.hermit-reasoner.com\/."},{"key":"7160_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-90-481-8847-5_14","volume-title":"Theory and Applications of Ontology: Computer Applications","author":"Heinrich Herre","year":"2010","unstructured":"Herre, H., General formal ontology (GFO): A foundational ontology for conceptual modelling, in Theory and Applications of Ontology: Computer Applications, Poli, R., Healy, M., and Kameas, A., Eds., Dordrecht: Springer, 2010, pp. 297\u2013345. https:\/\/doi.org\/10.1007\/978-90-481-8847-5_14."},{"key":"7160_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985."},{"key":"7160_CR11","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J., The Spin Model Checker: Primer and Reference Manual, Addison-Wesley Professional, 2003."},{"key":"7160_CR12","unstructured":"Horrocks, I., et al., SWRL: A Semantic Web Rule Language combining OWL and RuleML. http:\/\/www.w3.org\/Submission\/SWRL."},{"key":"7160_CR13","unstructured":"OWL Web Ontology Language Overview: W3C Recommendation, McGuinness, D.L. and van Harmelen, F., Eds., February 10, 2004. https:\/\/www.w3.org\/TR\/owl-features\/."},{"key":"7160_CR14","unstructured":"Prot\u00e9g\u00e9. A free, open-source ontology editor and framework for building intelligent systems. http:\/\/protege.stanford.edu\/."},{"key":"7160_CR15","doi-asserted-by":"publisher","first-page":"1915","DOI":"10.1016\/j.jss.2012.02.041","volume":"85","author":"S. Salamah","year":"2012","unstructured":"Salamah, S., Gates, A.Q., and Kreinovich, V., Validated patterns for specification of complex LTL formulas, J.\u00a0Syst. Software, 2012, vol. 85, no. 8, pp. 1915\u20131929. https:\/\/doi.org\/10.1016\/j.jss.2012.02.041","journal-title":"J.\u00a0Syst. Software"},{"key":"7160_CR16","doi-asserted-by":"crossref","unstructured":"Schlenoff, C., et al., The Process Specification Language (PSL): Overview and Version 1.0 Specification, NIST Interagency\/Internal Report (NISTIR), 1999, vol. 6459. https:\/\/www.nist.gov\/publications\/process-specification-language-psl-overview-and-version-10-specification.","DOI":"10.6028\/NIST.IR.6459"},{"key":"7160_CR17","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1080\/095119298130886","volume":"11","author":"S.G. Shanmugham","year":"1998","unstructured":"Shanmugham, S.G. and Roberts, C.A., Application of graphical specification methodologies to manufacturing control logic development: A classification and comparison, Int. J. Comput. Integr. Manuf., 1998, vol. 11, no. 2, pp. 142\u2013152. https:\/\/doi.org\/10.1080\/095119298130886","journal-title":"Int. J. Comput. Integr. Manuf."},{"key":"7160_CR18","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45810-7_13","volume-title":"Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web","author":"Stuart Aitken","year":"2002","unstructured":"Stuart, A. and Curtis, J., A process ontology, Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web. EKAW 2002, Proc. of the 13th Int. Conference (Sig\u00fcenza, Spain, October 1\u20134); Lect. Notes Comput. Sci., 2002, pp. 108\u2013113. https:\/\/doi.org\/10.1007\/3-540-45810-7_13"},{"key":"7160_CR19","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-00255-7_5","volume-title":"Lecture Notes in Computer Science","author":"Peter Y. H. Wong","year":"2009","unstructured":"Wong, P.Y.H. and Gibbons, J., Property specifications for workow modelling, Integrated Formal Methods. IFM 2009, Proc. Int. Conf. (D\u00fcsseldorf, Germany, February 16\u201319); Lect. Notes Comput. Sci., 2009, vol. 5423, pp.\u00a0166\u2013180. https:\/\/doi.org\/10.1007\/978-3-642-00255-7_5"},{"key":"7160_CR20","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"Jian Yu","year":"2006","unstructured":"Yu, J., et al., Pattern based property specification and verification for service composition, Web Information Systems. WISE 2006, Proc. of 7th Int. Conf. (Wuhan, China, October 23\u201326); Lect. Notes Comput. Sci., 2006, vol.\u00a04255, pp. 156\u2013168. https:\/\/doi.org\/10.1007\/11912873_18"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411619070058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411619070058","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411619070058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:56:42Z","timestamp":1773611802000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411619070058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":20,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["7160"],"URL":"https:\/\/doi.org\/10.3103\/s0146411619070058","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12]]},"assertion":[{"value":"20 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 March 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}