Abstract
This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications.We apply a modeldriven approach. We begin with business requirement specifications, consisting of an ontology and an associated set of normative rules, that define the ways in which business processes can interact. We then transform this specification into an Event-B specification. The resulting specification, by virtue of the Event-B formalism, is very close to a typical loosely coupled component-based implementation of a business system workflow, but has the additional value of being amenable to theorem proving techniques to check and refine data representation with respect to process evolution.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. The MIT Press (2002)
Hepp, M., Roman, D.: An Ontology Framework for Semantic Business Process Management. In: Proceedings of the 8th International Conference Wirtschaftsinformatik 2007, Universitaetsverlag Karlsruhe (2007)
Liu, K.: Semiotics in Information Systems Engineering. Cambridge University Press (2000)
Back, R.J.: Refinement Calculus, Part II: Parallel and Reactive Programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol. 430, pp. 67–93. Springer, Heidelberg (1990)
Ehrig, M., Koschmider, A., Oberweis, A.: Measuring Similarity Between Semantic Business Process Models. In: Roddick, J.F., Hinze, A. (eds.) Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Conferences in Research and Practice in Information Technology, vol. 67, pp. 71–80. Australian Computer Society, Inc. (2007)
Halle, S., Villemaire, R., Cherkaoui, O., Ghandour, B.: Model Checking Data-aware Workflow Properties with CTL-FO + . In: Proc. of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp. 267–278. IEEE Computer Society (2007)
Aslam, M.A., Auer, S., Böttcher, M.: From BPEL4WS Process Model to Full OWL-S Ontology. In: Proc. of the 3rd European Semantic Web Conference, Budva, Montenegro (2006)
d’Inverno, M., Luck, M.: Understanding Agent Systems. Springer Series on Agent Technology. Springer, Heidelberg (2004)
Castelfranchi, C., Conte, R., Paolucci, M.: Normative Reputation and the Costs of Compliance. Journal of Artificial Societies and Social Simulation 1(3) (1998)
Rodríguez, A., Fernández-Medina, E., Piattini, M.: CIM to PIM transformation: A reality. In: Xu, L.D., Tjoa, M., Chaudhry, S. (eds.) International Conference on Research and Practical Issues of Enterprise Information Systems (2). IFIP, vol. 255, pp. 1239–1249. Springer, Heidelberg (2007)
Rodríguez, A., Fernández-Medina, E., Piattini, M.: Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 408–415. Springer, Heidelberg (2007)
van der Aalst, W., Lassen, K.: Translating Workflow Nets to BPEL. BETA Working Paper Series 145. Eindhoven University of Technology, Eindhoven (2005)
Rezazadeh, A., Evans, N., Butler, M.: Redevelopment of an Industrial Case Study Using Event-B and Rodin. In: The British Computer Society - Formal Aspects of Computing Science Christmas 2007 Meeting Formal Methods In Industry, pp. 1–8 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Poernomo, I., Umarov, T. (2012). A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds) Advances in Software Engineering Techniques. CEE-SET 2009. Lecture Notes in Computer Science, vol 7054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28038-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-28038-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28037-5
Online ISBN: 978-3-642-28038-2
eBook Packages: Computer ScienceComputer Science (R0)