We present the mathematical formalism and the verification methodology of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where functional and non-functional aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the process of component composition. © 2008 IEEE.
A contract-based formalism for the specification of heterogeneous systems / Benvenuti, Luca; Alberto, Ferrari; Leonardo, Mangeruca; Emanuele, Mazzi; Roberto, Passerone; Christos, Sofronis. - (2008), pp. 142-147. (Intervento presentato al convegno Forum on Specification Verification and Design Languages (FDL'08) tenutosi a Stuttgart; Germany nel SEP 23-25, 2008) [10.1109/fdl.2008.4641436].
A contract-based formalism for the specification of heterogeneous systems
BENVENUTI, Luca;
2008
Abstract
We present the mathematical formalism and the verification methodology of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where functional and non-functional aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the process of component composition. © 2008 IEEE.| File | Dimensione | Formato | |
|---|---|---|---|
|
VE_2008_11573-524843.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
1.07 MB
Formato
Adobe PDF
|
1.07 MB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
