Towards Using Reo for Compliance-Aware Business Process Modeling
Business process modeling and implementation of process supporting infrastructures are two challenging tasks that are not fully aligned. On the one hand, languages such as Business Process Modeling Notation (BPMN) exist to capture business processes at the level of domain analysis. On the other hand, programming paradigms and technologies such as Service-Oriented Computing (SOC) and web services have emerged to simplify the development of distributed web systems that underly business processes. BPMN is the most recognized language for specifying process workflows at the early design steps. However, it is rather declarative and may lead to the executable models which are incomplete or semantically erroneous. Therefore, an approach for expressing and analyzing BPMN models in a formal setting is required. In this paper we describe how BPMN diagrams can be represented by means of a semantically precise channel-based coordination language called Reo which admits formal analysis using model checking and bisimulation techniques. Moreover, since additional requirements may come from various regulatory/legislative documents, we discuss the opportunities offered by Reo and its mathematical abstractions for expressing process-related constraints such as Quality of Service (QoS) or time-aware conditions on process states.
Unable to display preview. Download preview PDF.
- 1.Curbera, F., Goland, Y., Klein, J., Leymann, F.: Business process execution language for web services. Technical report, IBM (2002), http://www.ibm.com/developerworks/library/ws-bpel/
- 2.Kavantzas, N., Burdett, D., Ritzinger, G.: Web services choreography description language (WS-CDL) version 1.0. Working draft, W3C (2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427
- 3.(OMG), O.M.G.: Business process modeling notation (BPMN) specification. Final adopted specification, OMG (2006), http://www.bpmn.org/Documents/OMGFinalAdoptedBPMN1-0Spec06-02-01.pdf
- 4.Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models. In: Information and Software Technology (IST) (2008)Google Scholar
- 5.Wong, P., Gibbons, J.: A process semantics for BPMN. Technical report, Queensland University of Technology (2007), http://www.comlab.ox.ac.uk/publications/publication454-abstract.html
- 6.Wong, P., Gibbons, J.: A relative timed semantics for BPMN. Technical report, Queensland University of Technology (2007), http://www.comlab.ox.ac.uk/publications/publication1496-abstract.html
- 7.Recker, J., Mendling, J.: On the translation between BPMN and BPEL: Conceptual mismatch between process modeling languages. In: Proc. of the Int. Conf. on Advanced Information Systems Engineering, pp. 521–532 (2006)Google Scholar
- 13.McCarty, L.T.: A language for legal discourse. In: Proc. of the Int. Conf. on Artificial Intelligence and Law (ICAIL 1989), pp. 180–189. ACM Press, New York (1989)Google Scholar
- 22.Giblin, C., Liu, A.Y., Müller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (REALM). In: Proc. of the 18th Annual Conf. on Legal Knowledge and Information Systems, pp. 37–48 (2005)Google Scholar
- 26.Blechmann, T., Baier, C.: Checking equivalence for Reo networks. In: Proc. of the Int. Workshop on Formal Aspects of Component Software (FACS) (2007)Google Scholar
- 28.Brandt, C., Engel, T., Braatz, B., Hermann, F., Ehrig, H.: An approach using formally well-founded domain languages for secure coarse-grained IT system modelling in a real-world banking scenario. In: Proc. of the Australasian Conf. on Information Systems (ACIS 2007), pp. 386–395 (2007)Google Scholar