Korean Journal of Computational Design and Engineering (한국CDE학회논문집)

Society for Computational Design and Engineering (한국CDE학회)
권호 표지

Workflow Modeling for Product Development Environments based on Event Calculus

제품개발환경을 지원하기 위한 Event Calculus 기반의 워크플로우 모델링

  • 이희정 (대구대학교 산업시스템공학과) ;
  • 서효원 (한국과학기술원 산업공학과)
  • Published : 2010.02.01
Download PDF
⟨ Previous Next ⟩

Abstract

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.

Keywords

References

  1. WfMC, The Workflow Reference Model, WFMC-TC-1003, Workflow Management Coalition, 1995.
  2. WfMC, Terminology & Glossary, WFMC-TC-1011, Workflow Management Coalition, 1996.
  3. Muller, R., Greiner, U. and Rahm, E., "AgentWork: A Workflow System Supporting Rule-based Workflow Adaptation", Data and Knowledge Engineering, Vol. 51, pp. 223-256, 2004. https://doi.org/10.1016/j.datak.2004.03.010
  4. Adams, M., Hofstede, A., Edmond, D. and van der Aalst, W. M. P., "Worklets: A Service-oriented Implementation of dynamic flexibility in Workflows", CoopIS'06, pp. 291-308, 2006.
  5. Reichert, M. and Dadam, P., Realizing Adaptive Process-aware Information Systems with ADEPT2, Ulmer Informatik-Berichte, Nr:2013-08, 2008.
  6. Minor, M., Schmalen, D., Koldehoff, A. and Bergmann, R., "Structural Adaptation of Workflows Supported by a Suspension Mechanism and by Casebased Reasoning", WETICE'07, 2007.
  7. Weske, M., Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects, University of Munster, Habilitation Thesis, 2000.
  8. van der Aalst, W. M. P., Weske, M. and Grunbauer, D., "Case Handling: A New Paradigm for Business Process Support", Data and Knowledge Engineering, Vol. 53, pp. 129-162, 2005. https://doi.org/10.1016/j.datak.2004.07.003
  9. Sadiq, S., Sadiq, W. and Orlowska, M., "Pockets of Exibility in Workflow Specifications", In: ER'01, pp. 513-526, 2001.
  10. Pesic, M., Schonenberg, H., Sidorova, N. and van der Aalst, W. M. P., "Constraint-based Workflow Models: Change Made Easy", CoopIs'07, pp. 77-94, 2007.
  11. Erol, K., Hendler, J. and Nau, D. S., Semantics for Hierarchical Task-network Planning, Technical Report CS-TR-3239, Computer Science Department, University of Maryland, 2004.
  12. Hammond, K., Case-Based Planning: Viewing Planning as a Memory Task, Academic Press, 1989.
  13. Vel so, M.M ., Learning by Analogical Reasoning in General Problem Solving, Ph.D. Dissertation, Carnegie Mellon University, Pittsburgh, PA, 1992.
  14. Casati, F., Ceri, S., Pernici, B. and Pozzi, G., "Workflow Evolution", Data & Knowledge Engineering, Vol. 24, pp. 211-238,1998. https://doi.org/10.1016/S0169-023X(97)00033-5
  15. van der Aalst, W. M. P. and van Hee, K., Workflow Management: Models, Methods, and Systems, The MIT Press, 2002.
  16. Cicekli, N. K. and Yildirim, Y. "Formalizing Workflows Using the Event Calculus", LNCS, Vol. 1873, pp. 222-231, 2000.
  17. Kowalski, R. A. and Sergot, M. J., "Logic-based Calculus of Events", New Generation Computing, Vol. 4, pp. 67-95, 1986. https://doi.org/10.1007/BF03037383
  18. Shanahan, M. T., Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, Cambridge, 1997.
  19. van der Aalst, W. M. P., "Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change", Information Systems Frontier, Vol. 3, No.3, pp. 297-317, 2001. https://doi.org/10.1023/A:1011409408711
  20. Missiaen, L., Bruynooghe, M. and Denecker, M., "CHICA: A Planning System based on Event Calculus", The Journal of Logic and Computation, Vol. 5, No.5, pp. 579-602, 1995. https://doi.org/10.1093/logcom/5.5.579
  21. Shanahan, M. T., "An Abductive Event Calculus Planner", The Journal of Logic Programming, Vol. 44, pp. 207-239, 2000. https://doi.org/10.1016/S0743-1066(99)00077-1