联盟规范系统及其规范能力极限
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金(60503021, 60721002, 60875038, 61105069)


On the Limitation of the Power of Coalitional Normative Systems
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL 的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS 进行形式化.为了刻画其规范能力的极限,确定了Co-ATL 的两个语言片段,分别对应于两类不可改变的系统属性.对NS 和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS 的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS 进行了扩展,提出了CNS-M.可以证明,关于CNS 能力极限的界定在该扩展下保持稳定.

    Abstract:

    Coalitional Normative System (CNS) is an extension of a Normative System (NS) by enabling selective constraining a coalition’s joint behavior. The study extends the semantics of ATL and proposes Coordinated ATL (Co-ATL) to support the formalizing of CNS. The paper classifies all the CNSs that control the same coalition into the same class and characterizes the power limitation of each such class by identifying two fragments of Co-ATL language corresponding to two types of system properties that are unchangeable. The relation between NS and CNS is discussed, and it turns out that by the result better characterize the power limitation of NS. Moreover, the study extends further the CNS by including a finite state machine encoding the execution history, and results show that the power limitation characterization for CNS is invariant under this extension.

    参考文献
    相似文献
    引证文献
引用本文

王崇骏,吴骏,张雷,谢俊元.联盟规范系统及其规范能力极限.软件学报,2012,23(7):1796-1804

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-08-06
  • 最后修改日期:2011-10-17
  • 录用日期:
  • 在线发布日期: 2012-07-03
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号