A Component-Based Method for Software Architecture Refinement

被引：0

作者：

ZHANG Juan,BAN Xiaojuan,LV Qiang,CHEN Jie,WU Di , .School of Automation,Beijing Institute of Technology,Beijing ,P.R.China.School of Information Engineering,University of Science and Technology,Beijing ,P.R.China ^{[1
]}

机构：

关键词：

Software Architecture Refinement,Component-Based Method,π-ARL Architecture Refinement Language;

会议名称：

第二十九届中国控制会议

会议时间：

2010-07-01

会议地点：

中国北京

中图分类号：

TP311.5 [软件工程]

学科分类号：

081202 0835

类型：

摘要：

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.

引用

页码：4326 / 4331

页数：6

共 50 条

[1] Research on the Component-based Software Architecture [C].

CHEN Hai-shan (School of Computer and Information Engineering, Xiamen University, Xiamen , China) .

第十届国际制造工程与管理会议

,1600

[2] A Consistency Verification Method with Semantics for Component-Based Software Designs [C].

Xue Li ;

Jiagang Zhu .

2016 IEEE 7th International Conference on Software Engineering and Service Science

,2016

[3] Architecture Research of component-based middleware platform [C].

Ming Hu Hongmei Wang Yingying Wang Zhen Yuan College of Computer Science and Engineering Changchun University of Technology Changchun,China .

2011 World Congress on Engineering and Technology(CET 2011)

,1600

[4] Feasibility Analysis for the Component-based Software Evolution [C].

Wang Wei a ,Li Tong a a Software School,Yunnan University,Kunming,Yunnan,P.R.China . .

2010 International Conference on Display and Photonics

,1600

[5] Research on Reliability Analysis of Component-Based Software [C].

Wenna Ren ;

Baolong Guo .

2018 2nd International Conference on Electrical Engineering and Automation（ICEEA2018）

,2018

[6] Taxonomy of Runtime Modification in Component-Based Software Systems [C].

Saleh Alhazbi .

2010 3rd IEEE International Conference on Computer Science and Information Technology—ICCSIT 2010

,2010

[7] Hierarchy Modeling for Component-based Complex Control Software [C].

Zhang Jing,Zhang Yunsheng,Xiang Fenghong College of Information Engineering and Automation,Kunming University of Science and Technology,Kunming P.R.China .

第二十六届中国控制会议

,2007

[8] Component-Based Software System Reliability Allocation and Assessment Based on ANP and Petri [C].

Qingquan Li,Hongwei Yang,Huankun Wang Department of Technical Support Engineering Academy of Armored Force Engineering Beijing,P.R.China .

2012年质量，可靠性，风险，维修性及安全性工程国际学术会议

,2012

[9] Design and Implementation of Real-time Database in Component-based Configuration Software [C].

Yu Hu Measuring and Controlling Technology Institute Taiyuan University of Technology Taiyuan,ChinaLi-hong Zhou College of Computer and Software Taiyuan University of Technology Taiyuan,China .

2008 IEEE International Symposium on Knowledge Acquisition and Modeling Workshop(KAM 2008)

,2008

[10] Research on the Component-based Design Method of the Ground Measurement and Control System [C].

Wei-dong MA ;

Zhi-ying WANG .

2017 2nd International Conference on Test, Measurement and Computational Method(TMCM 2017)

,2017

← 1 2 3 4 5 →