{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:31Z","timestamp":1775054371587,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030549930","type":"print"},{"value":"9783030549947","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-54994-7_9","type":"book-chapter","created":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T20:03:45Z","timestamp":1597262625000},"page":"114-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Ontology-Based Approach to Support Formal Verification of Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Natalia","family":"Garanina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Anureev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Koznov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Zyubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Gorlatch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,13]]},"reference":[{"issue":"7","key":"9_CR1","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.2015.2398877","volume":"41","author":"M Autili","year":"2015","unstructured":"Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans. Softw. Eng. 41(7), 620\u2013638 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Henzinger, Th.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8","DOI":"10.1007\/978-3-319-10575-8"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., Corbett, J.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering (ICSE-99), pp. 411\u2013420. ACM, New York (1999)","DOI":"10.1145\/302405.302672"},{"key":"9_CR4","unstructured":"Garanina, N., Sidorova, E.: Context-dependent lexical and syntactic disambiguation in ontology population. In: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (CS&P-16), pp. 101\u2013112. Humboldt-Universitat zu Berlin, Berlin (2016)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-662-46823-4_9","volume-title":"Perspectives of System Informatics","author":"N Garanina","year":"2015","unstructured":"Garanina, N., Sidorova, E., Bodin, E.: A multi-agent text analysis based on ontology of subject domain. In: Voronkov, A., Virbitskaite, I. (eds.) PSI 2014. LNCS, vol. 8974, pp. 102\u2013110. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46823-4_9"},{"issue":"3","key":"9_CR6","doi-asserted-by":"crossref","first-page":"166","DOI":"10.47839\/ijc.16.3.900","volume":"16","author":"N Garanina","year":"2017","unstructured":"Garanina, N., Sidorova, E., Kononenko, I., Gorlatch, S.: Using multiple semantic measures for coreference resolution in ontology population. Int. J. Comput. 16(3), 166\u2013176 (2017)","journal-title":"Int. J. Comput."},{"key":"9_CR7","unstructured":"Garanina, N., Zubin, V., Lyakh, T., Gorlatch, S.: An ontology of specification patterns for verification of concurrent systems. In: Proceedings of the 17th International Conference on Intelligent Software Methodology Tools, and Techniques (SoMeT$$\\_$$18), pp. 515\u2013528. IOS Press, Amsterdam (2018)"},{"key":"9_CR8","first-page":"19","volume":"14","author":"N Garanina","year":"2019","unstructured":"Garanina, N., Anureev, I., Zyubin, V.: Constructing verification-oriented domain-specific process ontologies. Syst. Inform. 14, 19\u201330 (2019)","journal-title":"Syst. Inform."},{"issue":"7","key":"9_CR9","doi-asserted-by":"publisher","first-page":"584","DOI":"10.3103\/S0146411619070058","volume":"53","author":"N Garanina","year":"2019","unstructured":"Garanina, N., Anureev, I., Borovikova, O.: Verification oriented process ontology. Autom. Control. Comput. Sci. 53(7), 584\u2013594 (2019). https:\/\/doi.org\/10.3103\/S0146411619070058","journal-title":"Autom. Control. Comput. Sci."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Garanina, N., Borovikova, O.: Ontological approach to checking event consistency for a set of temporal requirements. In: Proceedings of 5th International Conference on Engineering, Computer and Information Sciences, Novosibirsk, Russia. IEEE (2019)","DOI":"10.1109\/SIBIRCON48586.2019.8958119"},{"key":"9_CR11","volume-title":"Specification and Validation Methods","author":"Y Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: B\u00f6orger, E. (ed.) Specification and Validation Methods. Oxford University Press, Oxford (1995)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.: Real-time specification patterns. In: Proceedings of 27th International Conference on Software Engineering, pp. 372\u2013381. ACM, New York (2005)","DOI":"10.1145\/1062455.1062526"},{"key":"9_CR13","unstructured":"Krishnan J., Coronado P., Reed T.: SEVA: a systems engineer\u2019s virtual assistant. In: Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE-19), Palo Alto, California, USA. CEUR-WS (2019). http:\/\/ceur-ws.org\/Vol-2350\/paper3.pdf"},{"issue":"5","key":"9_CR14","doi-asserted-by":"publisher","first-page":"3097","DOI":"10.1007\/s10270-018-00710-z","volume":"18","author":"A Miyazawa","year":"2019","unstructured":"Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A., Timmis, J., Woodcock, J.: RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18(5), 3097\u20133149 (2019). https:\/\/doi.org\/10.1007\/s10270-018-00710-z","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S1571-0661(04)81043-0","volume":"89","author":"O Mondrag\u00f3n","year":"2003","unstructured":"Mondrag\u00f3n, O., Gates, A., Roach, S.: Prospec: support for elicitation and formal specification of software properties. Electron. Notes Theor. Comput. Sci. 89(2), 67\u201388 (2003)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M Puterman","year":"1994","unstructured":"Puterman, M.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York (1994)"},{"issue":"8","key":"9_CR17","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., Kreinovich, V.: Validated templates for specification of complex LTL formulas. J. Syst. Softw. 85(8), 1915\u20131929 (2012)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1080\/095119298130886","volume":"11","author":"S Shanmugham","year":"2010","unstructured":"Shanmugham, S., Roberts, C.: Application of graphical specification methodologies to manufacturing control logic development: a classification and comparison. Int. J. Comput. Integr. Manuf. 11(2), 142\u2013152 (2010)","journal-title":"Int. J. Comput. Integr. Manuf."},{"key":"9_CR19","unstructured":"Smith, M., Holzmann, G., Etessami, K.: Events and constraints: a graphical editor for capturing logic requirements of programs. In: Proceedings of 5th IEEE International Symposium on Requirements Engineering, Toronto, Canada, pp. 14\u201322. IEEE (2001)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-030-30942-8_28","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"AV Vu","year":"2019","unstructured":"Vu, A.V., Ogawa, M.: Formal semantics extraction from natural language specifications for ARM. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 465\u2013483. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_28"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-00255-7_5","volume-title":"Integrated Formal Methods","author":"PYH Wong","year":"2009","unstructured":"Wong, P.Y.H., Gibbons, J.: Property specifications for workflow modelling. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 56\u201371. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00255-7_5"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"J Yu","year":"2006","unstructured":"Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern based property specification and verification for service composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol. 4255, pp. 156\u2013168. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11912873_18"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Zyubin, V.: Hyper-automaton: a model of control algorithms. In: Proceedings of Siberian Conference on Control and Communications, Tomsk, Russia, pp. 51\u201357. IEEE (2007)","DOI":"10.1109\/SIBCON.2007.371297"},{"key":"9_CR24","first-page":"85","volume":"12","author":"V Zyubin","year":"2018","unstructured":"Zyubin, V., Liakh, T., Rozov, A.: Reflex language: a practical notation for cyberphysical systems. Syst. Inform. 12, 85\u2013104 (2018)","journal-title":"Syst. Inform."},{"key":"9_CR25","unstructured":"Argosim. www.argosim.com . Accessed 27 Nov 2019"},{"key":"9_CR26","unstructured":"HermiT OWL Reasoner. www.hermit-reasoner.com . Accessed 27 Nov 2019"},{"key":"9_CR27","unstructured":"Model Based Systems Engineering. www.nasa.gov\/consortium\/ModelBasedSystems . Accessed 27 Nov 2019"},{"key":"9_CR28","unstructured":"Web Ontology Language. www.w3.org\/OWL . Accessed 27 Nov 2019"},{"key":"9_CR29","unstructured":"Editor Prot\u00e9g\u00e9. protege.stanford.edu . Accessed 27 Nov 2019"},{"key":"9_CR30","unstructured":"IBM Rhapsody. https:\/\/www.ibm.com\/se-en\/marketplace\/systems-design-rhapsody . Accessed 27 Nov 2019"},{"key":"9_CR31","unstructured":"SWRL: a Semantic Web Rule Language combining OWL and RuleML. www.w3.org\/Submission\/SWRL . Accessed 27 Nov 2019"},{"key":"9_CR32","unstructured":"Software Cost Reduction. www.nrl.navy.mil\/itd\/chacs\/5546\/SCR . Accessed 27 Nov 2019"}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54994-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,28]],"date-time":"2021-03-28T08:16:27Z","timestamp":1616919387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54994-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549930","9783030549947"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54994-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"129","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}