{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T21:07:26Z","timestamp":1693688846583},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/tsmca.2012.2183357","type":"journal-article","created":{"date-parts":[[2012,2,21]],"date-time":"2012-02-21T20:51:09Z","timestamp":1329857469000},"page":"854-867","source":"Crossref","is-referenced-by-count":7,"title":["Model Checking Analysis of Semantically Annotated Business Processes"],"prefix":"10.1109","volume":"42","author":[{"given":"Mar\u00eda Jos\u00e9","family":"Ibanez","sequence":"first","affiliation":[]},{"given":"Javier","family":"Fabra","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Alvarez","sequence":"additional","affiliation":[]},{"given":"Joaqu\u00edn","family":"Ezpeleta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2157136"},{"key":"ref11","first-page":"1244","article-title":"An outlook on semantic business process mining and monitoring","author":"de medeiros","year":"2007","journal-title":"Proc Move to Meaningful Internet Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/216636.216661"},{"key":"ref13","first-page":"344","article-title":"Verification of supervisory control software using state proximity and merging","author":"lerda","year":"2008","journal-title":"Proc 11th HSCC"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.006"},{"key":"ref15","first-page":"426","article-title":"Abstraction-based model checking using modal transition systems","author":"godefroid","year":"2001","journal-title":"Proc 12th CONCUR"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref18","first-page":"130","article-title":"Process mining and verification of properties: An approach based on temporal logic","author":"van der aalst","year":"2005","journal-title":"Proc OTM"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2010.08.007"},{"key":"ref28","first-page":"995","author":"emerson","year":"1990","journal-title":"Handbook of Theoretical Computer Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2008.77"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68746-7_8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093884"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SKG.2005.37"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-010-7060-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72982-2_3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2007.128"},{"key":"ref2","first-page":"44","article-title":"Modeling web service composition using symbolic transition systems","author":"pathak","year":"2006","journal-title":"Proc AAAIWorkshop AI-Driven Technologies Service-Oriented Computing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2008.84"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1002\/cpe.1661","article-title":"Analyzing behavioral properties of semantic business processes with parametric data","volume":"23","author":"ibez","year":"2011","journal-title":"Concurrency Comput Pract Exp"},{"key":"ref22","first-page":"245","article-title":"RDF model checking: A technique to verify behavioral properties in semantically annotated business processes","author":"ibez","year":"2009","journal-title":"Proc 2nd IEEE ICSC"},{"key":"ref21","author":"dutertre","year":"2006","journal-title":"The Yices SMT Solver"},{"key":"ref24","article-title":"Business Process Modeling Notation Specification","year":"2006","journal-title":"OMG Final Adopted Specification"},{"key":"ref23","year":"2004","journal-title":"RDF Primer"},{"key":"ref26","author":"hayes","year":"2004","journal-title":"RDF Semantics"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.59"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/6217343\/06153390.pdf?arnumber=6153390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:23Z","timestamp":1633909943000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6153390\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":29,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2012.2183357","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"value":"1083-4427","type":"print"},{"value":"1558-2426","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}