• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Cloud Computing and Security >The Formal Transformation of AADL Based on Z-CoIA
【24h】

The Formal Transformation of AADL Based on Z-CoIA

机译：基于Z-CoIA的AADL的形式转换

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Architecture Analysis and Design Language (AADL) is a component-based semi-formal language. This paper proposes an expanded component-interaction automaton with Z language (Z-CoIA) based on the characteristics of AADL, introducing the formal specification Language Z into the component-interaction automata, then the formal transformation rules from AADL to the Z-CoIA is given, which is good for describing the data during system interaction and the attributes in state transitions and data constraints. Finally, a concrete example is shown.
机译：体系结构分析和设计语言（AADL）是基于组件的半正式语言。根据AADL的特点，提出了一种用Z语言扩展的组件交互自动机（Z-CoIA），将形式规范语言Z引入了组件交互自动机，从而形成了从AADL到Z-CoIA的形式转换规则。给出，这对于描述系统交互过程中的数据以及状态转换和数据约束中的属性非常有用。最后，显示了一个具体示例。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号