LOTOS渐进细化设计方法在互斥访问系统中的应用  

Application of step-wise refinement design to mutual exclusion access system based on LOTOS

作　　者：王继曾[1] 姜春艳[1] 苗志锋[1] 

机构地区：[1]兰州理工大学计算机与通信学院,甘肃兰州730050

出　　处：《计算机工程与设计》2006年第14期2551-2554,共4页Computer Engineering and Design

基　　金：甘肃省自然科学基金资助项目(32204);校科研发展基金资助项目(32204)

摘　　要：在复杂系统的设计流程中,每个设计阶段都要制定标准的设计方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来。提出了渐进细化的概念,并将其应用于互斥访问系统中,同时用LOTOS规范进行描述。In the design trajectory of a complicated system, to derive implementation it is neccessary to take normal design decions at each design step. The approach to design in which design decisions are evaluated and taken in isolation, which is called step-wise refinement. The step-wise refinement concept is presented and a mutual exclusion access system in LOTOS Specification is described.

关 键 词：LOTOS 渐进细化 形式描述 设计流程 互斥访问 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]