点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：CLOUD COMPUTING AND SECURITY, PT II

关键字：AADL Component-interaction automata Z language Model transformation

摘要：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.

ISSN号：0302-9743

是否译文：否

发表时间：2017-01-01

合写作者：Zhang, Fugao

通讯作者：曹子宁