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
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;
Conference_Titel :
Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on
Conference_Location :
Amsterdam
Print_ISBN :
0-7695-1360-3
DOI :
10.1109/WICSA.2001.948409
