计算机技术﹑电信技术 |
|
|
|
|
基于符号模型检验的可信跨域协作系统验证方法 |
胡斌1,李阳1,高济2 |
1.杭州师范大学 杭州国际服务工程学院,浙江 杭州 310036; 2.浙江大学 计算机科学与技术学院,浙江 杭州 310027 |
|
Symbolic model checking based verification method for trustworthy cross-organizational collaboration system |
HU Bin1,LI Yang1,GAO Ji2 |
1.Hangzhou Institute of Service Engineering, Hangzhou Normal University, Hangzhou 310036, China; 2.College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China |
[1] 高济, 吕何新, 郭航,等. 可信的自治式服务协调模型和应用开发框架[J]. 中国科学F辑: 信息科学, 2009, 39(11): 1146-1175. GAO Ji, LV Hexin, GUO Hang. Trusted autonomic service cooperation model and application development framework [J]. Science in China Series FInformation Sciences, 2009, 52(9): 1550-1577. [2] AGOTNES T, HOEK W V D, AGUILAR J A R, et al. On the logic of normative systems[C]∥ Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India :AAAI,2007, 1175-1180. [3] ARTIKIS A, SERGOT M, PITT J. Specifying NormGoverned Computational Societies[J]. ACM Transactions on Computational Logic, 2008, 10(1): 1529-3785. [4] GOVERNATORI G, ROTOLO A. BIO logical agents: Norms, beliefs, intentions in defeasible logic[J]. Autonomous Agents and MultiAgent Systems, 2008, 17(1): 36-69. [5] SHOHAM Y, TENNENHOLTZ M. On social laws for artificial agent societies: offline design[J]. Artificial Intelligence, 1995, 73(1): 231-252. [6] BOMAN M. Norms in artificial decision making[J]. Artificial Intelligence and Law, 1999, 7(1): 7-35. [7] KROENING D, STRICHMAN O. Decision procedures: an algorithmic point of view[M]. Heidelberg: Springer, 2008. [8] CLARKE E M, GRUMBERG O, PELED D A. Model checking [M]. London: The MIT Press, 1999. [9] HUTH M, RYAN M. Logic in computer science: modelling and reasoning about systems [M]. Cambridge: Cambridge University Press, 2004. [10] BRYANT R E. Symbolic Boolean manipulation with ordered binarydecision diagrams [J]. ACM Computing Survey, 1992, 24(3): 293-318. [11] TARSKI A. A latticetheoretical fixpoint theorem and its applications[J]. Pacific Journal of Mathematics, 1955, 5(2): 285-309. [12] 胡斌, 高济, 郭航. 规范多agent系统动态模型及其属性验证机制[J]. 浙江大学学报:工学版, 2009, 43 (6): 1014-1019,1167. HU Bin, GAO Ji, GUO Hang. Dynamic model of normative multiagent system and its property verification mechanism [J]. Journal of Zhejiang University :Engineering Science, 2009, 43(6): 1014-1019,1167. [13] BRYANT R E. GraphBased Algorithms for boolean function manipulation[J]. IEEE Transactions on Computers, 1986, 35(8):677-691. [14] BAIER C, KATOEN J P. Principles of model checking[M]. Cambridge, MA, USA:The MIT Press, 2008. [15] SALCEDA J V. The role of norms and electronic institutions in multiagent systems applied to complex domains. The HARMONIA framework[D]. Catalonia: Technical University of Catalonia,2003. [16] VIRGINIA D. A Model for organizational interaction: based on agents, founded in logic [D]. Utrecht, Netherlands:Utrecht University,2004. |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|