Abstract
In this paper we present a logic-based approach for querying business process repositories. The proposed solution is based on a synergic use of an ontological framework (OPAL) aimed at capturing the semantics of a business scenario, and a business process modelling framework (BPAL) to represent the workflow logic. Both frameworks 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. A software platform has been developed and the first tests are encouraging.
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
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, Heidelberg (2010)
Hepp, M., et al.: Semantic business process management: A vision towards using semantic web services for business process management. In: Proc. ICEBE (2005)
De Nicola, A., Missikoff, M., Navigli, R.: A software engineering approach to ontology building. Information Systems 34(2), 258–275 (2009)
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. LNCS, vol. 6261, pp. 76–90. Springer, Heidelberg (2010)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)
OMG: Business Process Model and Notation, http://www.omg.org/spec/BPMN/2.0
XPDL 2.1 Complete Specification, http://www.wfmc.org/xpdl.html
OWL 2: Profiles, http://www.w3.org/TR/owl2-profiles
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411–420 (1999)
Missikoff, M., Proietti, M., Smith, F.: Querying semantically annotated business processes. In: IASI-CNR, R, pp. 10–22 (2010)
Markovic, I.: Advanced Querying and Reasoning on Business Process Models. In: Proc. BIS 2008. LNBIP, 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.) Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 17, pp. 18–31. Springer, Heidelberg (2009)
Haller, A., Gaaloul, W., Marmolowski, M.: Towards an XPDL Compliant Process Ontology. In: SERVICES I 2008, pp. 83–86 (2008)
Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326–341. Springer, Heidelberg (2008)
Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes with BP-QL. Information Systems 33(6), 477–507 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Missikoff, M., Proietti, M., Smith, F. (2011). Querying Semantically Enriched Business Processes. In: Hameurlain, A., Liddle, S.W., Schewe, KD., Zhou, X. (eds) Database and Expert Systems Applications. DEXA 2011. Lecture Notes in Computer Science, vol 6861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23091-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-23091-2_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23090-5
Online ISBN: 978-3-642-23091-2
eBook Packages: Computer ScienceComputer Science (R0)