Toward an Architecture Description Language for Dependability of Internet-Scaled Software Entities

G. N. Si†§*, L. Y. Yuan‡, & J. Xu‡

School of Information Science and Electrical Engineering, Shandong Jiaotong University, Jinan, 250357, China,
College of Computer and Control Engineering, Nankai University, Tianjin, 300071, China
§Shandong Provincial Key Laboratory of Software Engineering, Jinan, 250014, China

Cite this paper
G. N. Si†§*, L. Y. Yuan‡, & J. Xu‡, “Toward an Architecture Description Language for Dependability of Internet-Scaled Software Entities”, Journal of Mechanical Engineering Research and Developments, vol. 39, no. 2, pp. 529-535, 2016. DOI: 10.7508/jmerd.2016.02.032

ABSTRACT: Architecture Description Language (ADL) provides a conceptual framework for specific syntax and portray architecture allows the system developer can describe the architecture of their design, and the ability to use the tools provided many examples for analysis. ADL existing design problem solving systems, components or systems only consider reuse, and dependability among internal changes did not take into account the network configuration software system to protect the dependability of the various components and entities in the entity evolution of trust issues. Based on the analysis of network configuration software system architecture, based on the design of a formal description language entity credible case EDSADL, in order to describe the interactions between the entity and its internal components dependability of these changes on the real cause of the services provided affected.

Keywords : ADL; Description of dependability; Internet-Scaled software.


[1] Vestal S. A cursory overview and comparison of four architecture description languages. Technical Report, Honeywell Technology Center, 1993
[2] Clements P C, A survey of architecture description language, In: Proceeding of the 8th International Workshop on Software Specification and Design, 1996
[3] Medvidovic N, Taylor R N, A classification and comparison framework for software architecture description language, IEEE Transactions On Software Engineering, 2002, 26(1), 70~93
[4] ZHU Xue-Yang, TANG Zhi-Song. A Temporal Logic-Based Software Architecture Description Language XYZ/ADL. Journal of Software, 2003, 14(4): 714~720
[5] Mei H, Chen F, Wang Q X, et al. ABC/ADL: An ADL Supporting Component Composition. LNCS 2495, Springer-Verlag, 2002: 38~47
[6] Garlan D, Monroe R T, Acme: Architectural Description of Component-Based System, In: Proceedings of CASCON ’97, 1997
[7] World Wide Web Consortium. REC-xml-20081126. Extensible markup language (XML) 1.0 (fifth edition). Availiable at:, 2008
[8] World Wide Web Consortium. REC-xmlschema-0-20041028. Availiable at: REC-xmlschema-0-20041028/, 2004
[9] Avgustinov P, Tibble J, Bodden E, et al. Aspect for Trace Monitoring.Formal Approaches to Testing Systems and Runtime Verification, Seattle, WA, USA, 2006, 20~39
[10] WEN Jing, WANG Huai Min, YING Shi, et al. Toward a Software Architectural Design Approach for Trusted Software Based on Monitoring. Chinese Journal Of Computers, 2010, 33(12): 2321~2334
[11] Mui L. Computational models of trust and reputation: agents, evolutionary games, and social Networks: [Ph D dissertation]. Combridge: Massachusetts Institute of Technology, 2003