DocumentCode
3459125
Title
SPIN-ning software architectures: a method for exploring complex systems
Author
Kloukinas, Christos ; Issarny, Valérie
Author_Institution
Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
fYear
2001
fDate
2001
Firstpage
67
Lastpage
76
Abstract
When designing complex software systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. The paper describes a method for automatically and quickly identifying all the different ways one can compose such designs, with the aid of a model checker
Keywords
program debugging; program verification; software architecture; software reusability; SPIN; architectural debugging; architecture discovery; architecture transformation; complex software systems; complex systems design; model checker; multiple non-functional properties; software architectural composition; software architectures; Buildings; Computer architecture; Cost function; Debugging; Error correction; Maintenance; Middleware; Security; Software engineering; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on
Conference_Location
Amsterdam
Print_ISBN
0-7695-1360-3
Type
conf
DOI
10.1109/WICSA.2001.948409
Filename
948409
Link To Document