CFP last date
22 April 2024
Call for Paper
May Edition
IJCA solicits high quality original research papers for the upcoming May edition of the journal. The last date of research paper submission is 22 April 2024

Submit your paper
Know more
The week's pick
Responsive image
Enhancing Privacy Preservation: Multi-Attribute Protection with P-Sensitive K-Anonymity

Twinkle Patel Kiran Amin
Random Articles
Reseach Article

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

by Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloo
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 11 - Number 1
Year of Publication: 2010
Authors: Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloo
10.5120/1550-2063

Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloo . Article:A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling. International Journal of Computer Applications. 11, 1 ( December 2010), 1-7. DOI=10.5120/1550-2063

@article{ 10.5120/1550-2063,
author = { Roger Atsa Etoundi, Marcel Fouda Ndjodo, Ghislain Abessolo Aloo },
title = { Article:A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling },
journal = { International Journal of Computer Applications },
issue_date = { December 2010 },
volume = { 11 },
number = { 1 },
month = { December },
year = { 2010 },
issn = { 0975-8887 },
pages = { 1-7 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume11/number1/1550-2063/ },
doi = { 10.5120/1550-2063 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T19:59:27.120040+05:30
%A Roger Atsa Etoundi
%A Marcel Fouda Ndjodo
%A Ghislain Abessolo Aloo
%T Article:A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling
%J International Journal of Computer Applications
%@ 0975-8887
%V 11
%N 1
%P 1-7
%D 2010
%I Foundation of Computer Science (FCS), NY, USA
Abstract

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.

References
  1. Jesper Andersen,Ebbe Elsborg,Fritz Hengle, Jakob Grue Simonsen and Christian Stefansen, “Compositional specification of commercial contracts”, Springer verlag, 2006
  2. Jorg Becker, Michael rosemann, and Chrisoph von Uthmann. “Business Process Management”, Guideline of Business Process Modeling. Springer-Verlag Berlin Heidelbert, 2000
  3. F. Casati, S. Ceri, B. Pernici, and G. Pozzi. “Conceptual Modeling of Workflows”. Springer Verlap, December 1995
  4. Amit P. sheth, Will van der Aalst, Ismailcem B. Arpinar. “Processes driving the networked economy”. IEEE Concurrency, July-September 1999
  5. 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
  6. D. Hollinsworth. “The workflow reference model”. Technical Report TC00-1003, Workflow Management Coalition, http://www.aiai.ed.ac.uk/WfMC/, December 1994
  7. Tomasz Janowski and Ojo Adegboyega. “Formalising Feasibility and correctness of distributed business processes”. Lecture Notes in Computer Science, number 2465, pages 432–443, 2002
  8. Daniel Krob. “Modelling of complex software systems: a reasoned overview”. International conference on formal methods for networked and distributed systems, 2006
  9. 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
  10. Atsa E. Roger and Marcel Fouda. “An Abstract Model For Workflows and Business Processes”, CARI 2002, pages 239–247
  11. Atsa Etoundi Roger. “A Domain Engineering Approach for Multi Perspective Business Process and Workflows Modeling”, PhD thesis, University of Yaounde I, December 2004
  12. 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
  13. Oumaima Saidani and Selmin Nurcan. “Role-based approach modelling flexible business process”, Business Process Modeling, Development and Support, 2006
  14. R.D. Tennent. The denotational semantics of programming languages. Communication of the ACM, 1976
  15. 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
  16. 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
  17. 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
Index Terms

Computer Science
Information Sciences

Keywords

Business Process Modeling Workflows Denotational Semantics Process Abstraction Quality of Service

Powered by PhDFocusTM