Abstract
Enterprises are evolving towards advanced forms of cooperation and networking. This kind of tight cooperation requires the creation of global Business Processes (i.e., cross-enterprise composite services) composed starting from a set of existing local processes (exposed, in turn, as services) found in different enterprises. To this end, in this chapter we present an ontology-based approach for querying business process repositories for the retrieval of process fragments to be reused in the composition of new business processes. The proposed solution is based on a synergic use of a business process modelling framework (BPAL) to represent the workflow logic of business processes, and business ontologies, aimed at capturing the semantics of a business scenario. Both components are grounded in logic programming and therefore it is possible to apply effective reasoning methods to query the knowledge base stemming from the fusion of the two.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Papazoglou, M.P.: Web Services: Principles and Technology. Pearson Prentice Hall (2007)
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)
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–540. IEEE Computer Society (2005)
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. 6261, pp. 76–90. Springer, Heidelberg (2010)
De Nicola, A., Missikoff, M., Navigli, R.: A Software Engineering Approach to Ontology Building. Information Systems 34, 258–275 (2009)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
OMG: Business Process Model and Notation (2010), http://www.omg.org/spec/BPMN/2.0
Workflow Management Coalition: XML Process Definition Language (2008), http://www.wfmc.org/xpdl.html
Hitzler, P., et al.: OWL 2 Web Ontology Language. W3C Recommendation (2009), http://www.w3.org/TR/owl2-primer
Missikoff, M., Proietti, M., Smith, F.: Linking Ontologies to Business Process Schemas. IASI-CNR Technical Report, R. 10-20 (2010)
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
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411–420. ACM (1999)
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–216. Morgan Kaufmann (1988)
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
Markovic, I.: Advanced Querying and Reasoning on Business Process Models. In: Abramowicz, W., Fensel, D. (eds.) BIS 2008. LNBIP, vol. 7, pp. 189–200. Springer, Heidelberg (2008)
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. 17, pp. 18–31. Springer, Heidelberg (2009)
Haller, A., Gaaloul, W., Marmolowski, M.: Towards an XPDL Compliant Process Ontology. In: Proc. IEEE Congress on Services, pp. 83–86. IEEE Computer Society (2008)
Lin, Y.: Semantic Annotation for Process Models: Facilitating Process Knowledge Management via Semantic Interoperability. PhD thesis, Norwegian University of Science and Technology (2008)
Burstein, M., et al.: OWL-S, Semantic Markup for Web Services. W3C Member Submission (2004), http://www.w3.org/Submission/OWL-S/
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 1(1), 77–106 (2005)
Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes with BP-QL. Information Systems 33(6), 477–507 (2008)
Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. Journal of Visual Languages and Computing 22, 30–55 (2011)
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. 5366, pp. 440–454. Springer, Heidelberg (2008)
Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: Proc. VLDB 2007, pp. 627–638. VLDB Endowment (2007)
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. 6861, pp. 294–302. Springer, Heidelberg (2011)
Pettorossi, A., Proietti, M.: Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming 19, 261–320 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Smith, F., Missikoff, M., Proietti, M. (2012). Ontology-Based Querying of Composite Services. In: Ardagna, C.A., Damiani, E., Maciaszek, L.A., Missikoff, M., Parkin, M. (eds) Business System Management and Engineering. Lecture Notes in Computer Science, vol 7350. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32439-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-32439-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32438-3
Online ISBN: 978-3-642-32439-0
eBook Packages: Computer ScienceComputer Science (R0)