Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Title of Paper:The Formal Transformation of AADL Based on Z-CoIA

Journal:CLOUD COMPUTING AND SECURITY, PT II

Key Words:AADL Component-interaction automata Z language Model transformation

Abstract: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 No.:0302-9743

Translation or Not:no

Date of Publication:2017-01-01

Co-author:Zhang, Fugao

Correspondence Author:Cao Zi Ning