服务体系结构的动态演化方法研究.pdfVIP

服务体系结构的动态演化方法研究 赵会群 孙晶 魏莹 王文文 北方工业大学 计算机科学与技术系, 北京 100144 摘要：针对服务动态演化基础理论研究薄弱问题，提出了一种基于服务体系结构代数模型的体系结构 动态演化方法。通过定义服务体系结构映射、体系结构同态与同构演化，明确了服务体系结构演化是一种 代数系统变换的范例，从而可以用代数学方法分析服务体系结构动态演化的基础性问题，如服务演化的封 闭性、相容性等；提出了两种动态演化模式，一个称为内部动态演化，另一个称为服务系统间的演化。案 例分析中结合物联网中事务处理要求，从服务体系结构演化角度解释了，如何用本文提出的方法解决实际 问题；通过LOTOS 工具集支持提出方法的有效性。 关键字：服务体系结构，动态演化，代数模型，物联网 中图法分类号：TP 311.5 A Methodological Study of Dynamic Evolution of Service Architecture Zhao Huiqun, Jing. Sun, Wang Wenwen, Wei Ying Department of Computer Science North China University of Technology Beijing, China 100144 Abstract: Facing on the challenge of lacking at basic theory study of service architecture evolution, a methodology that can support dynamic evolution management is proposed with respect to an algebra model of SOA. In this paper we infer and defines service evolution as a paradigm of algebra Homomorphic mapping that can facility to analyze the service architecture evolution using algebra method, for example the closure and the consistency of service evolution. In this way we develop two types different service architecture evolution, one is for reconfiguration of service composite inner a service system and the other is for collaboration composite between two service systems. In order to demonstrate its capability in designing a service architecture evolution, a case study combining with the transaction management in IoT(Internet of Things) is also introduced, we employ LOTOS as tool set to support its simulation. Key words: Architecture Evolution, Dynamic Evolution, Algebra Model, Internet of things. 1.引言  诱导服务（Induced Fault ）失效。这是一1 不断的变化和调整以满足公司业务需求是服 类由原发失效引起的故障，由于服务具 务计算的本质。然而，如果不能很好地把握变化和