Ontology-Based Querying of Composite Services

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.

[1]  Armin Haller,et al.  Towards an XPDL Compliant Process Ontology , 2008, 2008 IEEE Congress on Services - Part I.

[2]  Ivan Markovic.  Advanced Querying and Reasoning on Business Process Models , 2008, BIS.

[3]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[4]  Antonio De Nicola,et al.  A software engineering approach to ontology building , 2009, Inf. Syst..

[5]  Maurizio Proietti,et al.  Querying Semantically Enriched Business Processes , 2011, DEXA.

[6]  Evelina Lamma,et al.  Verification from Declarative Specifications Using Logic Programming , 2008, ICLP.

[7]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[8]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[9]  Paolo Tonella,et al.  Crosscutting Concern Documentation by Visual Query of Business Processes , 2008, Business Process Management Workshops.

[10]  Maurizio Proietti,et al.  Linking Ontologies to Business Process Schemas , 2010 .

[11]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[12]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[13]  Dieter Fensel,et al.  Semantic business process management: a vision towards using semantic Web services for business process management , 2005, IEEE International Conference on e-Business Engineering (ICEBE'05).

[14]  Guido Governatori,et al.  Compliance aware business process design , 2008 .

[15]  Michael Kifer,et al.  Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic , 2007, VLDB.

[16]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .

[17]  Yun Lin,et al.  Semantic Annotation for Process Models: Facilitating Process Knowledge Management via Semantic Interoperability , 2008 .

[18]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .

[19]  Antonio De Nicola,et al.  An Open Platform for Business Process Modeling and Verification , 2010, DEXA.

[20]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[21]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[22]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[23]  Mathias Weske,et al.  Visually specifying compliance rules and explaining their violations for business processes , 2011, J. Vis. Lang. Comput..

[24]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[25]  Catriel Beeri,et al.  Querying Business Processes with BP-QL , 2005, VLDB.

[26]  K. H. Bennett,et al.  Journal of software maintenance : research and practice , 1989 .

[27]  Antonio De Nicola,et al.  Towards a method for business process and informal business rules compliance , 2012, J. Softw. Evol. Process..

[28]  Alberto Pettorossi,et al.  Transformation of Logic Programs: Foundations and Techniques , 1994, J. Log. Program..