-
题名基于抽象状态机的网格系统设计和分析
被引量：4
- 1
-
-
作者
刘晖
李明禄
-
机构
上海交通大学计算机科学与工程系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2003年第z1期2096-2100,共5页
-
基金
国家重点基础研究发展规划 973(No .2 0 0 2CB31 2 0 0 2 )
上海市科委科技攻关重大项目 (No .0 3dz1 50 2 7)
上海市科委科技攻关重点项目(No .0 2 51 1 50 33)
-
文摘
基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述了网格高层次系统语义 ,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤 .
-
关键词
抽象状态机
抽象状态机语言
网格
软件测试
可执行规范
有限状态机
-
Keywords
ASM
AsmL
grids
software test
executable specification
finite state machine
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP393
[自动化与计算机技术—计算机科学与技术]
-
-
题名基于ASM的混合式情境感知共享机制研究
- 2
-
-
作者
蒋晶晶
叶剑
朱珍民
-
机构
湘潭大学信息工程学院
中国科学院计算技术研究所
-
出处
《计算机工程与科学》
CSCD
北大核心
2012年第6期50-58,共9页
-
基金
国家863计划资助项目(2009AA011902)
国家自然科学基金资助项目(61070109)
-
文摘
移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。
-
关键词
情境感知
P2P
抽象状态机
可执行规范
有限状态机
抽象状态机语言
-
Keywords
context-aware
peer-to-peer
abstract state machine
executable specification
finite statemachine
AsmL
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名可执行规范技术
- 3
-
-
作者
沈孝龙
龚世生
-
机构
汕头大学计算机系
-
出处
《计算机科学》
CSCD
北大核心
1998年第5期125-126,124,共3页
-
文摘
本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误,随着形式化规范研究的发展,它越来越受到重视。XYZ系统是唐稚松教授提出并领导实现的。该系统的核心是序列化时序逻辑语言(TTL XYZ/E语言),该语言能在同一框架之中表示动态语义(可执行命令)与静态语义(前后断言规范),并可混合在一程序中出现。用这种混合出现的程序,就能表示出由完全抽象的规范到可有效执行的程序之间平滑过渡的过程,实现该过程必然用到可执行规范技术。
-
关键词
可执行规范
动态语义
静态语义
软件工程
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名模型转换的重写逻辑构架研究
被引量：2
- 4
-
-
作者
尹剑飞
王学斌
-
机构
深圳大学信息工程学院
国防科学技术大学计算机学院网络与信息安全研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第2期14-16,19,共4页
-
基金
国家973重点基础研究发展规划资助项目(编号:G20000263)
-
文摘
规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通过产生式规范、多方法风格的重写规则集设计、OC(对象配置)和OM(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持。
-
关键词
模型转换
重写逻辑
可执行代数规范
模型驱动构架
-
Keywords
model transformation,rewriting logic,executable algebraic specification,MDA
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
