CAJ | 학술논문

BPEL是一种广泛应用于支撑跨组织协同服务的组合标准。为分析BPEL语言构造业务过程的性能，基于广义随机Petri网，提出了一种BPEL模型，详细地刻画了BPEL的语法语义、活动的不同状态和执行机制，案例分析说明该模型可以有效支持服务组合定量分析。最后对未来工作进行了展望。
BPEL시일충엄범응용우지탱과조직협동복무적조합표준。위분석BPEL어언구조업무과정적성능，기우엄의수궤Petri망，제출료일충BPEL모형，상세지각화료BPEL적어법어의、활동적불동상태화집행궤제，안례분석설명해모형가이유효지지복무조합정량분석。최후대미래공작진행료전망。
Business Process Execution Language( BPEL) is a widely utilized web service composition standard to support cross-organizational collaboration. For analyzing the performance of the process generated through BPEL, we propose a way to construct more reliable cross-workflow applications. Basic on General Stochastic Petri Net( GSPN) ,a BPEL model is proposed in this paper. A detailed description of the BPEL syntax, semantic, activity's statues and the execution mechanism and logic are introduced. Finally, a practical case study has proved this representation suitable for support performance analysis of the proposed model quantificationally and the future works are discussed.