论文部分内容阅读
提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法，可以定义并行成分一进程，可以使用前后断言来表达用户的功能需求，允许将非形式化和半形式化的需求定义嵌入形式化的需求定义中。因此，ＯＯＲＳＬ语言是一个半形式化的语言，它为网络并行环境下的软件自动化和软件形式化开发提供了支持。介绍了ＯＯＲＳＬ的设计思想和主要语法成分，给出了一个实例。
Proposed a requirement-oriented language OORSL for network parallel environment. OORSL supports object-oriented analysis methods that define parallel component-processes that can be expressed in terms of functional requirements before and after the assertion, allowing informal and semi-formal requirements definitions to be embedded in formal requirements definitions. Therefore, OORSL language is a semi-formal language, which supports software automation and formal development of software under network parallel environment. Introduced OORSL design ideas and the main grammatical components, gives an example.