비즈니스 프로세스 관리를 위한 BPML의 형식화

• 영문명: The Formalization of Business Process Modeling Language for Business Process Management
• 발행기관: 한국산업경영시스템학회
• 저자명: 이강배(Kang-Bae Lee) 유성열(Sung-Yeol Yu)
• 간행물 정보: 『산업경영시스템학회지』제29권 제3호, 119~127쪽, 전체 9쪽
• 주제분류: 공학 > 산업공학
• 파일형태: PDF
• 발행일자: 2006.09.01

영문 초록

  In this paper, we present a systematic approach to translating BPML (Business Process Modeling Language) into the π-Calculus. BPML is an executable business process modeling language, like BPEL4WS (Business Process Execution Language for Web Services). It is difficult to find a systematic approach to formalizing these languages; but, by formalizing them, the behavior of the processes can be analyzed and compared so that optimal processes can be designed. For this formalization, we analyzed the activity types and contexts of BPML and suggested the definitions of semantics for each type and context by using the π-Calculus. In addition, we have shown the usefulness of our formalization scheme in that a typical order fulfillment process represented in BPML can be translated into the π-Calculus.

목차

1. 서론
2. 관련 연구
3. BPML
4. π-Calcilis
5. BPML의 의미론
6. BPML 의미론의 적용 예
7. BPML 의미론의 활용
8. 결론
참고문헌

키워드

BPM BPML Formalization π-Calcilis