摘要
Lotos规范风格在系统规范描述中可以体现系统模型的结构性。在已存在的4种Lotos规范风格中,引入了宏的思 想,构思了一种新的Lotos描述风格,即面向宏的规范风格,并分析了基于此风格的规范进程设计方法,以及将此进程应 用于系统实现的方法。该风格适合于描述分层的、内部模型具有相似结构的分布式系统。
The structure of a system model can be presented by lotos specification styles in the describing specification. A new lotos specification style named macro-oriented style is conceived by introducing the idea of macro in four specification styles available, and then with the style, how to specify specification process is illuminated, and how to apply the process to the system implementation is also described. The style is found out for describing distributed systems which are layered and have similar structures.
出处
《计算机工程与设计》
CSCD
北大核心
2005年第1期47-49,共3页
Computer Engineering and Design
基金
甘肃省自然科学基金项目(32204)。
关键词
LOTOS
规范风格
结构模型
协议
宏
Lotos
specification style
structure model
protocol
macro
