TY - GEN
T1 - Temporal logical-based web services architecture description
AU - Rao, Yuan
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/33646848380
U2 - 10.1007/11590354_31
DO - 10.1007/11590354_31
M3 - 会议稿件
AN - SCOPUS:33646848380
SN - 3540305106
SN - 9783540305101
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 214
EP - 219
BT - Grid and Cooperative Computing - GCC 2005 - 4th International Conference, Proceedings
T2 - 4th International Conference on Grid and Cooperative Computing - GCC 2005
Y2 - 30 November 2005 through 3 December 2005
ER -