{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T17:40:06Z","timestamp":1743961206148,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324383"},{"type":"electronic","value":"9783642324390"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32439-0_10","type":"book-chapter","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T01:20:09Z","timestamp":1344388809000},"page":"159-180","source":"Crossref","is-referenced-by-count":15,"title":["Ontology-Based Querying of Composite Services"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Smith","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"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Papazoglou, M.P.: Web Services: Principles and Technology. Pearson Prentice Hall (2007)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and its Support Environment. Springer (2010)","DOI":"10.1007\/978-3-642-03121-2"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic Business Process Management: a Vision Towards Using Semantic Web Services for Business Process Management. In: Proc. ICEBE 2005, pp. 535\u2013540. IEEE Computer Society (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-15364-8_6","volume-title":"Database and Expert Systems Applications","author":"A. Nicola De","year":"2010","unstructured":"De Nicola, A., Missikoff, M., Proietti, M., Smith, F.: An Open Platform for Business Process Modeling and Verification. In: Bringas, P.G., Hameurlain, A., Quirchmayr, G. (eds.) DEXA 2010, Part I. LNCS, vol.\u00a06261, pp. 76\u201390. Springer, Heidelberg (2010)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.is.2008.07.002","volume":"34","author":"A. Nicola De","year":"2009","unstructured":"De Nicola, A., Missikoff, M., Navigli, R.: A Software Engineering Approach to Ontology Building. Information Systems\u00a034, 258\u2013275 (2009)","journal-title":"Information Systems"},{"key":"10_CR6","doi-asserted-by":"publisher","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":"10_CR7","unstructured":"OMG: Business Process Model and Notation (2010), http:\/\/www.omg.org\/spec\/BPMN\/2.0"},{"key":"10_CR8","unstructured":"Workflow Management Coalition: XML Process Definition Language (2008), http:\/\/www.wfmc.org\/xpdl.html"},{"key":"10_CR9","unstructured":"Hitzler, P., et al.: OWL 2 Web Ontology Language. W3C Recommendation (2009), http:\/\/www.w3.org\/TR\/owl2-primer"},{"key":"10_CR10","unstructured":"Missikoff, M., Proietti, M., Smith, F.: Linking Ontologies to Business Process Schemas. IASI-CNR Technical Report, R. 10-20 (2010)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"De Nicola, A., Missikoff, M., Smith, F.: Towards a Method for Business Process and Informal Business Rules Compliance. Journal of Software Maintenance and Evolution: Research and Practice (2011) (Published online in Wiley Online Library), doi:10.1002\/smr.553","DOI":"10.1002\/smr.553"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"key":"10_CR13","doi-asserted-by":"crossref","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, pp. 193\u2013216. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"10_CR14","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"10_CR15","series-title":"LNBIP","first-page":"189","volume-title":"BIS 2008","author":"I. Markovic","year":"2008","unstructured":"Markovic, I.: Advanced Querying and Reasoning on Business Process Models. In: Abramowicz, W., Fensel, D. (eds.) BIS 2008. LNBIP, vol.\u00a07, pp. 189\u2013200. Springer, Heidelberg (2008)"},{"key":"10_CR16","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00328-8_3","volume-title":"Business Process Management Workshops","author":"C. Francescomarino Di","year":"2009","unstructured":"Di Francescomarino, C., Tonella, P.: Crosscutting Concern Documentation by Visual Query of Business Processes. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol.\u00a017, pp. 18\u201331. Springer, Heidelberg (2009)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Haller, A., Gaaloul, W., Marmolowski, M.: Towards an XPDL Compliant Process Ontology. In: Proc. IEEE Congress on Services, pp. 83\u201386. IEEE Computer Society (2008)","DOI":"10.1109\/SERVICES-1.2008.71"},{"key":"10_CR18","unstructured":"Lin, Y.: Semantic Annotation for Process Models: Facilitating Process Knowledge Management via Semantic Interoperability. PhD thesis, Norwegian University of Science and Technology (2008)"},{"key":"10_CR19","unstructured":"Burstein, M., et al.: OWL-S, Semantic Markup for Web Services. W3C Member Submission (2004), http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"issue":"1","key":"10_CR20","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology\u00a01(1), 77\u2013106 (2005)","journal-title":"Applied Ontology"},{"issue":"6","key":"10_CR21","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/j.is.2008.02.005","volume":"33","author":"C. Beeri","year":"2008","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes with BP-QL. Information Systems\u00a033(6), 477\u2013507 (2008)","journal-title":"Information Systems"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A. Awad","year":"2011","unstructured":"Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. Journal of Visual Languages and Computing\u00a022, 30\u201355 (2011)","journal-title":"Journal of Visual Languages and Computing"},{"key":"10_CR23","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., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, 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)"},{"key":"10_CR24","unstructured":"Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: Proc. VLDB 2007, pp. 627\u2013638. VLDB Endowment (2007)"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-23091-2_25","volume-title":"Database and Expert Systems Applications","author":"M. Missikoff","year":"2011","unstructured":"Missikoff, M., Proietti, M., Smith, F.: Querying Semantically Enriched Business Processes. In: Hameurlain, A., Liddle, S.W., Schewe, K.-D., Zhou, X. (eds.) DEXA 2011, Part II. LNCS, vol.\u00a06861, pp. 294\u2013302. Springer, Heidelberg (2011)"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A., Proietti, M.: Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming\u00a019, 261\u2013320 (1994)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Business System Management and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32439-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T17:07:40Z","timestamp":1743959260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32439-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324383","9783642324390"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32439-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}