The week's pick
Random Articles
Reseach Article
On the Notion of Semantic Correctness: A Context-based Approach
| 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
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
- 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
- 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
- W. M. P. van der Aalst and J. Desel and E. Kindler, On the semantics of EPCs: A vicious circle (2002)
- 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
- R. Atsa-Etoundi, A domain engineering approach for multiperspectives Workflow modelling, University of Yaounde I - Cameroon (2004)
- 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
- 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
- A. K. Dey, Understanding and using context. Personal and ubiquitous computing, 5(1), 4-7, 2001
- 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
- S. Evangelista, High level petri nets analysis with Helena, In Applications and Theory of Petri Nets 2005, pp. 455-464, Springer Berlin Heidelberg, 2005
- M. Fouda-Ndjodo, P. Essawe-Ndedi, R. Atsa-Etoundi, An Interperspective-Oriented Business Process Modeling Approach, LNBIP 50, Springer Heidelberg, 2010, pp. 145–156
- I. Krschel (2010). On the Notion of Context for Business Process Use. In ISSS/BPSC (pp. 288-297).
- 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
- H. Meyer, Calculating the semantic conformance of processes. , In : Business Process Management Workshops. Springer Berlin Heidelberg, 2008. pp. 473-483.
- 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
- 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.
- Schilit, B. , Theimer, M. : Disseminating active map information to mobile hosts. IEEE Network8(5):22-32, 1994
- 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
- Soffer, P. :Onthe notion of flexibility in business processes. Proceedings of the CAiSE'05 Workshop, 2005; pp. 35-42
- 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
- F. B. Vernadat, Enterprise Modeling And Integration (EMI): Current Status And Research Perspectives, Annual Reviews in Control (2002), pp. 15-25
- M. Vervuurt, Modeling Business Process Variability: A search for innovative solutions to business process variability modeling problems, University of Twente (2007)
Index Terms
Keywords