Abstract | ||
---|---|---|
A particular challenge which is critically important to thedevelopment and reusability of Web Service (WS) systemsis to have a precise understanding of the functionality ofthe service under consideration. Currently, this informationis not captured by the associated WS technologies.For instance, the WSDL description at best captures typeinformation associated with each operation provided by theWS but it does not specify its behavior. Without a preciseunderstanding of the functionality of a WS, we cannot havehigh confidence in reusability. In this paper, we present anabstract modelling framework specifically tailored for WS.The framework takes advantage of the characteristic behaviorof a WS as a system that repeatedly takes a request andproduces an appropriate response in order to simplify theabstraction. The approach uses two complementary models:one is state based, described in Z notation, and the otheris event-based, expressed in the Process Algebra of HoaresCommunicating Sequential Processes (CSP). The former willbe used to capture the state of the WS and to model backendoperations on it whereas the latter will be used tomodel behavior, and in particular, front-end interactions andcommunications. The abstraction makes a careful distinctionbetween operations offered by a WS, therefore appear inits WSDL description and interface, and those which areonly used through hidden interactions with other WSs and,therefore do not appear in its WSDL description. Themodelling is illustrated through the example of a CurrencyConversion system. The CSP descriptions are developed intoWSs implementations using current technologies such asSOAP under Java 2 Enterprise Edition (J2EE) and Microsoft.NET framework. Having abstract models for WSs can leadto a precise understanding of their functionalities and enableassurance in their reusability. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ICECCS.2009.38 | ICECCS |
Keywords | Field | DocType |
internet,algebra,software reliability,weather forecasting,process algebra,abstraction,java,simple object access protocol,soap,probability density function,csp,formal methods,software systems,software design,application software,unified modeling language,data mining,web services,xml | Z notation,Programming language,Software engineering,XML,Computer science,SOAP,Formal methods,Application software,Web service,Process calculus,Reusability | Conference |
Citations | PageRank | References |
1 | 0.36 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ali Nasrat Haidar | 1 | 71 | 6.03 |
Ali E. Abdallah | 2 | 123 | 22.10 |