A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management

  • Iman Poernomo
  • Timur Umarov
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7054)


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.


Business Process Business Process Management Deontic Logic Normative Requirement Business Entity 
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.


  1. 1.
    van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. The MIT Press (2002)Google Scholar
  2. 2.
    Hepp, M., Roman, D.: An Ontology Framework for Semantic Business Process Management. In: Proceedings of the 8th International Conference Wirtschaftsinformatik 2007, Universitaetsverlag Karlsruhe (2007)Google Scholar
  3. 3.
    Liu, K.: Semiotics in Information Systems Engineering. Cambridge University Press (2000)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    d’Inverno, M., Luck, M.: Understanding Agent Systems. Springer Series on Agent Technology. Springer, Heidelberg (2004)CrossRefzbMATHGoogle Scholar
  9. 9.
    Castelfranchi, C., Conte, R., Paolucci, M.: Normative Reputation and the Costs of Compliance. Journal of Artificial Societies and Social Simulation 1(3) (1998)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    van der Aalst, W., Lassen, K.: Translating Workflow Nets to BPEL. BETA Working Paper Series 145. Eindhoven University of Technology, Eindhoven (2005)Google Scholar
  13. 13.
    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)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2012

Authors and Affiliations

  • Iman Poernomo
    • 1
  • Timur Umarov
    • 2
  1. 1.Department of Computer ScienceKing’s College LondonLondonUK
  2. 2.Department of Computer EngineeringKazakh-British Technical UniversityAlmatyKazakhstan

Personalised recommendations