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

A Framework for the Specification of Concurrent Systems

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.