A Formal Description of Web Services Container Architecture

Liu, Jian; Ma, Dianfu; Li, Zhuqing; Sun, Dou

doi:10.1109/iciw.2009.13

Cited by 5 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The given predications explain how the filter operation gets the return values. More descriptions of the operation semantics can be found in [19].…”

Section: B Sodl Semanticsmentioning

confidence: 99%

FSM4WSR: A Formal Model for Verifiable Web Service Runtime

Zhao

et al. 2011

2011 IEEE Asia-Pacific Services Computing Conference

Self Cite

View full text Add to dashboard Cite

Web service runtime is an important infrastructure middleware for service-based applications. It processes exchanged messages according to web service protocols. Correct implementation of web service protocols is critical for ensuring the reliability of web service runtime. In this paper, we first introduce a Service-Oriented Description Language (SODL) to precisely and concisely describe message processing logics for web service protocol implementations. Then, we propose a formal model for verifiable web service runtime, named FSM4WSR, based on Estelle (an ISO formal description standard). FSM4WSR uses module and channel to capture the essential components of the runtime architecture. Furthermore, the internal behaviors in each module are formally described by using a combination of the extended finite-state machine and SODL. Based on FSM4WSR, we automatically generate the web service protocol implementations and construct a verifiable web service runtime system, named XServices SODLRuntime.

show abstract

“…The given predications explain how the filter operation gets the return values. More descriptions of the operation semantics can be found in [19].…”

Section: B Sodl Semanticsmentioning

confidence: 99%