Call for Paper - January 2024 Edition
IJCA solicits original research papers for the January 2024 Edition. Last date of manuscript submission is December 20, 2023. Read More

A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling

International Journal of Computer Applications
© 2010 by IJCA Journal
Number 1 - Article 1
Year of Publication: 2010
Roger Atsa Etoundi
Marcel Fouda Ndjodo
Ghislain Abessolo Alo’o

Roger Atsa Etoundi, Marcel Fouda Ndjodo and Ghislain Abessolo Aloo. Article:A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling. International Journal of Computer Applications 11(1):1–7, December 2010. Published By Foundation of Computer Science. BibTeX

	author = {Roger Atsa Etoundi and Marcel Fouda Ndjodo and Ghislain Abessolo Aloo},
	title = {Article:A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling},
	journal = {International Journal of Computer Applications},
	year = {2010},
	volume = {11},
	number = {1},
	pages = {1--7},
	month = {December},
	note = {Published By Foundation of Computer Science}


In our previous work on business process, we have provided the foundation for formalization based on the environment concept. The environment is defined as a set of observers whose values change according to the actions of tasks. From their values, observers are grouped to form a set of states. A state is defined as the characteristic of an environment from which the satisfaction of the goal associated to the business process is checked. In this paper, based on Denotational Semantics, we will highlight the semantics core features used in our modeling approach. By applying the resulting models in daily work, enterprises will improve their productivity and quality of service in order to deal with the competitive pressure of the network economy.


  • Jesper Andersen,Ebbe Elsborg,Fritz Hengle, Jakob Grue Simonsen and Christian Stefansen, “Compositional specification of commercial contracts”, Springer verlag, 2006
  • Jorg Becker, Michael rosemann, and Chrisoph von Uthmann. “Business Process Management”, Guideline of Business Process Modeling. Springer-Verlag Berlin Heidelbert, 2000
  • F. Casati, S. Ceri, B. Pernici, and G. Pozzi. “Conceptual Modeling of Workflows”. Springer Verlap, December 1995
  • Amit P. sheth, Will van der Aalst, Ismailcem B. Arpinar. “Processes driving the networked economy”. IEEE Concurrency, July-September 1999
  • C.R.Ramakrishnan H. Davulcu, M. Kifer and I.V. Ramakrishnan. “Logic based modeling and analysis of workflows”. ACM Sympodium on Principles of Database systems, pages 25–33, june 1998
  • D. Hollinsworth. “The workflow reference model”. Technical Report TC00-1003, Workflow Management Coalition,, December 1994
  • Tomasz Janowski and Ojo Adegboyega. “Formalising Feasibility and correctness of distributed business processes”. Lecture Notes in Computer Science, number 2465, pages 432–443, 2002
  • Daniel Krob. “Modelling of complex software systems: a reasoned overview”. International conference on formal methods for networked and distributed systems, 2006
  • Atsa Etoundi Roger Marthe Monessa, Marcel Fouda Ndjodo and Erick Zobo. Feature-Oriented workflow modelling based on enterprise human resource planning. Business process management journal, 12(5):608–621, 2006
  • Atsa E. Roger and Marcel Fouda. “An Abstract Model For Workflows and Business Processes”, CARI 2002, pages 239–247
  • Atsa Etoundi Roger. “A Domain Engineering Approach for Multi Perspective Business Process and Workflows Modeling”, PhD thesis, University of Yaounde I, December 2004
  • Atsa Etoundi Roger and Marel Fouda Ndjodo. “A Generic Abstract Model for Business Processes and Workflows Management”, Bieter Gerald and Kirste Thomas, editors, 4th International Workshop on Mobile Computing, pages 62–72. IRB Verlag, Stuttgart Germany, 2003
  • Oumaima Saidani and Selmin Nurcan. “Role-based approach modelling flexible business process”, Business Process Modeling, Development and Support, 2006
  • R.D. Tennent. The denotational semantics of programming languages. Communication of the ACM, 1976
  • W. van der Aalst and al. “Business process Management”, Techniques for modeling Workflows and Their Support of Reuse, pages 1–15. Springer Verlag Berlin Heidelberg, 2000
  • W. M. P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. “Workflow patterns”, Technical Report wp 47, BETA Research Institude, 2000
  • W.M.P. van der Aalst, K.M. van Hee, and G.J. Houben. “Modelling and analysing workflow using a Petri-net based approach”, Proceedings of the second workshop on computer supported cooperative work, pages 31–50, 1995