CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
Implementation of Feature Selection Using Correlation Matrix in Python

Ahmad Farhan AlShammari
Random Articles
Reseach Article

A Formal Framework for Business Process Modeling

by Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloío
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 13 - Number 6
Year of Publication: 2011
Authors: Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloío
10.5120/1784-2462

Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloío . A Formal Framework for Business Process Modeling. International Journal of Computer Applications. 13, 6 ( January 2011), 27-32. DOI=10.5120/1784-2462

@article{ 10.5120/1784-2462,
author = { Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloío },
title = { A Formal Framework for Business Process Modeling },
journal = { International Journal of Computer Applications },
issue_date = { January 2011 },
volume = { 13 },
number = { 6 },
month = { January },
year = { 2011 },
issn = { 0975-8887 },
pages = { 27-32 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume13/number6/1784-2462/ },
doi = { 10.5120/1784-2462 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:02:00.858302+05:30
%A Roger Atsa Etoundi
%A Marcel Fouda Ndjodo
%A Ghislain Abessolo Aloío
%T A Formal Framework for Business Process Modeling
%J International Journal of Computer Applications
%@ 0975-8887
%V 13
%N 6
%P 27-32
%D 2011
%I Foundation of Computer Science (FCS), NY, USA
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
  1. van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998).
  2. van der Aalst, W.M.P., van Hee, K.M.: Workflow management: models, methods, and systems, p. 267. MIT Press, Cambridge (2004).
  3. 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.
  4. van der Aalst, W.M.P.: Three Good Reasons for Using a Petri-net-based Workflow Management System. In: Navathe, S., Wakayama, T. (eds.) IPIC 1996, Cambridge, Massachusetts, pp. 179–201 (1996).
  5. Atsa Etoundi, R.: A Domain Engineering approach for multiperspectives Workflow modelling, Ph.D Thesis, University of Yaounde I - Cameroon (2004).
  6. Atsa, R., Fouda, M.: An Abstract Model for Workflows and Business Processes. In: CARI 2002, pp. 239–247 (2002).
  7. 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.
  8. 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.
  9. Atsa, R., Fouda, M.: Human Resource Constraints driven Virtual Workflow Specification. In: Proceeding of the International Conference on Signal-Image technology & Internet-based Systems, pp. 176–182 (2005), 2-9525435-0 c IEEE SITIS 2005.
  10. Attie, P., Singh, M., Sheth, A., Rusinkiewicz, M.: Specifying and enforcing intertask dependencies. In: Proceedings of the 19th VLDB Conference (1993).
  11. Cardoso, J., Sheth, A.,Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. Journal of Web Semantics 1(3), 281–308 (2004).
  12. Davenport,T., Short, J.E.:TheNewIndustrialEngineering: InformationTechnology and Business Process Redesign. Sloan Management Review, 11–27 (Summer 1990).
  13. 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).
  14. Kiepuszewski, P., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Informatica 39(3), 143–209 (2003).
  15. Lamport, L.: Specifying Concurrent Program Modules. ACM Transactions on Programming Languages and Systems 5(2), 190–222 (1983).
  16. 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).
  17. 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).
  18. 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).
  19. 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)
  20. 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).
  21. Trcka, N., van der Aalst, W.M.P., Sidorova, N.: Data-Flow anti-patterns: Discovering data-flow errors in Workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 425–439. Springer, Heidelberg (2009).
  22. Wenfei, F., Weinstein, S, (1999).: Specifying and Reasoning About Workflows with Path Constraint. In: Hui, L.C.K., Lee, D.-L. (eds.) ICSC 1999. LNCS, vol. 1749, pp. 226–235. Springer, Heidelberg.
Index Terms

Computer Science
Information Sciences

Keywords

Business Process Design Environment State Process Semantics Execution Environment Quality of service

Powered by PhDFocusTM