Paper Info
Title
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity
Abstract
Architecture Description Languages (ADLs) were developed to support the abstract level of software structuring that is the subject matter of software architecture. Community is an ADL built on co-ordination principles and a categorical framework to support the composition of specifications of components to form the system's specification. However, an important shortcoming of Community is the lack of integrated support for specifying the system's architectural changes in both the set of components and the connections between them. This paper presents DynaComm, an extension of Community to support hierarchical design and dynamic reconfiguration of component based systems. The architectural design principles supported by the DynaComm language are illustrated through the design of a fault-tolerant, dynamic client-server system. A state anchored semantics of DynaComm is given by reducing a DynaComm design to a Community design, i.e., a configuration of components, cables and superposition morphisms, and then taking the colimit of the Community diagram. The careful use of extension, refinement and superposition morphisms guarantees that this is always possible.
Year
DOI
Venue
2012
10.1109/APSEC.2012.109
APSEC
Keywords
Field
DocType
community design,subsystem,categorical framework,dynamic reconfiguration,component specification composition,hierarchical design,dynacomm design,adl,integrated support,dynacomm,dynacomm language,dynamic client-server system,fault-tolerant client-server system design,architecture description language,coordination principle,system specification,software architecture,dynamic client-server system design,refinement,connector,architectural change,system architectural change specification,component,architecture description language(adl),regulative superposition,client-server systems,interface manager,community diagram,software structuring,architecture based development,incorporating dynamic reconfiguration,architectural design principle,formal specification
Programming language,Systems engineering,Computer science,Real-time computing,Software,Community design,Control reconfiguration,Architecture,Software engineering,Software architecture description,Formal specification,Software architecture,Semantics
Conference
Volume
ISSN
ISBN
1
1530-1362
978-1-4673-4930-7
Citations 
PageRank 
References 
0
0.34
4
Authors
2
Name
Order
Citations
PageRank
Xiang Ling100.34
Tom Maibaum228131.90