This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Modal Contracts for Component-Based Design
Hanoi, Vietnam
November 23-November 27
ISBN: 978-0-7695-3870-9
ASCII Text
x 
 
Gregor Goessler, Jean-Baptiste Raclet, "Modal Contracts for Component-Based Design," Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp. 295-303, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2009.26,
author = {Gregor Goessler and Jean-Baptiste Raclet},
title = {Modal Contracts for Component-Based Design},
journal ={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)},
volume = {0},
year = {2009},
isbn = {978-0-7695-3870-9},
pages = {295-303},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.26},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
TI - Modal Contracts for Component-Based Design
SN - 978-0-7695-3870-9
SP295
EP303
A1 - Gregor Goessler,
A1 - Jean-Baptiste Raclet,
PY - 2009
KW - Component-based design
KW - contract
KW - modalities
KW - composition
VL - 0
JA - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
ER -
 
Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is able to give, depending on its environment. On the other hand, a requirement contract, or aspect, specifies a guarantee that must be ensured under some hypothesis. For component contracts we define a ``best effort'' composition satisfying the property of independent implementability. For aspects we define a composition based on modal conjunction, which is shown to be sound. Modal contracts allow keeping a larger design space than their non-modal version, and thus avoid prematurely ruling out possible implementations.
Index Terms:
Component-based design, contract, modalities, composition
Citation:
Gregor Goessler, Jean-Baptiste Raclet, "Modal Contracts for Component-Based Design," sefm, pp.295-303, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Usage of this product signifies your acceptance of the Terms of Use.