Lightweight formal analysis of Web service flows
نویسندگان
چکیده
منابع مشابه
Lightweight formal analysis of Web service flows
BPEL (Business Process Execution Language) is proposed as a standard language to describe Web service fl ows. A fl ow may contain multiple activities that are executed concurrently, and thus removing faults such as deadlocks or violations of application-specifi c properties is not easy. This paper proposes techniques to extract a behavioral specifi cation from the BPEL program and to verity it ...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFormal Analysis of Web Service Compositions
One of the key ideas of Web service technology is the ability to create service compositions by combining pre-existing services using standard languages for the definition of the composition behavior. These compositions often span across the enterprise boundaries, involving various stakeholders with their own requirements and goals into the design process. The ability to detect requirements vio...
متن کاملOn Verifying Web Service Flows
This position paper discusses needs for verifying Web service flows. It then presents issues and an approach using software model-checking techniques to the subject matter. 1 Needs for Verification As Web service becomes pervasive, an end-user can use various services scatterd in a large open network (The Internet) [1][11]. The service needs to have well-defined descriptions on how the user acc...
متن کاملSemantic Web Service Automation with Lightweight Annotations?
Web services, both RESTful and WSDL-based, are an increasingly important part of the Web. With the application of semantic technologies, we can achieve automation of the use of those services. In this paper, we present WSMO-Lite and MicroWSMO, two related lightweight approaches to semantic Web service description, evolved from the WSMO framework. WSMO-Lite uses SAWSDL to annotate WSDL-based ser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Progress in Informatics
سال: 2005
ISSN: 1349-8614,1349-8606
DOI: 10.2201/niipi.2005.2.5