为了适应面向 Agent技术的发展及其系统设计的需求 ,提出一种基于面向 Agent程序设计 ( AOP)风范的形式描述语言具有重要的理论指......

KADS被广泛认为是最优秀的知识工程建模方法之一。本文论述了KADS建模方法的主要特点、KADS建模的形式描述语言和KADS建模的实现环......

从面向构件方法学及软件体系结构的观点出发,致力于探讨观察者模式(Observer)的改进及其构架设计问题.分析现有Observer模式的原理......

1 引论传统需求工程方法应用于大型分布式系统的开发有一个严重问题:需求工程中的每一子过程里只能有一个全局规格.这一点与实际的......

通信协议是网络技术的核心。由于异质异构环境中网络协议固有的复杂性,因此需要研制一套建立在严格数学模型基础之上的协议开发方......

规范与描述语言(SDL:Specification and Description Language)是一种用来说明和描述系统的国际通用的标准化语言.它将简明的图形......

在RSL形式语言的基础上扩充了时间描述机制,使其能够描述协议的实时性;并且根据该语言的特点,提出了一种面向对象的FSM模型(OOFSM)......