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

刘晖; 李明禄

您当前的位置：

首页 >

文章列表页 >

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

信息处理技术 | 更新时间：2025-07-16

- 基于抽象状态机的网格系统设计和分析
- Abstract State Machine Based System Design and Analysis for Grids
- 电子学报 2003年31卷第S1期页码：2096-2100
- 作者机构：
  
  上海交通大学计算机科学与工程系,上海,200030
- 作者简介：
- 基金信息：
  
  国家重点基础研究发展规划973 (No.2002CB312002);上海市科委科技攻关重大项目 (No.03dz15027);上海市科委科技攻关重点项目 (No.025115033)
- DOI：
  中图分类号： TP311TP393
- 网络出版：2003-12-25，
  
  纸质出版：2003
- 稿件说明：
移动端阅览
刘晖, 李明禄. 基于抽象状态机的网格系统设计和分析[J]. 电子学报, 2003,31(S1):2096-2100.

LIU Hui, LI Ming-lu. Abstract State Machine Based System Design and Analysis for Grids[J]. Acta Electronica Sinica, 2003, 31(S1): 2096-2100.
刘晖, 李明禄. 基于抽象状态机的网格系统设计和分析[J]. 电子学报, 2003,31(S1):2096-2100. DOI：

LIU Hui, LI Ming-lu. Abstract State Machine Based System Design and Analysis for Grids[J]. Acta Electronica Sinica, 2003, 31(S1): 2096-2100. DOI：

摘要

基于可执行规范的实现测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期.其理论基础是抽象状态机ASM

实现工具是支持.NET的AsmL.本文首先介绍了基于可执行规范的实现测试同步开发模式、ASM起源和定义

然后采用ASM描述了网格高层次系统语义

并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤.本文认为基于ASM的网格系统设计和分析值得学术界和工业界的共同关注.

Abstract

Synchronizing software implementation and test with executable specifications could find flaws as early as they occurred in each development stages.The mathematical foundation of this paradigm is that abstract state machine (ASM) and its testing tools are AsmL for.NET.After introducing of the paradigm based on executable specifications and the definitions of ASM

a high level semantic model for grids written in ASM is presented.In order to show the complete processes of analyzing and testing software design with ASM

using AsmL to produce finite state machines for software model of resources mapping and resources request is also illustrated.This paper argues that AMS based system design and analysis for grids deserves attentions from both computer academy and computer industries.

关键词

Keywords

references

浏览量

1020

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种二进制算术码的软解码算法

软件复杂性与测试用例集价值

基于UIO序列的类重要性度量

基于线扫描的VLSI版图几何验证核心算法的固化