본문 바로가기
KERD
논문KCI 등재

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

The Formalization of Business Process Modeling Language for Business Process Management

유성열|이강배
한국산업경영시스템학회 (KOREAN SOCIETY OF INDUSTRIAL AND SYSTEMS ENGINEERING)|2006.09|한국산업경영시스템학회지 (Journal of Korean Society of Industrial and Systems Engineering)|제29권 제3호|pp. 119-127

0

조회

0

다운로드

1

인용

0

참고문헌

주제분류산업공학

초록

Abstract

In this paper, we present a systematic approach to translating BPML (Business Process Modeling Language) into the . 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 . 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 .

참고문헌 (15)

  1. "Pattern based analysis of BPML (and WSCI) Technical report" (2002)
  2. "The application of Petri-nets for Workflow management", 8(1), pp.21~66 (1998)
  3. "Business Process Modeling Language" (2002)
  4. "Process Integration Using the Design Structure Matrix", 5(3), pp.180~193 (2002)
  5. "Using to Formalize UML Activity Diagrams", pp.47~54 (2003)
  6. "Process Modeling for E-Business", pp.1~28 (2003), George Mason University
  7. "Formalization of UML Statechart Diagrams in the p-Calculus", pp.213~223 (2001)
  8. "Communicating and Mobile Systems" (1999), Cambridge University Press
  9. "Transformation Algorithms between BPEL4WS and BPML for the Executable Business Process", pp.135~140 (2004)
  10. "Web Service Orchestration" (2003)
  11. "Using the π-Calculus for Formalizing Workflow Patterns", pp.153~168 (2005)
  12. "The ：A Theory of Mobile Processes", Cambridge University Press
  13. "The Mobility Workbench - a tool for the Department of Computer Systems" (1994), Uppsala University
  14. "Analysis of Web service composition languages：The case of BPEL4WS", pp.13~16 (2003)
  15. "Analysis of Web service composition languages：The case of BPEL4WS", pp.13~16 (2003)

관련 논문AI추천

웹 기반 비즈니스 프로세스의 리엔지니어링과 명세를 위한 BPN 모형이강수, 장수진, 최상수한국정보처리학회 · 정보처리학회논문지D2003 · 제10권 제3호BPMN2XPDL : 비즈니스 프로세스에 대한 BPMN 표기법을 XPDL 언어로의 변환김학수, 박정업, 손진현, 정문영, 조명현한국정보처리학회 · 정보처리학회논문지D2006 · 제13권 제4호BPM기반의 지식관리 모델 연구류성열, 송재영한국엔터프라이즈아키텍처학회 · 정보화연구2007 · 제4권 제1호컨트롤 흐름 경로 기반의 비즈니스 프로세스 타당성 검증 기법김학수, 박찬희, 설주영, 손진현한국정보처리학회 · 정보처리학회논문지D2007 · 제14권 제5호XML 문서 관리를 위한 능동 규칙 언어류근호, 황정희한국정보처리학회 · 정보처리학회논문지D2003 · 제10권 제1호기업간 비즈니스 프로세스 등록저장소를 위한 메타데이터 온톨로지 설계김종우, 김형도, 윤정희, 정현철한국정보처리학회 · 정보처리학회논문지D2007 · 제14권 제4호

이 간행물의 다른 논문 (16건)

페트리 네트에 기반한 제품의 안전분석 방법 :하드웨어와 인간행태를 통합하여 분석하는 방법에 관하여고봉기, 임창주pp. 1-6전국종합병원 의료서비스 연구고현민, 이응석, 고승균, 장경pp. 7-14환경친화적 물류활동의 한？일 비교를 통한 환경문제 대응방안이성호, 김제숭, 박석하, 오영진, 이영규pp. 15-24시스템 다이나믹스를 이용한 자동차 개발 단계에서 Design-Build-Test Cycle의 중복에 대한 연구이상돈, 임익성pp. 25-32윈윈전략을 위한 물류비즈니스 모델 : Logister와 벨크로 조직백시현pp. 33-42
원문 보기