Abstract
The formalized definitions about service and service-oriented architecture were proposed on the basis of the temporal logical language XYZ/E. The whole web services architecture and the stepwise refinement process were formally described, where the web service architecture could be divided into four sub-processes to be concretely realized by stepwise refinement programming. In addition, the liveness and the security of system also had a semantic characteristic of composition during the process of service refinement under this architecture, which is described by XYZ/ADL language to provide a formalized foundation in theory for web service reusing and composition. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
Rao, Y. (2005). Temporal logical-based web services architecture description. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3795 LNCS, pp. 214–219). https://doi.org/10.1007/11590354_31
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
