By Topic

A component-based method for software architecture refinement

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Bingzhi Gao ; Sch. of Inf. Eng., Univ. of Sci. & Technol. Beijing, Beijing, China ; Xiaojuan Ban ; Qiang Lv ; Xiaoli Li

As a formal method from abstraction to concretion, architecture refinement gradually becomes an important academic research field of modern software engineering since it was presented. Well architecture refinement not only could ensure the integrity and consistency of software architecture, but also could cut down the cost and improve the quality of software. But the research of stepwise architecture refinement for software architecture is considered to be an underway stage on the facts of the complexity of the conversion from the abstract to the specific architecture. The article illustrates the features and usefulness of component-based refinement method and proposes a novel architecture refinement approach framework. It is based on the component of the architecture and on a series of formal languages for architecture refinement. In this refinement steps, different levels of architecture has been formally refined from points of both structure and behavior, both static and dynamic. A simple example will be illustrated to show the eminent feasibility and effectiveness of this approach with Π-ARL (Architecture Refinement Language).

Note: This article was published by a graduate student without Xiaojuan Ban's permission  

Published in:

Intelligent Control and Information Processing (ICICIP), 2010 International Conference on

Date of Conference:

13-15 Aug. 2010