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.
Dynamic software architecture development: towards an automated process
Ter Beek M;Gnesi S
2009
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_91970-doc_15811.pdf
solo utenti autorizzati
Descrizione: Dynamic software architecture development: towards an automated process
Tipologia:
Versione Editoriale (PDF)
Dimensione
511.89 kB
Formato
Adobe PDF
|
511.89 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
