一种并发软件规约方法的构架  

A Framework for the Specification of Concurrent Systems

作　　者：刘剑[1] 李彤[1] 

机构地区：[1]云南大学计算机科学系,昆明650091

出　　处：《计算机科学》2000年第7期85-87,共3页Computer Science

基　　金：云南省自然科学基金(98F005G);云南省中青年科技带头人培养基金(1998-37)

摘　　要：1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共同特征,为这类系统提出了一种通用的体系结构,这一结构通常由模块。Framework has become popular as a vehicle for reuse of solutions in specific areas of application. In this paper, we extend the application of framework to express a class of dual specification methods for concurrent systems. A dual appplication uses graphical notation for the specification of behavior and a temporal logic to express formally, and reason about this behavior.

关 键 词：软件开发方法 并发软件规药 PETRI网 

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