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

Abstract State Machine Based System Design and Analysis for Grids

作　　者：刘晖[1] 李明禄[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《电子学报》2003年第z1期2096-2100,共5页Acta Electronica Sinica

基　　金：国家重点基础研究发展规划 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生成有限状态机分析模型语义的方法步骤 .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.

关 键 词：抽象状态机 抽象状态机语言 网格 软件测试 可执行规范 有限状态机 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]