%0 Journal Article
%T 联盟规范系统及其规范能力极限
%A 王崇骏？
%A 吴骏？
%A 张雷？
%A 谢俊元？
%J 软件学报
%P 1796-1804
%D 2012
%R 10.3724/SP.J.1001.2012.04135
%X 联盟规范系统(coalitionalnormativesystem,简称cns)通过选择性地限制联盟的联合行动来对规范系统(normativesystem,简称ns)进行扩展.扩展了atl的语义,提出了coordinate-atl(co-atl),用于对cns进行形式化.为了刻画其规范能力的极限,确定了co-atl的两个语言片段,分别对应于两类不可改变的系统属性.对ns和cns之间的关系进行了讨论,表明所得到的结果可以更好地界定ns的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对cns进行了扩展,提出了cns-m.可以证明,关于cns能力极限的界定在该扩展下保持稳定.
%K 规范系统
%K 交互时态逻辑
%K 联盟
%K 并发博弈结构
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4135&flag=1