an:05507955
Zbl 1209.68120
Benveniste, Albert; Caillaud, Beno??t; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
Multiple viewpoint contract-based specification and design
EN
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24--26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 200-225 (2008).
2008
a
68N30
Summary: 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.
For the entire collection see [Zbl 1155.68012].