Abstract

In this paper, we define a new business process modeling approach based on the abstraction of the execution environment which is presented as a set of observers. The triggering condition of a task is linked to the state of the environment rather than a predefined order between tasks as suggested by other modeling approaches. Relying on the environment and the tasks, a formal framework of a business process is given. The modeling proposal presented in this paper is used to address three non dominant perspectives: context, semantics and goal; along with the usual controlflow perspective.

References

• van der Aalst, W.M.P.: The application of Petri nets to workÔ¨Çow management. The Journal of Circuits, Systems and Computers 8(1), 21‚Äì66 (1998).
• van der Aalst, W.M.P., van Hee, K.M.: WorkÔ¨Çow management: models, methods, and systems, p. 267. MIT Press, Cambridge (2004).
• van der Aalst, W.M.P., Rosemann, M., Dumas, M.: Deadline-based Escalation in Process-Aware Information Systems. Decision Support Systems 43(2), 492‚Äì511 (2007)156.
• van der Aalst, W.M.P.: Three Good Reasons for Using a Petri-net-based WorkÔ¨Çow Management System. In: Navathe, S., Wakayama, T. (eds.) IPIC 1996, Cambridge, Massachusetts, pp. 179‚Äì201 (1996).
• Atsa Etoundi, R.: A Domain Engineering approach for multiperspectives WorkÔ¨Çow modelling, Ph.D Thesis, University of Yaounde I - Cameroon (2004).
• Atsa, R., Fouda, M.: An Abstract Model for WorkÔ¨Çows and Business Processes. In: CARI 2002, pp. 239‚Äì247 (2002).
• Atsa, R., Fouda, M.: Security Based Approach to Data Consistency in a Virtual Enterprise. In: ACS-IEEE International Conference on Computer Systems and Applications (2003), IEEE Catalog Number: 03EX722, ISBN: 0-7803-7983-7.
• Atsa, R., Fouda, M.: Mobile-Based support for Business Processes: Feasibility and Correctness. In: ACS-IEEE International Conference on Computer Systems and Applications (2003), IEEE Catalog Number: 03EX722, ISBN: 0-7803-7983-7.
• Atsa, R., Fouda, M.: Human Resource Constraints driven Virtual WorkÔ¨Çow SpeciÔ¨Åcation. In: Proceeding of the International Conference on Signal-Image technology & Internet-based Systems, pp. 176‚Äì182 (2005), 2-9525435-0 c IEEE SITIS 2005.
• Attie, P., Singh, M., Sheth, A., Rusinkiewicz, M.: Specifying and enforcing intertask dependencies. In: Proceedings of the 19th VLDB Conference (1993).
• Cardoso, J., Sheth, A.,Miller, J., Arnold, J., Kochut, K.: Quality of service for workÔ¨Çows and web service processes. Journal of Web Semantics 1(3), 281‚Äì308 (2004).
• Davenport,T., Short, J.E.:TheNewIndustrialEngineering: InformationTechnology and Business Process Redesign. Sloan Management Review, 11‚Äì27 (Summer 1990).
• Dehnert, J., Freiheit, J., Zimmermann, A.: Modelling and evaluation of time aspects in business processes. Journal of the Operational Research Society 53, 1038‚Äì1047 (2002).
• Kiepuszewski, P., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in WorkÔ¨Çows. Acta Informatica 39(3), 143‚Äì209 (2003).
• Lamport, L.: Specifying Concurrent Program Modules. ACM Transactions on Programming Languages and Systems 5(2), 190‚Äì222 (1983).
• Ly, L.T., Rinderle, S., Dadam, P.: Semantic correctness in adaptive process management systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 193‚Äì208. Springer, Heidelberg (2006).
• List, B., Korherr, B.: An Evaluation of Conceptual Business Process Modelling Languages. In: Proceedings of the 21st ACM Symposium on Applied Computing (SAC 2006). ACM Press, New York (2006).
• Mendling, J., van der Aalst, W.M.P.: Towards EPC Semantics based on State and Context. In: Proceedings of the 5th EPC Workshop EPK 2006, CEUR 2006 Workshop Proceedings, pp. 25‚Äì48 (2006).
• Motschnig-Pitrik, M.: Contexts as means to decompose Information Bases and represent relativized Information. In: Proc. CHI Workshop #11: The Who, What, Where, When, Why and How of Context-Awareness. Hague, Netherlands (2000)
• Puhlmann, F.: Why do we actually need the Pi-Calculus for Business Process Management? In: Abramowicz, W., Mayr, H. (eds.) 9th International Conference on Business Information Systems (BIS 2006). Bonn, Gesellschaft fur Informatik. LNI, vol. P-85, pp. 77‚Äì89 (2006).
• Trcka, N., van der Aalst, W.M.P., Sidorova, N.: Data-Flow anti-patterns: Discovering data-Ô¨Çow errors in WorkÔ¨Çows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 425‚Äì439. Springer, Heidelberg (2009).
• Wenfei, F., Weinstein, S, (1999).: Specifying and Reasoning About WorkÔ¨Çows with Path Constraint. In: Hui, L.C.K., Lee, D.-L. (eds.) ICSC 1999. LNCS, vol. 1749, pp. 226‚Äì235. Springer, Heidelberg.