摘要
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.
出处
《计算机科学》
CSCD
北大核心
2000年第7期85-87,共3页
Computer Science
基金
云南省自然科学基金(98F005G)
云南省中青年科技带头人培养基金(1998-37)
关键词
软件开发方法
并发软件规药
PETRI网
Framework, Concurrent system, Formal specification, Software development