面向服务的可信软件体系结构代数模型-计算机学报.PDF

第卷第期 计 算 机 学 报 ３３ ５ 　 　　　　　　　　 Ｖｏｌ．３３Ｎｏ．５ 年月 ２０１０５ Ｍａ２０１０ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 面向服务的可信软件体系结构代数模型 赵会群 孙晶 　　　 （北方工业大学计算机系北京 ） １００１４４ 　 　 摘要针对面向服务体系结构（ ， ）在形式化和可信属性建模方面的不足，用代 ＳｅｒｖｉｃｅＯｒｉｅｎｔｅｄＡｒｃｈｉｔｅｃｔｕｒｅＳＯＡ 　　 、 ， “ ” ， 数学方法对服务服务组合以及服务体系结构的属性和行为特征进行抽象把服务组合解释成组件运算实现并 结合进程代数中算子概念，定义了多种服务组合运算，从而建立 的代数模型在代数模型基础上，进一步对 ＳＯＡ ． ， ， 可信属性建模提出多种 可信范式为可信 软件设计提供理论支持最后介绍了一个应用案例 ＳＯＡ ＳＯＡ ＳＯＡ ． ． 关键词 ； ； ； ； 服务服务组合服务体系结构抽象代数进程代数 　 中图法分类号 号： ／ ＴＰ３１１ 犇犗犐１０．３７２４ＳＰ．Ｊ．１０１６．２０１０．００８９０ 　　　 犃狀犃犾犲犫狉犪犻犮犕狅犱犲犾狅犳犛犲狉狏犻犮犲犗狉犻犲狀狋犲犱犜狉狌狊狋狑狅狉狋犺犛狅犳狋狑犪狉犲犃狉犮犺犻狋犲犮狋狌狉犲 犵 狔 ＺＨＡＯＨｕｉＱｕｎＳＵＮＪｉｎ 　 ｇ （ ， ， ） 犇犲犪狉狋犿犲狀狋狅犆狅犿狌狋犲狉犛犮犻犲狀犮犲犖狅狉狋犺犆犺犻狀犪犝狀犻狏犲狉狊犻狋狅犜犲犮犺狀狅犾狅犅犲犻犻狀１００１４４ 　 狆 犳 狆 狔犳 犵狔 犼犵 犃犫狊狋狉犪犮狋Ｔｈｉｓａｅｒｆｏｃｕｓｅｓｏｎｔｈｅｌａｃｋｓａｔｍｅｔｈｏｄｏｌｏｏｆｄｅｓｃｒｉｂｉｎｆｏｒｍａｌｍｏｄｅｌａｎｄｔｒｕｓｔ 　 ｐｐ ｇｙ ｇ （