Abstract State Machine Based System Design and Analysis for Grids

LIU Hui; LI Ming-lu

您当前的位置：

首页 >

文章列表页 >

Abstract State Machine Based System Design and Analysis for Grids

更新时间：2025-07-16

- Abstract State Machine Based System Design and Analysis for Grids
- Acta Electronica Sinica Vol. 31, Issue S1, Pages: 2096-2100(2003)
- 作者机构：
  
  上海交通大学计算机科学与工程系,上海,200030
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311TP393
- Published Online：25 December 2003，
  
  Published：2003
- 稿件说明：
移动端阅览
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：

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

Views

1020

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Soft Decoding Algorithm for Binary Arithmetic Codes

Software Complexity and Value of Test Cases Satisfied with Testing Criterion

Measuring the Importance of Classes Using UIO Sequence

Hardware Implementation of Line-scan Based Mask Verification Algorithm

Related Author

陆建华

谢廷俊

FONT

翾

LU Jian-hua

XIE Ting-jun

WANG Xuan

JIN Mao-zhong

Related Institution

Department of Electronic Engineering, Tsinghua University

School of Computer Science and Engineering of Beilmng University

Institute of Microelectronics,Tsinghua University

School of Computer Science and Technology, China University of Mining and Technology

School of Computer Science and Technology, Nantong University

⁰