Towards formalizing web service composition in maude’s strategy language

Simple item page
dc.contributor.authorMerouani, Hamza
dc.contributor.authorMokhati, Farid
dc.contributor.authorSeridi-Bouchelaghem, Hassina
dc.date.accessioned2022-04-27T04:31:24Z
dc.date.available2022-04-27T04:31:24Z
dc.date.issued2010
dc.description.abstractWS.BPEL 2.0 (Web Services Business Process Execution Language) commonly known as BPEL for short, is currently the de-facto standard language to represent the behavior of web services composition. It offers the possibility to specify the behavior of business processes in two ways: executable and abstract business processes. An abstract business process defines a business protocol that describes the ordering of messages to be sent and received to or from a web service. An executable process, which is the focus of this paper, defines the execution order of a set of activities, the partners involved in the process, the messages and the events exchanged between partners. BPEL suffers, in fact, from a lack of standard formal semantics. This weakness can lead to inconsistencies, ambiguities, and incompleteness within the developed models. We present, in this paper, a novel approach for formalizing web service composition as an executable formal specification described in the Maude language Strategy, a recent extension of Maude. The formalization process is accomplished in two steps: (1) translating the BPEL description in an extension of UML 2.0 called UML-S “UML for Services” and (2) translating the UML-S graphical description generated to Maude’s strategy language.ar
dc.identifier.urihttp://hdl.handle.net/123456789/12992
dc.language.isoenar
dc.subjectWeb service compositionar
dc.subjectFormal semanticar
dc.subjectMaude strategy languagear
dc.titleTowards formalizing web service composition in maude’s strategy languagear
dc.typeArticlear
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Towards-Formalizing-Web-Service-Composition-in-Maude-s-Strategy-Language.pdf
Size:
296.61 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
مقـــــــــالات 2000-2010