Behavioural Contracts for a Sound Assembly of Components. Carrez, C., Fantechi, A., & Najm, E. 2767:111–126. Paper doi abstract bibtex Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the problem of the compositional verification of such systems. We investigate methods and concepts for the provision of ” sound” assemblies. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/server and peer to peer communication patterns. We define a behavioural interface type language endowed with a (decidable) set of interface compatibilty rules. Based on the notion of compliance of components to their interfaces, we define the concepts of ” contract” and ” contract satisfaction”. This leads to the notion of sound assemblies of components, i.e., assemblies made of contracted components interacting through compatible interfaces. Sound assemblies possess interesting properties like ” external deadlock freeness” and ” message consumption”.
@article{carrezBehaviouralContractsSound2003,
title = {Behavioural Contracts for a Sound Assembly of Components},
author = {Carrez, Cyril and Fantechi, Alessandro and Najm, Elie},
editor = {König, Hartmut and Heiner, Monika and Wolisz, Adam},
date = {2003},
journaltitle = {Lecture Notes in Computer Science},
volume = {2767},
pages = {111--126},
issn = {1611-3349},
doi = {10.1007/978-3-540-39979-7_8},
url = {https://doi.org/10.1007/978-3-540-39979-7_8},
abstract = {Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the problem of the compositional verification of such systems. We investigate methods and concepts for the provision of ” sound” assemblies. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/server and peer to peer communication patterns. We define a behavioural interface type language endowed with a (decidable) set of interface compatibilty rules. Based on the notion of compliance of components to their interfaces, we define the concepts of ” contract” and ” contract satisfaction”. This leads to the notion of sound assemblies of components, i.e., assemblies made of contracted components interacting through compatible interfaces. Sound assemblies possess interesting properties like ” external deadlock freeness” and ” message consumption”.},
keywords = {*imported-from-citeulike-INRMM,~INRMM-MiD:c-12722865,behavioural-contracts,integration-techniques,mitigation,modelling,modularization,software-engineering,software-uncertainty},
series = {Lecture {{Notes}} in {{Computer Science}}}
}
Downloads: 0
{"_id":"tuevKhzWY7NYK2KXZ","bibbaseid":"carrez-fantechi-najm-behaviouralcontractsforasoundassemblyofcomponents","authorIDs":[],"author_short":["Carrez, C.","Fantechi, A.","Najm, E."],"bibdata":{"bibtype":"article","type":"article","title":"Behavioural Contracts for a Sound Assembly of Components","author":[{"propositions":[],"lastnames":["Carrez"],"firstnames":["Cyril"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Najm"],"firstnames":["Elie"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["König"],"firstnames":["Hartmut"],"suffixes":[]},{"propositions":[],"lastnames":["Heiner"],"firstnames":["Monika"],"suffixes":[]},{"propositions":[],"lastnames":["Wolisz"],"firstnames":["Adam"],"suffixes":[]}],"date":"2003","journaltitle":"Lecture Notes in Computer Science","volume":"2767","pages":"111–126","issn":"1611-3349","doi":"10.1007/978-3-540-39979-7_8","url":"https://doi.org/10.1007/978-3-540-39979-7_8","abstract":"Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the problem of the compositional verification of such systems. We investigate methods and concepts for the provision of ” sound” assemblies. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/server and peer to peer communication patterns. We define a behavioural interface type language endowed with a (decidable) set of interface compatibilty rules. Based on the notion of compliance of components to their interfaces, we define the concepts of ” contract” and ” contract satisfaction”. This leads to the notion of sound assemblies of components, i.e., assemblies made of contracted components interacting through compatible interfaces. Sound assemblies possess interesting properties like ” external deadlock freeness” and ” message consumption”.","keywords":"*imported-from-citeulike-INRMM,~INRMM-MiD:c-12722865,behavioural-contracts,integration-techniques,mitigation,modelling,modularization,software-engineering,software-uncertainty","series":"Lecture Notes in Computer Science","bibtex":"@article{carrezBehaviouralContractsSound2003,\n title = {Behavioural Contracts for a Sound Assembly of Components},\n author = {Carrez, Cyril and Fantechi, Alessandro and Najm, Elie},\n editor = {König, Hartmut and Heiner, Monika and Wolisz, Adam},\n date = {2003},\n journaltitle = {Lecture Notes in Computer Science},\n volume = {2767},\n pages = {111--126},\n issn = {1611-3349},\n doi = {10.1007/978-3-540-39979-7_8},\n url = {https://doi.org/10.1007/978-3-540-39979-7_8},\n abstract = {Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the problem of the compositional verification of such systems. We investigate methods and concepts for the provision of ” sound” assemblies. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/server and peer to peer communication patterns. We define a behavioural interface type language endowed with a (decidable) set of interface compatibilty rules. Based on the notion of compliance of components to their interfaces, we define the concepts of ” contract” and ” contract satisfaction”. This leads to the notion of sound assemblies of components, i.e., assemblies made of contracted components interacting through compatible interfaces. Sound assemblies possess interesting properties like ” external deadlock freeness” and ” message consumption”.},\n keywords = {*imported-from-citeulike-INRMM,~INRMM-MiD:c-12722865,behavioural-contracts,integration-techniques,mitigation,modelling,modularization,software-engineering,software-uncertainty},\n series = {Lecture {{Notes}} in {{Computer Science}}}\n}\n\n","author_short":["Carrez, C.","Fantechi, A.","Najm, E."],"editor_short":["König, H.","Heiner, M.","Wolisz, A."],"key":"carrezBehaviouralContractsSound2003","id":"carrezBehaviouralContractsSound2003","bibbaseid":"carrez-fantechi-najm-behaviouralcontractsforasoundassemblyofcomponents","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-39979-7_8"},"keyword":["*imported-from-citeulike-INRMM","~INRMM-MiD:c-12722865","behavioural-contracts","integration-techniques","mitigation","modelling","modularization","software-engineering","software-uncertainty"],"downloads":0},"bibtype":"article","biburl":"https://tmpfiles.org/dl/58794/INRMM.bib","creationDate":"2020-07-02T22:41:03.797Z","downloads":0,"keywords":["*imported-from-citeulike-inrmm","~inrmm-mid:c-12722865","behavioural-contracts","integration-techniques","mitigation","modelling","modularization","software-engineering","software-uncertainty"],"search_terms":["behavioural","contracts","sound","assembly","components","carrez","fantechi","najm"],"title":"Behavioural Contracts for a Sound Assembly of Components","year":null,"dataSources":["DXuKbcZTirdigFKPF"]}