The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)

Korea Information Processing Society (한국정보처리학회)
권호 표지

Commitability and Integrity Verification of Workflow Specification with Petri Nets

페트리넷을 이용한 워크플로우 명세의 완료가능성 및 무결성 검증

  • 정희택 (여수대학교 전자계산학과) ;
  • 이도헌 (전남대학교 컴퓨터정보학부)
  • Published : 2000.07.01
Download PDF
⟨ Previous Next ⟩

Abstract

A study on workflow as an automated business processing system is done recently. This appear proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, e describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에대한 연구가 활발히 이루어지고 있다. 본 연구는 병행 수행되는 과업간에 다양한 종속성을 포함한 워크플로우 명세에 대해, 페트리넷을 이용한 완료 기능성 및 완료 무결성 검증 방안을 제안한다. 이를 위해 첫째, 기존에 연구된 워크플로우 그래프를 이용한 워크플로우 명세 방안을 간략히 기술한다. 둘째, 워크플로우 명세의 검증을 위해, 워크플로우 그래르를 레트리넷으로 변환하기 우한 방안을 제안한다. 셋째, 페트리넷을 이용하여 워크플로우 명세가 왼료 가능한지를 검증하는 완료 가능성 검증과 원하지 않는 워크플로우 상택가 존재하는지 검증하는 무결성 검증방안을 제안한다. 넷째, 제안된 검증방안의 구현 및 모순 추출 방안을 제안한다.

Keywords

References

  1. A. Elmagarmid and W. Du, 'Workflow Management : State of the Art vs. State of the Market', Advances in Wrokflow Management Systems and Interoperability, A. Dogac (Ed.), NATO, pp.1-17, 1997
  2. F. Leymann and D. Roller, 'Workflow-based applications,' IBM system journal, Vol.46, No.1, pp.102-123, 1997
  3. H. Davulcu, Michael Kifer, C.R. Ramakrishnan and I.V. Ramakrishnan, 'Logic Based Modeling and Analysis of Workflows,' Proc. of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp.25-33, June 1998 https://doi.org/10.1145/275487.275491
  4. M. Rusinkiewicz and A. Sheth, 'Specification and Execution of Transactional Workflow,' Modern Database Systems : The object, Interoperability and Beyond, W. Kim(Ed), Addison-Weley, 1994
  5. D. Georgakopoulos, M. F. Hornick and F. Manola, 'Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation,' IEEE transaction on knowledge and data engineering, Vol.8, No.4, pp. 630-649, 1996 https://doi.org/10.1109/69.536255
  6. D. Hollingsworth, 'Workflow Management Coalition - The Workflow Reference Model,' TC00-1003 issue 1.1, 1994
  7. Work Groupl, 'Interface 1 : Process Definition Interchang Process Model,' Workflow Management Coaliton Spectification, TC-1016, 1998
  8. P. C. Attie, M.P. Singh, A. Sheth and M. Rusinkiewicz, 'Specifying and Enforcing Intertask Dependency,' VLDB conference, pp.134-145, 1993
  9. 정희택, 이도헌, '시간제약을 포함한 워크플로우 모델링', 한국정보과학회 춘계학술대회, 제25권 제1호, pp. 101-103, April 1998
  10. 정희택, 이도헌, 김문자, 류영철, '시간제약을 포함한 워크플로우 모델링 및 검증', 한국 정보처리학회 논문지, 제6권 제2호, 1999
  11. James L. Peterson, 'Petri net theory and the modeling of systems,' Prentice-Hall, 1981
  12. W.M.P. van der Aalst, 'Modelling and Analysis of production Systems Using Petri Net Based Approach,' Proc. of Conf. on Computer Integrated Manufacturing in the Process Industries, pp.179-193, USA, 1994
  13. W.M.P. van der Aslst, 'Three Good Reasons for Using a Petri-net-based Work flow Management System,' Proc. of th Int. Working Conf. on Information and Process Intergration in Enterprises, pp.179-201, Nov 1996
  14. W.M.P. van der Aalst, 'Petri-net-based Workflow Management Software,' Proc. of the NFS workshop on Workflow and Process Automation In Information System, pp.114-118, May 1996
  15. W.M.P. van der Alast, 'The Application of Petri Nets to Workflow Management,' The Journal of Circuits, Systems and Computers, 1998
  16. N. R. ADAM, Vijayalakshmi Atluri and Wei-Kuang HUANG, 'Modeling and Analysis of workflows Using Petri Nets,' Journal of Intelligent Information Systems, Vol.10, No.2, pp.1-29, March 1998 https://doi.org/10.1023/A:1008656726700