Dynamic Software Architecture Development: Towards an Automated Process

descriptionPublicationkeyboard_double_arrow_right Article , Conference object , Other literature type 01 Jan 2009 Italy Publisher:IEEEJournal:2009 35th Euromicro Conference on Software Engineering and Advanced ApplicationsFunded by:EC | S-CUBE

Authors: Maurice H. ter Beek; Antonio Bucchiarone; Stefania Gnesi;

doi: 10.1109/seaa.2009.11

handle: 20.500.14243/62318 , 11572/343700 , 11697/244319

Dynamic Software Architecture Development: Towards an Automated Process

- Summary
- Subjects
- Metrics

Abstract

We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of formal methods and tools, and it can support software architects throughout the design, analysis and code generation of software systems. To illustrate the process, we apply it to an industrial case study from the Service-Oriented Computing (SOC) domain.

Country

Italy

Related Organizations

University of L'Aquila
Italy
National Research Council
Italy
Institute of Information Science and Technologies "A. Faedo"
Italy
University of Trento
Italy

Keywords

Dynamic Software Architectures; Formal Methods; Code Generation, Verification, Dynamic Software Architecture, D.2.4 Software/Program Verification, Formal Methods, D.2.11 Software Architectures

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average