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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-05089-3_10 | FM |
Keywords | Field | DocType |
systematic development,systematic approach,o component composition,complex behaviour,known property,component-based system,wide range,csp process algebra,system component,trustworthy component systems,classical approach,process algebra | Trustworthiness,Computer science,Deadlock,Theoretical computer science,Component (UML),Process calculus | Conference |
Volume | ISSN | Citations |
5850 | 0302-9743 | 12 |
PageRank | References | Authors |
0.86 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rodrigo Ramos | 1 | 53 | 4.26 |
Augusto Sampaio | 2 | 501 | 43.38 |
Alexandre Cabral Mota | 3 | 199 | 18.27 |