Model-Checking Behavioral Specification of BPEL Applications
نویسندگان
چکیده
منابع مشابه
Model-Checking Behavioral Specification of BPEL Applications
To provide a framework to compose lots of specialised services flexibly, BPEL is proposed to describe Web service flows. Since the Web service flow description is basically a distributed collaboration, writing correct programs in BPEL is not easy. Verifying BPEL program prior to its execution is essential. This paper proposes a method to extract the behavioral specification from a BPEL appliati...
متن کاملModel Checking Behavioral Specification of BPEL Web Services
BPEL is a business flow language which describes the composition of web services. Since business flow may be very complex, the method of formalized analysis can help ensure the accuracy of work flow. For web services described by BPEL, in this paper we establish a formalized analysis model, provide specifications and semantics of business flow, and finally translate it into the asynchronous com...
متن کاملTesting Conformance of BPEL Business Process Based on Model Checking
Formalized analysis method is a technology that insures quality of software reliability. It can detect mistakes and flaws effectively in software design. Based on the research of model checking techniques for composition of web services, we establish an automatic test framework for web services composition of BPEL. Static test method is used and test cases are generated automatically in this fr...
متن کاملAnalyzing Orchestration of BPEL Specified Services with Model Checking
This project investigates, implements and evaluates tool support for analysis of SOA-Based service contracts using Model Checking. The specification language for the contract is Business Process Execution Language (BPEL). It captures the behavior of services and allows developers to compose services without dependence on any particular implementation technology. A behavior specification is extr...
متن کاملStructured English for Model Checking Specification
Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e., formulation and understanding of specifica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.07.038