The Open UniversitySkip to content
 

A survey of self-management in dynamic software architecture specifications

Bradbury, Jeremy S.; Cordy, James R.; Dingel, Juergen and Wermelinger, Michel (2004). A survey of self-management in dynamic software architecture specifications. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, 31 Oct - 1 Nov 2004, ACM, pp. 28–33.

Full text available as:
[img]
Preview
PDF (Version of Record) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (222Kb)
DOI (Digital Object Identifier) Link: http://doi.org/10.1145/1075405.1075411
Google Scholar: Look up in Google Scholar

Abstract

As dynamic software architecture use becomes more widespread, a variety of formal specification languages have been developed to gain a better understanding of the foundations of this type of software evolutionary change. In this paper we survey 14 formal specification approaches based on graphs, process algebras, logic, and other formalisms. Our survey will evaluate the ability of each approach to specify self-managing systems as well as the ability to address issues regarding expressiveness and scalability. Based on the results of our survey we will provide recommendations on future directions for improving the specification of dynamic software architectures, specifically self-managed architectures.

Item Type: Conference Item
Copyright Holders: 2004 Association for Computing Machinery
Keywords: architectural formalism; dynamic software architecture; dynamism; run-time evolution; self-management; specification
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Mathematics, Computing and Technology
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 23229
Depositing User: Michel Wermelinger
Date Deposited: 23 Sep 2010 08:16
Last Modified: 23 Feb 2016 19:43
URI: http://oro.open.ac.uk/id/eprint/23229
Share this page:

Altmetrics

Scopus Citations

► Automated document suggestions from open access sources

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk