Temporal Logical-Based Web Services Architecture Description

摘要

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.