基于抽象状态机的网格系统设计和分析

刘晖; 李明禄

首页> 中文期刊> 《电子学报》 >基于抽象状态机的网格系统设计和分析

基于抽象状态机的网格系统设计和分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于可执行规范的实现-测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期.其理论基础是抽象状态机ASM,实现工具是支持.NET的AsmL.本文首先介绍了基于可执行规范的实现-测试同步开发模式、ASM起源和定义,然后采用ASM描述了网格高层次系统语义,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤.本文认为基于ASM的网格系统设计和分析值得学术界和工业界的共同关注.

著录项

来源
《电子学报》 |2003年第z1期|2096-2100|共5页
作者
刘晖; 李明禄;
展开▼
作者单位

上海交通大学计算机科学与工程系,上海,200030;

上海交通大学计算机科学与工程系,上海,200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;计算机网络;
关键词
抽象状态机; 抽象状态机语言; 网格; 软件测试; 可执行规范; 有限状态机;

相似文献

中文文献
外文文献
专利

1. 基于抽象状态机的网格系统设计和分析 [J] . 刘晖 ,李明禄 . 电子学报 . 2004,第B12期
2. 基于抽象状态机的普适服务组合分析与验证 [J] . 易良辰 ,黄林鹏 . 微电子学与计算机 . 2013,第3期
3. 基于时间抽象状态机的AADL模型验证∗ [J] . 杨志斌 ,胡凯 ,赵永望 . 软件学报 . 2015,第002期
4. 基于状态机的充电桩控制系统设计 [J] . 肖连军 ,张鸿恺 . 鸡西大学学报 . 2021,第005期
5. 基于状态机的充电桩控制系统设计 [J] . 肖连军 ,张鸿恺 . 黑龙江工业学院学报：综合版 . 2021,第005期
6. 基于抽象状态机的网格系统设计和分析 [C] . 刘晖 ,李明禄 . 2003'全国软件与应用学术会议 . 2003
7. 普适环境下基于抽象状态机的服务组合的分析与验证 [A] . 易良辰 . 2012

基于抽象状态机的网格系统设计和分析

摘要

著录项

相似文献

相关主题

期刊订阅