Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
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

5 Author(s)
Zhang Juan ; Sch. of Autom., Beijing Inst. of Technol., Beijing, China ; Ban Xiaojuan ; Lv Qiang ; Chen Jie
more authors

Architecture refinement has gradually became an important academic research field in modern software engineering since it was presented. Good architecture refinement ensures the integrity and consistency of software architecture, cuts down the cost and improves the quality of software. But the research of stepwise architecture refinement for software architecture is considered to be an underway stage due to the complexity of the conversion from the abstract to the specific architecture. This paper illustrates the features and usefulness of component-based refinement method and proposes a framework for novel architecture refinement approach. The work is based on the component of the architecture and on a series of formal languages for architecture refinement. Different levels of architecture have been formally refined from aspects of both structure and behavior, both static and dynamic. A simple example was illustrated to show the eminent feasibility and effectiveness of this approach with π-ARL.

Published in:

Control Conference (CCC), 2010 29th Chinese

Date of Conference:

29-31 July 2010