An ADL-approach to specifying and analyzing centralized-mode architectural connection

Su, G; Ying, M; Zhang, C

An ADL-approach to specifying and analyzing centralized-mode architectural connection

Su, G

Ying, M

Zhang, C

Permalink

Publication Type:: Chapter
Citation:: 2010, 6285 LNCS pp. 8 - 23
Issue Date:: 2010-11-05

Open Access

Copyright Clearance Process

Recently Added
In Progress
Open Access

This item is open access.

Adobe PDF

Download full textAdobe PDF (301.29 kB)

View on publisher's site

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Su, G https://orcid.org/0000-0002-2087-4894	en_US
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.contributor.author	Zhang, C https://orcid.org/0000-0001-5715-7154	en_US
dc.date.issued	2010-11-05	en_US
dc.identifier.citation	2010, 6285 LNCS pp. 8 - 23	en_US
dc.identifier.isbn	3642151132	en_US
dc.identifier.isbn	9783642151132	en_US
dc.identifier.uri	http://hdl.handle.net/10453/14279
dc.description.abstract	A rigorous paradigm coordinating components is important in the design stage of large-scale software engineering. In this paper we propose a new Architecture Description Language, called ACDL, to represent the centralized-mode architectural connection in which all components are linked by a single connector. Following one usual approach to architectural description, in which component types and components are distinguished, and connectors integrate behaviors of components by specifying their coordination protocols, ACDL describes connectors in such a way that connectors are insensitive to the numbers of attached same-type components. Based on ACDL, we develop analytic techniques to facilitate the system checking of temporal properties of an architecture. In particular, our method shows to what extent one can add, delete and replace components without making the whole system lose desired temporal properties, and improves the system checking in several ways, for example enhancing the use of previous checking results to deal with new checking problems. © 2010 Springer-Verlag Berlin Heidelberg.	en_US
dc.relation.isbasedon	10.1007/978-3-642-15114-9_4	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	An ADL-approach to specifying and analyzing centralized-mode architectural connection	en_US
dc.type	Chapter
utslib.citation.volume	6285 LNCS	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/DVC (International)
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - ACRI - Australia China Relations Institute
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	open_access
pubs.publication-status	Published	en_US
pubs.volume	6285 LNCS	en_US

Abstract:

A rigorous paradigm coordinating components is important in the design stage of large-scale software engineering. In this paper we propose a new Architecture Description Language, called ACDL, to represent the centralized-mode architectural connection in which all components are linked by a single connector. Following one usual approach to architectural description, in which component types and components are distinguished, and connectors integrate behaviors of components by specifying their coordination protocols, ACDL describes connectors in such a way that connectors are insensitive to the numbers of attached same-type components. Based on ACDL, we develop analytic techniques to facilitate the system checking of temporal properties of an architecture. In particular, our method shows to what extent one can add, delete and replace components without making the whole system lose desired temporal properties, and improves the system checking in several ways, for example enhancing the use of previous checking results to deal with new checking problems. © 2010 Springer-Verlag Berlin Heidelberg.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/14279