首页 | 本学科首页   官方微博 | 高级检索  
     

一种接口自动机的组合精化检验方法
引用本文:文艳军,王戟,齐治昌.一种接口自动机的组合精化检验方法[J].计算机工程与科学,2006,28(4):115-118.
作者姓名:文艳军  王戟  齐治昌
作者单位:国防科技大学计算机学院,湖南,长沙,410073
基金项目:中国科学院资助项目;国家科技攻关项目
摘    要:接口自动机是一个用来描述软构件接口的时态行为的形式模型,传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实际应用受到较大限制。本文提出了一种对该规则的改进方法,以弥补上述缺陷。

关 键 词:接口自动机  精化检验  组合可达性分析  状态空间爆炸问题
文章编号:1007-130X(2006)04-0115-04
修稿时间:2004年6月18日

An Approach to the Compositional Refinement Checking of Interface Automata
WEN Yan-jun,WANG Ji,QI Zhi-chang.An Approach to the Compositional Refinement Checking of Interface Automata[J].Computer Engineering & Science,2006,28(4):115-118.
Authors:WEN Yan-jun  WANG Ji  QI Zhi-chang
Abstract:Interface automaton is a formalism that captures the temporal aspects of software component interfaces. The use of the traditional simple compositional rule is limited greatly because no consideration is made for the effect of the environment on the subtasks. In this paper, a revision to the traditional compositional rule is presented.
Keywords:interface automata  refinement checking  compositional reachability analysis (CRA)  state-explosion problem
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与科学》浏览原始摘要信息
点击此处可从《计算机工程与科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号