| 术语 | 描述 |
|---|---|
| 形式化描述技术 Formal Description Techniques | 用于以数学或逻辑方式精确描述系统行为的技术,SDL是其中一种。 |
| 扩展有限状态机 Extended Finite State Machine | SDL中行为描述的基。ü⒔型ㄐ诺淖刺P。 |
| 上下文参数 Context Parameters | 用于在类型定义中参数化的形式参数,允许类型在不同上下文中使用,通过实际上下文参数进行替换。 |
| 抽象类型 Abstract Type | 其定义中包含'Abstract'关键字的类型,不能被实例化,通常用于定义基类或模板。 |
| 宏 Macro | 包含一组词汇单元的集合,在具体分析前通过宏调用替换为相应的宏扩展内容。 |
| 通用系统 Generic System | 一种可参数化的系统定义,允许通过上下文参数定义系统结构,以适应不同实例。 |
| 聚合 Aggregation | 将多个状态或部分组合成一个复合状态的结构机制,用于大型系统的结构化管理。 |
Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-09-18 14:25