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

摘要：

　　本文针对服务动态演化基础理论研究薄弱问题，提出了一种基于服务体系结构代数模型的体系结构动态演化方法。通过定义服务体系结构映射、体系结构同态与同构演化，明确了服务体系结构演化是一种代数系统变换的范例，从而可以用代数学方法分析服务体系结构动态演化的基础性问题，如服务演化的封闭性、相容性等；提出了两种动态演化模式，一个称为内部动态演化，另一个称为服务系统间的演化。案例分析中结合物联网中事务处理要求，从服务体系结构演化角度解释了，如何用本文提出的方法解决实际问题；通过LOTOS工具集支持提出方法的有效性。

关键词： 计算机网络 网络服务 软件开发 程序设计

作者: 赵会群 孙晶 魏莹 王文文

作者单位: 北方工业大学 计算机科学与技术系, 北京 100144

会议类型: 国内会议

会议名称: 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

会议地点: 济南

会议语种:中文

页码: 1-9

在线出版日期: 2011-08-18（万方平台首次上网日期，不代表论文的发表时间）