Systematic Development of Trustworthy Component Systems Export

@incollection{citeulike:6082903, abstract = {In this paper, we propose a systematic approach, based on the CSP process algebra, to preserve deadlock- and livelock-freedom by construction in I/O component composition. In contrast to existing classical approaches, we allow components to have complex behaviour, protocols and contracts. As a consequence, it is possible to predict the behaviour of a wide range of component-based systems prior to their implementation, based on known properties of the system components.}, author = {Ramos, Rodrigo and Sampaio, Augusto and Mota, Alexandre}, citeulike-article-id = {6082903}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-642-05089-3_10}, citeulike-linkout-1 = {http://www.springerlink.com/content/q667m2403086u19m}, doi = {10.1007/978-3-642-05089-3_10}, journal = {FM 2009: Formal Methods}, keywords = {2009, component\_composition, csp}, pages = {140--156}, posted-at = {2009-11-07 13:23:54}, priority = {2}, title = {Systematic Development of Trustworthy Component Systems}, url = {http://dx.doi.org/10.1007/978-3-642-05089-3_10}, year = {2009} }

TY - CHAP ID - citeulike:6082903 L3 - citeulike-article-id:6082903 N2 - In this paper, we propose a systematic approach, based on the CSP process algebra, to preserve deadlock- and livelock-freedom by construction in I/O component composition. In contrast to existing classical approaches, we allow components to have complex behaviour, protocols and contracts. As a consequence, it is possible to predict the behaviour of a wide range of component-based systems prior to their implementation, based on known properties of the system components. JF - FM 2009: Formal Methods EP - 156 TI - Systematic Development of Trustworthy Component Systems SP - 140 KW - 2009 KW - component_composition KW - csp AU - Ramos, Rodrigo AU - Sampaio, Augusto AU - Mota, Alexandre PY - 2009/// UR - http://dx.doi.org/10.1007/978-3-642-05089-3_10 ER -