Title :
Dynamic Software Architecture Development: Towards an Automated Process
Author :
Beek, Maurice H ter ; Bucchiarone, Antonio ; Gnesi, Stefania
Author_Institution :
ISTI-CNR, Pisa, Italy
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.
Keywords :
program compilers; software architecture; automated process; code generation; dynamic software architecture development; formal methods; service oriented computing; software engineering process; software system analysis; Application software; Connectors; Java; Logic; Software architecture; Software engineering; Software systems; Software tools; Traffic control; Unified modeling language; Code Generation; Dynamic Software Architectures; Formal Methods;
Conference_Titel :
Software Engineering and Advanced Applications, 2009. SEAA '09. 35th Euromicro Conference on
Conference_Location :
Patras
Print_ISBN :
978-0-7695-3784-9
DOI :
10.1109/SEAA.2009.11
