Research on Interactive Action Refinement of Software Architecture
doi: 10.3969/j.issn.1001-0548.2013.01.028
- Received Date: 2011-07-22
- Rev Recd Date: 2012-03-06
- Publish Date: 2013-02-15
-
Key words:
- πcalculus /
- architecture refinement /
- interactive action /
- software architecture
Abstract: Refinement of software architecture deals with mapping and transformation between architectural models at different abstraction levels. This paper reviews current researches on software architecture refinement, analyzes their inadequacies, and then proposes a new concept of interactive action refinement of software architecture based on πADL architecture description language, defines the formal specification method and principles of interactive action refinement, develops a refinement reasoning algorithm, which can preserve the higher-level architectural behavior properties across refinement hierarchies and generates lower-level architectures automatically. Interactive action refinement can effectively eliminate the mismatches of abstraction levels between components and their interactive actions that occur in the architectural refinement process. A case study shows the validity of the proposed method.
Citation: | REN Hong-min, LIU Jin. Research on Interactive Action Refinement of Software Architecture[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(1): 137-143. doi: 10.3969/j.issn.1001-0548.2013.01.028 |