The KIPS Transactions:PartD (정보처리학회논문지D)

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

DOI QR Code

Verification Checking Mechanisms of Business Processes based on Control Flow Path

컨트롤 흐름 경로 기반의 비즈니스 프로세스 타당성 검증 기법

  • Published : 2007.08.31
Download PDF
⟨ Previous Next ⟩

Abstract

As the current trend in e-business has led to more various and complex business processes in recent years, problems in business process models have increased gradually. Accordingly, the concern to validation of business process models has been much larger but there are few validation checking mechanisms supported so far. On the other hand BPMN driven by BPMI is a standard graphical notation. Using the tool supporting BPMN, business process can be modeled graphically and analyzed easily. In this paper, we present technical mechanisms which can efficiently detect anomalies in a process composed of BPMN and are capable of avoiding higher unexpected costs during runtime.

과거에 비해 최근에는 비즈니스 프로세스가 복잡해짐에 따라 비즈니스 프로세스를 디자인할 때 발생할 수 있는 문제점이 점차 증가하고 있다. 그러나 비즈니스 프로세스 검증의 중요성이 높아지고 있지만 많은 검증 방법이 제안되고 있지 않은 실정이다. 한편, 최근 BPMI에서 주도하는 BPMN은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로써 BPMN을 지원하는 디자인 툴을 이용하면 다양하고 복잡한 프로세스 환경을 쉽게 디자인하고 분석할 수 있다. 본 논문에서는 이러한 BPMN으로 디자인할 때 발생한 수 있는 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행 시 발생할 수 있는 에러들을 사전에 검증하여 예기치 못한 큰 비용을 줄일 수 있다.

Keywords

References

  1. W.Sadiq and M.E. Orlowska, Analyzing process models using graph reduction techniques, Information System 25(2), 2000 https://doi.org/10.1016/S0306-4379(00)00012-0
  2. W.M.P. van der Aalst and ArthurHM ter Hofstede, Verification of workflow task structures: A Petrinet-based approach, Information Systems 25(1) (2000) 43-69 https://doi.org/10.1016/S0306-4379(00)00008-9
  3. Businss Process Modeling Notation (BPMN) (version 1.0 - May 3, 2004)
  4. R. Eshuis and R. Wieringa, Verification support for workflow design with UML activity graphs, In Proceedings of the 24rd International Conference on Software Engineering, pp.166-176. 2002 https://doi.org/10.1145/581339.581362
  5. OMGUnified Modeling Language Specification (version 1.4, 2001,9), http://www.omg.org
  6. Shazia Sadiq, Data Flow and Validation in Workflow Modeling, Proceedings of the fifteenth conference on Australasian database - Volume 27 (ACM), 2004
  7. W.M.P van der Aalst. Workflow Verification: Finding ControlFlow Errors Using Petri Net Based Techniques, Business Process Management, Models, Techniques, and Empirical Studies, 20006
  8. W.M.P. van der Aalst, The application of Petri nets to workflow management, Journal of Circuits, Systems and Computers 8(1) (1998) 21-66 https://doi.org/10.1142/S0218126698000043
  9. W.M.P van der Aalst. Modeling and analysis of production systems using a Petri net based approach. Proceedings of the conference on ComputerIntegrated Manufacturing in the Process Industries, East Brunswick, USA, 1994
  10. R. Eshuis and R. Wieringa, Comparing petri nets and activity diagram variants for workflow modeling - a quest for reactive petri-nets. In H. Ehrig, W.Reisig, and G.Rozenberg, (eds.) Petri Net Technologies for Communication Based Systems, Lecture Notes in Computer Science. Springer Verlag, Berlin, 2002
  11. W. Reisig and G. Rozenberg, Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998
  12. HENRY H. BI, Applying Propositional Logic to Workflow Verification, Information Technology and Management, Volume 5, 2004 https://doi.org/10.1023/B:ITEM.0000031583.16306.0f
  13. WfMC, Workflow management coalition terminology & glossary (WFMC-TC-1011, Issue 3.0), Workflow Management Coalition (1999)