CFP last date
20 May 2024
Reseach Article

On the Notion of Semantic Correctness: A Context-based Approach

by Priso Essawe-ndedi, Marcel Fouda-ndjodo
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 94 - Number 5
Year of Publication: 2014
Authors: Priso Essawe-ndedi, Marcel Fouda-ndjodo
10.5120/16336-5628

Priso Essawe-ndedi, Marcel Fouda-ndjodo . On the Notion of Semantic Correctness: A Context-based Approach. International Journal of Computer Applications. 94, 5 ( May 2014), 1-6. DOI=10.5120/16336-5628

@article{ 10.5120/16336-5628,
author = { Priso Essawe-ndedi, Marcel Fouda-ndjodo },
title = { On the Notion of Semantic Correctness: A Context-based Approach },
journal = { International Journal of Computer Applications },
issue_date = { May 2014 },
volume = { 94 },
number = { 5 },
month = { May },
year = { 2014 },
issn = { 0975-8887 },
pages = { 1-6 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume94/number5/16336-5628/ },
doi = { 10.5120/16336-5628 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T22:16:45.696727+05:30
%A Priso Essawe-ndedi
%A Marcel Fouda-ndjodo
%T On the Notion of Semantic Correctness: A Context-based Approach
%J International Journal of Computer Applications
%@ 0975-8887
%V 94
%N 5
%P 1-6
%D 2014
%I Foundation of Computer Science (FCS), NY, USA
Abstract

Ly, Rinderle and Dadam [13] have worked on process semantic correctness and introduced the concept of semantic contraints (mutual exclusion and dependency) in order to introduce semantic concerns in process modeling. In this paper, we attempt to refine their work by proposing a solution to two kinds of problems generated by semantic constraints as they initially defined it: how to maintain the constraints set when a new task is introduced in a model? How to allow mutual exclusive tasks to coexist in the same process via the desactivation of the cause of the mutual exclusion by a third party. Our solution takes advantage of a context-based business process modeling approach presented in [11].

References
  1. W. M. P. van der Aalst, The application of Petri nets to workflow management, The Journal of Circuits, Systems and Computers (1998), pp. 21-66
  2. van der Aalst, W. M. , & Jablonski, S. (2000). Dealing with workflow change: identification of issues and solutions. Computer systems science and engineering, 15(5), 267-276
  3. W. M. P. van der Aalst and J. Desel and E. Kindler, On the semantics of EPCs: A vicious circle (2002)
  4. W. M. P. van der Aalst and M. Dumas and F. Gottschalk and A. H. ter Hofstede and M. La Rosa and J. Mendling, Preserv-ing correctness during business process model configuration, Formal Aspects of Computing (2010), pp. 459-482
  5. R. Atsa-Etoundi, A domain engineering approach for multiperspectives Workflow modelling, University of Yaounde I - Cameroon (2004)
  6. T. Davenport and J. E. Short. The new industrial engineering: information technology and business process redesign. Sloan Management Review, 31(4), pp. 11–27, 1990
  7. J. Desel and G. Juhs, "What Is a Petri Net?" Informal Answers for the Informed Reader, In Unifying Petri Nets pp. 1- 25, Springer Berlin Heidelberg, 2001
  8. A. K. Dey, Understanding and using context. Personal and ubiquitous computing, 5(1), 4-7, 2001
  9. R. Dijkman and M. Dumas and C. Ouyang, Semantics and analysis of business process models in BPMN, Information and Software Technology (2008), pp. 1281-1294
  10. S. Evangelista, High level petri nets analysis with Helena, In Applications and Theory of Petri Nets 2005, pp. 455-464, Springer Berlin Heidelberg, 2005
  11. M. Fouda-Ndjodo, P. Essawe-Ndedi, R. Atsa-Etoundi, An Interperspective-Oriented Business Process Modeling Approach, LNBIP 50, Springer Heidelberg, 2010, pp. 145–156
  12. I. Krschel (2010). On the Notion of Context for Business Process Use. In ISSS/BPSC (pp. 288-297).
  13. L. T. Ly and S. Rinderle and P. Dadam, Semantic correctness in adaptive process management systems, Lecture Notes in Computer Science (2006), pp. 193-208
  14. H. Meyer, Calculating the semantic conformance of processes. , In : Business Process Management Workshops. Springer Berlin Heidelberg, 2008. pp. 473-483.
  15. Regev, G. ; Soffer, P. ; Schmidt, R. : Taxonomy of flexibility in business processes. In: Proc. Seventh Workshop on Business Process Modeling, Development,and Support (BPMDS). Requirements for flexibility and the ways to achieve it. Luxemburg, 2006
  16. J. Schaffner, H. Meyer and M. Weske . A formal model for mixed initiative service composition. In IEEE International Conference on Services Computing, 2007. SCC 2007. (pp. 443-450). IEEE.
  17. Schilit, B. , Theimer, M. : Disseminating active map information to mobile hosts. IEEE Network8(5):22-32, 1994
  18. J. J. Shi and D. Lee and E. Kuruku, Task-based modeling method for construction business process modeling and automation, Automation in Construction (2008), pp. 633-640
  19. Soffer, P. :Onthe notion of flexibility in business processes. Proceedings of the CAiSE'05 Workshop, 2005; pp. 35-42
  20. H. M. W. Verbeek and T. Basten and W. M. P. van der Aalst, Diagnosing workflowprocesses using woflan, The Computer Journal (2001), pp. 246-279
  21. F. B. Vernadat, Enterprise Modeling And Integration (EMI): Current Status And Research Perspectives, Annual Reviews in Control (2002), pp. 15-25
  22. M. Vervuurt, Modeling Business Process Variability: A search for innovative solutions to business process variability modeling problems, University of Twente (2007)
Index Terms

Computer Science
Information Sciences

Keywords

Business Process Semantic correctness Conflict Dependency