| Autor: |
Benveniste, Albert, Caillaud, Benoȋt, Ferrari, Alberto, Mangeruca, Leonardo, Passerone, Roberto, Sofronis, Christos |
| Zdroj: |
Formal Methods for Components & Objects (9783540921875); 2008, p200-225, 26p |
| Abstrakt: |
We present the mathematical foundations and the design 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 diverse (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 whole process of component composition. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
