Abstract
In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several tasks. Firstly, the definition of a BP meta-model (MM) consisting of a set of rules that guide the BP designers in their work. Secondly, given a BP, the BPAL platform allows for the automatic verification of the compliance (well-formedness) of a given BP w.r.t. the defined MM. Finally, the execution semantics of a BP is given in term of its instances (referred to as traces) to provide services for i) checking if the actual execution of a BP has been carried out in accordance with the corresponding definition, ii) simulating executions by trace generation. The proposed platform is open since it can easily be enhanced by adding other logic-based modeling, reasoning, and querying functionalities.
This work is partially supported by the Tocai Project (http://www.dis.uniroma1.it/ tocai/), funded by the FIRB Programme of the Italian Ministry of University and Research (MIUR).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Preprint 7115. Queensland University of Technology, Brisbane, Australia (2007)
Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)
Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)
Montali, M., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, 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)
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics 9(4), 1–43 (2008)
Conrad, B., Gruninger, M.: Psl: A semantic domain for flow models. Software and Systems Modeling 4(2), 209–231 (2005)
OMG: Business Process Model and Notation. Version 2.0 (August 2009), http://www.omg.org/spec/BPMN/2.0
De Nicola, A., Lezoche, M., Missikoff, M.: An Ontological Approach to Business Process Modeling. In: 3rd Indian International Conference on Artificial Intelligence (IICAI 2007), Pune, India (Dicembre 17 -19, 2007)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
Dumas, M., van der Aalst, W., ter Hofstede, A.H.M.: Process-Aware Information Systems. Wiley-Interscience, Hoboken (2005)
Eder, J., Gruber, W.: A Meta Model for Structured Workflows Supporting Workflow Transformations. In: Manolopoulos, Y., Návrat, P. (eds.) ADBIS 2002. LNCS, vol. 2435, pp. 326–339. Springer, Heidelberg (2002)
Combi, C., Gambini, M.: Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870, pp. 42–59. Springer, Heidelberg (2009)
van Dongen, B.F., Mendling, J., van der Aalst, W.M.P.: Structural Patternsfor Soundness of Business Process Models. In: Proceedings of EDOC 2006, Hong Kong, China. IEEE, Los Alamitos (2006)
D’Antonio, F., Missikoff, M., Taglino, F.: Formalizing the OPAL eBusiness ontology design patterns with OWL. In: Third International Conference on Interoperability for Enterprise Applications and Software, I-ESA (2007)
Scheer, A.W., Thomas, O., Adam, O.: Process Modeling Using Event-Driven Process Chains. In: Dumas, M., van der AAlst, W., ter Hofstede, A.H.M. (eds.) Process-Aware Information Systems, pp. 119–145 (2005)
The XSB Logic Programming System. Version 3.1 (August 2007), http://xsb.sourceforge.net
Bonner, A.J., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming (1996)
Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: VLDB (2007)
OWL 2: Profiles, http://www.w3.org/TR/owl2-profiles
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the 12th International Conference on World Wide Web. ACM, New York (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Nicola, A., Missikoff, M., Proietti, M., Smith, F. (2010). An Open Platform for Business Process Modeling and Verification. In: Bringas, P.G., Hameurlain, A., Quirchmayr, G. (eds) Database and Expert Systems Applications. DEXA 2010. Lecture Notes in Computer Science, vol 6261. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15364-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-15364-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15363-1
Online ISBN: 978-3-642-15364-8
eBook Packages: Computer ScienceComputer Science (R0)