首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 SAE AS5506/3
到馆提醒
收藏跟踪
购买正版
Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex 架构分析与设计语言(AADL)附录D:行为模型附录
发布日期: 2017-08-22
本行为附录提供了一个标准子语言扩展,允许将行为规范附加到AADL组件。行为附件的目的是细化语言核心指定的隐式行为规范。行为附件针对以下目标:-将组件实现的内部行为描述为一个具有保护和操作的状态转换系统。然而,目的不是取代软件编程语言或表达复杂的子程序计算。-扩展标准核心指定的默认运行时执行语义,例如线程调度协议。-为客户机-服务器体系结构提供更精确的子程序调用同步协议。
This Behavior Annex provides a standard sublanguage extension to allow behavior specifications to be attached to AADL components. The aim of the Behavior Annex is to refine the implicit behavior specifications that are specified by the core of the language. The Behavior Annex targets the following goals:- Describe the internal behavior of component implementations as a state transition system with guards and actions. However, the aim is not to replace software programming languages or to express complex subprogram computations.- Extend the default run-time execution semantics that is specified by the core of the standard, such as thread dispatch protocols.- Provide more precise subprogram calls synchronization protocols for client-server architectures.
分类信息
关联关系
研制信息
相似标准/计划/法规