{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:19:39Z","timestamp":1725808779214},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662444399"},{"type":"electronic","value":"9783662444405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44440-5_18","type":"book-chapter","created":{"date-parts":[[2014,10,30]],"date-time":"2014-10-30T04:56:22Z","timestamp":1414644982000},"page":"293-313","source":"Crossref","is-referenced-by-count":5,"title":["Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Smith","sequence":"first","affiliation":[]},{"given":"Maurizio","family":"Proietti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,31]]},"reference":[{"key":"18_CR1","unstructured":"Battle, S., et al.: Semantic Web Services Ontology (2005). \n                    http:\/\/www.w3.org\/Submission\/SWSF-SWSO"},{"key":"18_CR2","unstructured":"Burstein, M., et al.: OWL-S: Semantic markup for web services. W3C Member Submission (2004). \n                    http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. JACM 43, 20\u201374 (1996)","journal-title":"JACM"},{"key":"18_CR4","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50, 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"18_CR6","volume-title":"Enabling Semantic Web Services: The Web Service Modeling Ontology","author":"D Fensel","year":"2006","unstructured":"Fensel, D., et al.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, Berlin (2006)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: International Conference on World Wide Web, pp. 621\u2013630. ACM Press, New York (2004)","DOI":"10.1145\/988672.988756"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Hepp, M., et al.: Semantic business process management: a vision towards using semantic web services for business process management. In: International Conference on e-Business Engineering, IEEE Computer Society (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"18_CR9","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language. W3C Recommendation (2009). \n                    http:\/\/www.w3.org\/TR\/owl2-primer\/"},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.datak.2005.02.005","volume":"56","author":"E Kindler","year":"2006","unstructured":"Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56(1), 23\u201340 (2006)","journal-title":"Data Knowl. Eng."},{"key":"18_CR11","unstructured":"Lin, Y.: Semantic annotation for process models: Facilitating process knowledge management via semantic interoperability. Ph.D. Thesis, Norwegian University of Science and Technology (2008)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46, 335\u2013361 (2007)","journal-title":"IBM Syst. J."},{"key":"18_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag New York Inc., New York (1987)"},{"issue":"1","key":"18_CR14","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. Web 4(1), 3:1\u20133:61 (2010)","journal-title":"ACM Trans. Web"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/S1389-1286(03)00228-7","volume":"42","author":"S Narayanan","year":"2003","unstructured":"Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Comp. Netw. 42, 675\u2013693 (2003)","journal-title":"Comp. Netw."},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-44957-4_26","volume-title":"Computational Logic - CL 2000","author":"U Nilsson","year":"2000","unstructured":"Nilsson, U., L\u00fcbcke, J.: Constraint logic programming for local and symbolic model-checking. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 384\u2013398. Springer, Heidelberg (2000)"},{"key":"18_CR17","unstructured":"OMG: Business Process Model and Notation (2011). \n                    http:\/\/www.omg.org\/spec\/BPMN\/2.0"},{"key":"18_CR18","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"TC Przymusinski","year":"1988","unstructured":"Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers Inc, San Francisco (1988)"},{"key":"18_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge (2001)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/978-3-540-88564-1_35","volume-title":"The Semantic Web - ISWC 2008","author":"D Roman","year":"2008","unstructured":"Roman, D., Kifer, M.: Semantic web service choreography: contracting and enactment. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 550\u2013566. Springer, Heidelberg (2008)"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-32439-0_10","volume-title":"Business System Management and Engineering","author":"F Smith","year":"2012","unstructured":"Smith, F., Missikoff, M., Proietti, M.: Ontology-based querying of composite services. In: Ardagna, C.A., Damiani, E., Maciaszek, L.A., Missikoff, M., Parkin, M. (eds.) BSME 2010. LNCS, vol. 7350, pp. 159\u2013180. Springer, Heidelberg (2012)"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-3-642-02463-4_17","volume-title":"Conceptual Modeling: Foundations and Applications","author":"S Sohrabi","year":"2009","unstructured":"Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web service composition via the customization of golog programs with user preferences. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 319\u2013334. Springer, Heidelberg (2009)"},{"key":"18_CR23","first-page":"179","volume":"2","author":"M Thielscher","year":"1998","unstructured":"Thielscher, M.: Introduction to the fluent calculus. Electron. Trans. Artif. Intell. 2, 179\u2013192 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"18_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-15618-2_21","volume-title":"Business Process Management","author":"H V\u00f6lzer","year":"2010","unstructured":"V\u00f6lzer, H.: A new semantics for the inclusive converging gateway in safe processes. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 294\u2013309. Springer, Heidelberg (2010)"},{"key":"18_CR26","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10619-010-7060-9","volume":"27","author":"I Weber","year":"2010","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Dat. 27, 271\u2013343 (2010)","journal-title":"Distrib. Parallel Dat."}],"container-title":["Communications in Computer and Information Science","Agents and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44440-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T10:18:51Z","timestamp":1559038731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44440-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662444399","9783662444405"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44440-5_18","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}