article

xBreeze/ADL: A language for software architecture specification and analysis

Authors:

Wei ZhuAuthors Info & Claims

International Journal of Automation and Computing, Volume 13, Issue 6

Pages 552 - 564

https://doi.org/10.1007/s11633-016-1028-9

Published: 01 December 2016 Publication History

Abstract

Architecture description languages play an important role in modelling software architectures. However, many architecture description languages (ADLs) are either unable to deal with the verification and dynamic changes directly or too formal to be understood and manipulated. This paper presents xBreeze/ADL, a novel extensible markup language (XML)-based verification and evolution supported architecture description language, which is specifically designed for modelling the software architecture of large, complex systems. Five principle design goals are 1) to separate template from instance to define a loose coupling structure, 2) to present virtual and concrete link to identify service execution flow, 3) to clearly represent component behaviour to specify architecture semantics, 4) to introduce multi-dimension restrictions to define the architecture constraints, and 5) to use the graph transformation theory to implement the architecture configuration management (i.e., reconfiguration and verification). Various advanced features of xBreeze/ADL are illustrated by using an example on online movie ticket booking system.

References

[1]

C. Li, L. P. Huang, L. X. Chen, C. Y. Yu. Breeze/ADL: Graph grammar support for an XML-based software architecture description language. In Proceedings of the 37th IEEE Computer Software and Applications Conference, IEEE, Kyoto, Japan, pp. 800-805, 2013.

Digital Library

[2]

C. Li, L. P. Huang, L. X. Chen, C. Y. Yu. BGG: A graph grammar approach for software architecture verification and reconfiguration. In Proceedings of the 7th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IEEE, Taichung, Taiwan, China, pp. 291-298, 2013.

Digital Library

[3]

R. Allen, D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, vol. 6, no. 3, pp. 213-249, 1997.

Digital Library

[4]

R. Allen, R. Douence, D. Garlan. Specifying and analyzing dynamic software architectures. In Proceedings of the First International Conference on Fundamental Approaches to Software Engineering, Springer, Lisbon, Portugal, vol. 1382, pp. 21-37, 1998.

[5]

D. Garlan. An Introduction to the Aesop System, [Online], Available: http://www.cs.cmu.edu/afs/cs/project/able/www/aesop/html/aesopoverview.ps, May 10, 2015.

[6]

A. Terry, R. London, G. Papanagopoulos, M. Devito. The ARDEC/Teknowledge Architecture Description Language (ArTek), Version 4.0, Technical Report, Teknowledge Federal System and U. S. Army Armament Research, Development and Engneer. Centery, USA, 1995.

[7]

N. Medvidovic, P. Oreizy, J. E. Robbins, R. N. Taylor. Using object-oriented typing to support architectural design in the C2 style. ACM SIGSOFT Software Engineering Notes, vol. 21, no. 6, pp. 24-32, 1996.

Digital Library

[8]

P. Binns, M. Englehart, M. Jackson, S. Vestal. Domain-specific software architectures for guidance, navigation and control. International Journal of Software Engineering and Knowledge Engineering, vol. 6, no. 2, pp. 201-227, 1996.

[9]

W. Tracz. LILEANNA: A parameterized programming language. In Proceedings of IEEE 2nd International Workshop on Software Reusability, IEEE, Lucca, Italy, pp. 66-78, 1993.

[10]

M. Moriconi, R. A. Riemenschneider. Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies, Technical Report SRI-CSL-97-01, SRI International, USA, 1997.

[11]

M. M. Gorlick, R. R. Razouk. Using weaves for software construction and analysis. In Proceedings of IEEE 13th International Conference on Software Engineering, IEEE, Austin, USA, pp. 23-34, 1991.

Digital Library

[12]

J. Magee, N. Dulay, S. Eisenbach, J. Kramer. Specifying distributed software architectures. In Proceedings of the 5th European Software Engineering Conference, Springer, Sitges, Spain, vol. 989, pp. 137-153, 1995.

[13]

D. C. Luckham, J. Vera. An event-based architecture definition language. IEEE Transactions on Software Engineering, vol. 21, no. 9, pp. 717-734, 1995.

Digital Library

[14]

M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, vol. 21, no. 4, pp. 314-335, 1995.

Digital Library

[15]

D. Garlan, R. Monroe, D. Wile. ACME: An architecture description interchange language. In Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research, ACM, Ontario, Canada, pp. 159-173, 1997.

[16]

E. M. Dashofy, A. Van der Hoek, R. N. Taylor. A highly-extensible, XML-based architecture description language. In Proceedings of 2001 Working IEEE/IFIP Conference on Software Architecture, IEEE, Amsterdam, The Netherlands, pp. 103-112, 2001.

Digital Library

[17]

H. Mei, F. Chen, Q. X. Wang, Y. D. Feng. ABC/ADL: An ADL supporting component composition. In Proceedings of the 4th International Conference on Formal Engineering Methods, Springer, Shanghai, China, vol. 2495, pp. 38-47, 2002.

[18]

C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, vol. 21, no. 8, pp. 666-677, 1978.

Digital Library

[19]

G. Taentzer. AGG: A graph transformation environment for modeling and validation of software. In Proceedings of the 2nd International Workshop, Lecture Notes in Computer Science, Springer, Charlottesville, USA, vol. 3062, pp. 446-453, 2004.

[20]

W. P. Jiao, H. Mei. Automated adaptations to dynamic software architectures by using autonomous agents. Engineering Applications of Artificial Intelligence, vol. 17, no. 7, pp. 749-770, 2004.

Digital Library

Cited By

Wu XLi CWang XYang H(2019)A Creative Approach to Reducing Ambiguity In Scenario-based Software Architecture AnalysisInternational Journal of Automation and Computing10.1007/s11633-017-1102-y16:2(248-260)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s11633-017-1102-y

xBreeze/ADL: A language for software architecture specification and analysis
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures

Recommendations

Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language
COMPSAC '13: Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference

Architecture description languages (ADLs) play an important role in specifying the software architectures. While most of these ADLs are unable to deal with the change directly, especially for dynamic evolution of software systems. This paper proposes an ...
An approach to modelling and analysing reliability of Breeze/ADL-based software architecture

Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for ...
Issues with representing software architectures in the unified modeling language
AMCOS'05: Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science

This paper shows how the Unified Modeling Language (UML) can be used to model software architectures effectively. Software architectures represent high-level views of systems and therefore allow developers to concentrate on the big picture rather than ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image International Journal of Automation and Computing

International Journal of Automation and Computing Volume 13, Issue 6

December 2016

137 pages

ISSN:1476-8186

Issue’s Table of Contents

Copyright © Copyright © 2016 Institute of Automation, Chinese Academy of Sciences and Springer-Verlag Berlin Heidelberg.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 December 2016

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wu XLi CWang XYang H(2019)A Creative Approach to Reducing Ambiguity In Scenario-based Software Architecture AnalysisInternational Journal of Automation and Computing10.1007/s11633-017-1102-y16:2(248-260)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s11633-017-1102-y

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents