• Journal of IKEEE
• /
• v.17 no.3
• /
• pp.332-338
• /
• 2013

BPEL is a standard executable language for specifying actions within business processes with Web services. BPEL workflow requires rule engine to describe application process in BPEL, as the requirements increase. It is needed to develop new BPEL's engine or modify BPEL's engine in order to add the functionality of rules to BPEL engines, but this method is not easy to implement and it requires very high cost. In this paper, we present an R4BPEL document, which uses the original BPEL grammar and includes a rule document. With this method, it is possible to build rule-based BPEL environment easily by adding web services with rules and R4BPEL document analyzer to the general-purpose Web services. In this paper, we campared a BPEL's document in proposed system with a BPEL's document in the existing system. And we demonstrated the simplicity of the rule-based system.

• Journal of IKEEE
• /
• v.17 no.4
• /
• pp.525-530
• /
• 2013

The BPEL is standard of workflow. A domain experts not familiar with programming languages and he can write workflow. But he need new function without BPEL. We must develop or modify a BPEL engine for new functions. This method is expensive. In this paper, We propose the XAS4B documents that extend the XML schema. And We describe method that can process new function in BPEL using Aspect-Oriented Programming. AOP can cross-cut concern adding to core concern using weaving without modification. We use an existing B2J (BPEL to JAVA) engine that is transfer a BPEL's document to a JAVA program and B2J execute a JAVA program. This system adding new functions to BPEL's flow using AOP. In this system, A JAVA program is core concern and a program of new function is cross-cut concern. And this system weave a JAVA program made in B2J and a program of new function. This method provide abstract grammar for new functions. And domain experts can easily write new function is a BPEL Document and reuse new function using abstract grammar.

• Journal of KIISE:Computer Systems and Theory
• /
• v.37 no.4
• /
• pp.205-214
• /
• 2010

BPEL is a standard workflow language, which interacts with Web Services and is used in various applications. But it is difficult to use BPEL for specific applications which require additional functions. In this paper, we present a system which can add new functions to BPEL based on an aspect-oriented programming (AOP) technique. In order to add new functions to BPEL, we define a JWX document format that can describe new functions to apply to BPEL. JWX is XML-oriented document that can code the corresponding Java program in order to dynamically add new functions to BPEL documents. It is possible for BPEL workflow to add new functions without modifying the existing programs using the AOP technique, which guarantees low degree of coupling between key and additional requirements. Additionally this systems weaves based on new functions of Java program and JWX document by expanding BPEL engine called B2J based on AOP and execute them. Therefore it is possible to develop a new BPEL engine with additional functions easily and with low cost. The new system can execute additional conditions that the current BPEL engine doesn’t provide. The new system using functions of BPEL supplied by B2J. The new system can be used to add a new rule engine, which isn't currently provided.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.424-426
• /
• 2004

웹서비스란 XML 포맷의 벤더 중립적인 표준을 따라 웹에 산재한 웹 애플리케이션들을 통합하는 새로운 분산 컴퓨팅 기술이다. 웹서비스를 이용해서 비즈니스 로직을 바탕으로 유용한 서비스를 제공하는 새로운 비즈니스 프로세스를 구현하기 위해서 기존의 웹서비스를 조합하여 비즈니스 프로세스를 기술하는 웹서비스 컴포지션 스펙이 제안되었다. IBM과 Microsoft에서는 BPEL4WS, Sun에서는 WSCI, BPMI.org에서는 BPML을 제안하였는데, 그 중에 BPEL4WS와 BPML은 기업 내부 시스템에서 사용되는 실행 가능한 비즈니스 프로세스를 기술한다. 본 논문에서는 실행 가능한 비즈니스 프로세스를 위한 이 두 스펙간의 상호 운영성을 증대하기 위해서 BPEL4WS와 BPML간의 상호 변환 알고리즘을 제안한다. 예를 들어 BPEL4WS 구현 시스템에서 BPEL4WS에서 BPEL4WS로의 변환 알고리즘을 이용하여 BPEL4WS 뿐만 아니라 BPML로 기술된 비즈니스 프로세스를 참조할 수 있고, BPEL4WS에서 BPML로 변환 알고리즘을 이용하여 BPEL4WS 구현 시스템에서 사용 중인 비즈니스 프로세스 인스턴스를 BPML 프로세스로 출력하여 BPML 구현 시스템에서 사용할 수 있다.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.5
• /
• pp.209-218
• /
• 2015

BPEL is used in various domains since it can describe the flow of works according to conditions and rules, and it can call web services in service-oriented computing environments. However, new functions that are not provided by BPEL grammar are required in specific domains. Generally, when new functions are required, the domain-specific language should be newly defined and developed, which requires high development cost. In this regard, a new function needs to be defined and added instead of developing domain-specific language with the new functions added. However, such methods only allow an addition of a single function, and it is difficult to design and add new functions according to the needs. This paper defines XAS4B document, which extends the BPEL grammar function through XML schema in order to add new functions, and proposes BPEL engine generator that generates BPEL engine with the new functions added by processing the document. The XAS4B document enables the creation of a new grammar added to BPEL using XML schema. It also shows the process of adding new functions to BPEL engine using AspectJ, JAVA implementation of aspect-oriented programming. The proposed system can add new functions using AspectJ without modifying BPEL engine. This allows the provision of new functions at low cost in various domains.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.484-486
• /
• 2004

