A Framework for the Wpecification of Concurrent Systems
一种并发软件规约方法的构架

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 application uses graphical notation for the specification of behavior and a temporal logic to express formally,and reason about this behavior.