DocumentCode
2631573
Title
Dynamic Software Architecture Development: Towards an Automated Process
Author
Beek, Maurice H ter ; Bucchiarone, Antonio ; Gnesi, Stefania
Author_Institution
ISTI-CNR, Pisa, Italy
fYear
2009
fDate
27-29 Aug. 2009
Firstpage
105
Lastpage
108
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Advanced Applications, 2009. SEAA '09. 35th Euromicro Conference on
Conference_Location
Patras
ISSN
1089-6503
Print_ISBN
978-0-7695-3784-9
Type
conf
DOI
10.1109/SEAA.2009.11
Filename
5349864
Link To Document