Name
Abstract | ||
|---|---|---|
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 SODL Runtime. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1109/APSCC.2011.16 | APSCC |
Keywords | Field | DocType |
finite state machines,finite-state machine,service-based applications,web services,specification languages,estelle,infrastructure middleware,verification,xservices sodlruntime,message exchange,verifiable web service runtime system,soc,service-oriented architecture,web service protocol,message processing logics,protocol implementation,web service runtime,fsm4wsr,service-oriented description language,middleware,runtime architecture,formal verification,formal model,quality of service,semantics,web service,extended finite state machine,protocols,simple object access protocol,xml,service oriented architecture | Middleware,Programming language,Computer science,Quality of service,Runtime verification,SOAP,Web modeling,Web service,Service-oriented architecture,Distributed computing,Runtime system | Conference |
Volume | Issue | ISBN |
null | null | 978-1-4673-0206-7 |
Citations | PageRank | References |
1 | 0.35 | 12 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Zhuqing Li | 1 | 21 | 5.10 |
| Dianfu Ma | 2 | 181 | 30.51 |
| Yongwang Zhao | 3 | 92 | 25.04 |
| Jing Li | 4 | 52 | 43.73 |
| Qing Yang | 5 | 305 | 32.07 |