Formalization Model for a Reuse Approach of Software Architecture

Xiao Jian Li; Ying Zheng

doi:10.4028/www.scientific.net/AMM.701-702.1071

Paper Titles

The Study of Personal Information Security Problems on the Age of Big Data
p.1054

Comparison and Analysis of DCO-OFDM, ACO-OFDM and ADO-OFDM in IM/DD Systems
p.1059

Localizing Jammer for Indoor Mobile Communication Networks
p.1063

Constructing a Web System Presentation Layer Framework Based on MDA
p.1067

Formalization Model for a Reuse Approach of Software Architecture
p.1071

The Implement of Java Calling C++ Program by JNI Technology
p.1077

Study of Communication Resource Management System Based on GIS
p.1081

Optimization and Simulation of Demodulation and Decoding of the LDPC-BICM-ID System
p.1088

Power Efficient Port Assignment for Connection Provision in IP-over-WDM Optical Networks
p.1093

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 701-702Formalization Model for a Reuse Approach of...

Formalization Model for a Reuse Approach of Software Architecture

Abstract:

Reuse of software architecture is a relatively difficult problem in the practice of software engineering realm. For solving the problem, this paper presents an approach which is based on architecture reflection. For the reflection mechanism, the main idea is separating system architecture into two levels – meta-level and base-level. And what’s more, this paper presents a formalization model for the approach by using Pi calculus.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 701-702)

Pages:

1071-1076

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.701-702.1071

Citation:

Cite this paper

Online since:

December 2014

Authors:

Xiao Jian Li*, Ying Zheng

Keywords:

Architecture Relection, Formalization, Pi Calculus, Reuse

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Ying Shi, Liang Zaoqing. A Reflection Mechanism for Reusing Software Architecture, in Proceedings of the Sixth International Conference on Quality Software, pages 235-242.

DOI: 10.1109/qsic.2006.5

Google Scholar

[2] Ying Shi, Li Xiaojian. reuse-oriented Software Architecture Design Based on Architectural Meta Model,. In Proceedings of the sixth International symposium on Distributed Computing and its Applications in Business, Engineering, and Sciences. Pages 408-411.

Google Scholar

[3] Li Xiaojian, Zheng Ying, Towards Compositional Reuse for Software Architecture, Advances in Intelligent and Soft Computing, v137, (2012).

DOI: 10.1007/978-3-642-27866-2_80

Google Scholar

[4] Ruiz-garcia J C, Thevenod-fosse P, Fare J C, A Strategy for Testing MetaObject Protocols in Reflective Architectures, ，2001 International Conference on Dependable Systems and Networks.

DOI: 10.1109/dsn.2001.941417

Google Scholar

[5] Juan Carlos Ruiz, Marc-Olivier Killijian, Reflective Fault Tolerant Systems from Experience to Challenges, IEEE TRANSACTIONS ON COMPUTERS, VOL. 52, NO. 2, FEBRUARY (2003).

DOI: 10.1109/tc.2003.1176989

Google Scholar

[6] Marc-Olivier Killijian and Jean Charles Fabre, Implementing a reflective fault-tolerance CORBA System, In Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, pages 154-163, Nuremberg, Germany, Oct.

DOI: 10.1109/reldi.2000.885403

Google Scholar