论文部分内容阅读
在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.
Based on the expansion of the temporal logic language XYZ / E, the core concepts of service, composition service, service oriented architecture, system activity, correctness and security are formally defined. The whole Web Services Architecture The formalization of the description and implementation of the process of decomposition and the gradual refinement, pointed out that under the framework of the system, the system activity, correctness and security exist in the process of service refinement semantics can be combined with the characteristics , This combination of features has been proved under the state transition transition model of service, which provides a formal theoretical guidance for the mechanism of service composition and reuse.