{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:57:23Z","timestamp":1725562643856},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153631"},{"type":"electronic","value":"9783642153648"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15364-8_6","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T06:23:11Z","timestamp":1281680591000},"page":"76-90","source":"Crossref","is-referenced-by-count":5,"title":["An Open Platform for Business Process Modeling and Verification"],"prefix":"10.1007","author":[{"given":"Antonio","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Missikoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Proietti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Preprint 7115. Queensland University of Technology, Brisbane, Australia (2007)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-89982-2_39","volume-title":"Logic Programming","author":"M. Montali","year":"2008","unstructured":"Montali, M., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verification from Declarative Specifications Using Logic Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 440\u2013454. Springer, Heidelberg (2008)"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics\u00a09(4), 1\u201343 (2008)","journal-title":"ACM Transactions on Computational Logics"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10270-004-0066-x","volume":"4","author":"B. Conrad","year":"2005","unstructured":"Conrad, B., Gruninger, M.: Psl: A semantic domain for flow models. Software and Systems Modeling\u00a04(2), 209\u2013231 (2005)","journal-title":"Software and Systems Modeling"},{"key":"6_CR7","unstructured":"OMG: Business Process Model and Notation. Version 2.0 (August 2009), \n                    \n                      http:\/\/www.omg.org\/spec\/BPMN\/2.0"},{"key":"6_CR8","unstructured":"De Nicola, A., Lezoche, M., Missikoff, M.: An Ontological Approach to Business Process Modeling. In: 3rd Indian International Conference on Artificial Intelligence (IICAI 2007), Pune, India (Dicembre 17 -19, 2007)"},{"key":"6_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)"},{"key":"6_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems","author":"M. Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W., ter Hofstede, A.H.M.: Process-Aware Information Systems. Wiley-Interscience, Hoboken (2005)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45710-0_26","volume-title":"Advances in Databases and Information Systems","author":"J. Eder","year":"2002","unstructured":"Eder, J., Gruber, W.: A Meta Model for Structured Workflows Supporting Workflow Transformations. In: Manolopoulos, Y., N\u00e1vrat, P. (eds.) ADBIS 2002. LNCS, vol.\u00a02435, pp. 326\u2013339. Springer, Heidelberg (2002)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-05148-7_6","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"C. Combi","year":"2009","unstructured":"Combi, C., Gambini, M.: Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol.\u00a05870, pp. 42\u201359. Springer, Heidelberg (2009)"},{"key":"6_CR13","volume-title":"Proceedings of EDOC 2006","author":"B.F. Dongen van","year":"2006","unstructured":"van Dongen, B.F., Mendling, J., van der Aalst, W.M.P.: Structural Patternsfor Soundness of Business Process Models. In: Proceedings of EDOC 2006, Hong Kong, China. IEEE, Los Alamitos (2006)"},{"key":"6_CR14","unstructured":"D\u2019Antonio, F., Missikoff, M., Taglino, F.: Formalizing the OPAL eBusiness ontology design patterns with OWL. In: Third International Conference on Interoperability for Enterprise Applications and Software, I-ESA (2007)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Scheer, A.W., Thomas, O., Adam, O.: Process Modeling Using Event-Driven Process Chains. In: Dumas, M., van der AAlst, W., ter Hofstede, A.H.M. (eds.) Process-Aware Information Systems, pp. 119\u2013145 (2005)","DOI":"10.1002\/0471741442.ch6"},{"key":"6_CR16","unstructured":"The XSB Logic Programming System. Version 3.1 (August 2007), \n                    \n                      http:\/\/xsb.sourceforge.net"},{"key":"6_CR17","unstructured":"Bonner, A.J., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming (1996)"},{"key":"6_CR18","unstructured":"Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: VLDB (2007)"},{"key":"6_CR19","unstructured":"OWL 2: Profiles, \n                    \n                      http:\/\/www.w3.org\/TR\/owl2-profiles"},{"key":"6_CR20","volume-title":"Proceedings of the 12th International Conference on World Wide Web","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the 12th International Conference on World Wide Web. ACM, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15364-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:14:46Z","timestamp":1558286086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15364-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153631","9783642153648"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15364-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}