현재 웹 서비스의 결합을 기술하기 위한 다양한 방법들이 제시되고 있지만 XLANG과 WSFL의 장점을 수용한 BPEL4WS로 통합되고 있는 추세이다. BPEL4WS는 비즈니스 프로세스에 참여하는 웹서비스들간의 상호동작과 프로세스의 상태 정보를 기술할 수 있는 효과적인 방법을 제공한다. 그러나, BPEL4WS로 기술된 명세를 웹서비스화 하기 위한 실행 방안에 대한 연구는 미흡한 실정이다. 이에 본 논문은 비즈니스 프로세스에 내재된 워크플로우 그래프로부터 간략화 된 실행 그래프의 생성 방법을 제안한다. 또한 실행 그래프를 이용하여 BPEL4WS 명세의 병렬 및 분산 실행을 지원하는 구현 방안에 대해 논의한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.593-596
• /
• 2006

본 논문에서는 자동화된 웹 서비스 조합을 구현하기 위해 BPEL 기법에 OWL-S 기법을 도입하는 혼합 조합기법을 제안한다. BPEL 조합기법은 에러 처리나 트랜잭션 관리와 같은 비즈니스 환경에서 요구되는 실질적인 전체 기능을 지원하고 있으나, 주된 단점은 정적 조합 기법으로써 서비스 선택 및 워크플로우 관리가 사전에 수동으로 이루어져야만 한다. 반면에, OWL-S 조합기법은 기계 가독형으로 웹 서비스 기능을 묘사할 수 있는 온톨로지를 사용함에 따라 호환 가능한 웹 서비스들 간의 동적 통합 및 웹 서비스 발견이 가능하나, 이러한 기법은 아직 연구 중에 있으며 실제 적용을 위해서는 BPEL의 상용기법이 요구된다. 따라서 본 연구에서는 BPEL4WS와 OWL-S 혼합 시스템인 SemanticBPEL의 구조를 설계하고, 웹 서비스 탐색 알고리즘을 제안한다. 그리고 SematicBPEL의 프로토타입 시스템을 실제 구현한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1255-1258
• /
• 2012

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 워크플로우에 따라 서비스가 설계되어 조합된다. 대표적인 웹서비스 명세언어인 BPEL의 검증방법에는 Petri nets, Abstract State Machine(ASM), BPE-Calculus 등이 존재한다. 하지만 기존의 방법은 설계와 검증이 분리되어 있어 일관성이 부족하고, 시각화 문제, 동일성, 시간에 대한 제약조건의 문제점이 존재한다. 이에 대한 해결방안으로 이동성, 재구성성, 동일성, 시간속성 등의 새로운 분석 방법을 제시하는 Onion 언어가 제안되었다. 본 논문은 BPEL로 명세된 서비스를 Onion 시스템에 적용시키기 위한, 변환 과정에 대해서 다룬다. 이에 대한 과정으로 BPEL의 액티비티를 Onion으로 변환하고, 워크플로우 패턴을 적용하여, 3 가지 패턴을 Onion OVL로 변환을 적용하였다. 이를 통하여 BPEL을 Onion OVL로 변환하는데 문제가 없음을 보였으며, 효율적인 표현이 가능함을 보였다. 추후 Onion 시스템의 컴포넌트로 적용하여, BPEL로 작성된 서비스를 Onion 시스템을 통해 분석/검증할 수 있다.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.265-272
• /
• 2007

In this paper, we implement an automated composition system of web services using hybrid techniques that merge the benefit of BPEL techniques, with the advantage of OWL-S, BPEL techniques have practical capabilities that fulfil the needs of the business environment such as fault handling and transaction management. However, the main shortcoming of these techniques is the static composition approach, where the service selection and flow management are done a priori and manually. In contrast, OWL-S techniques use ontologies to provide a mechanism to describe the web services functionality in machine-understandable form, making it possible to discover, and integrate web services automatically. This allows for the dynamic integration of compatible web services, possibly discovered at run time, into the composition schema. However, the development of these approaches is still in its infancy and has been largely detached from the BPEL composition effort. In this work, we describe the design of the SemanticBPEL architecture that is a hybrid system of BPEL4WS and OWL-S, and propose algorithms for web service search and integration. In particular, the SemanticBPEL has been implemented based on the open source tools. The proposed system is compared with existing BPEL systems by functional analysis. These comparisions show that our system outperforms existing systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.189-192
• /
• 2011

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 BPEL에 의해 여러 서비스들이 새로운 웹 서비스로 조합 되어지며, 서비스가 제대로 동작하는지를 검증하기 위해 Petri nets, Abstract State Machine(ASM), BPECalculus 등의 검증 방법을 사용한다. 이러한 검증 방법은 BPEL을 사용하여 새로 만들어진 웹 서비스들이 안정적으로 동작하는지를 검증하는 것으로, 웹 서비스 설계와 검증이 서로 분리되어 있다. 본 논문에서는 명세, 분석 및 검증의 전 과정에서 프로세스의 포함관계, 상태정보, Interaction, Mobility 등을 그래프로 표현하며, 한 단계의 그래프를 통하여 시스템 전체의 복잡도 및 시스템의 행위를 예측할 수 있는 Onion Visual Language(OVL)을 사용하여 BPEL로 설계 되는 클라우드 웹 서비스들을 OVL로 변환 후 이를 분석 및 검증한다. 추후 OVL은 서로 다른 클라우드 안에서의 웹 서비스 재사용을 위한 동일성 검증을 위한 방법으로 사용될 수 있다.