Abstract | ||
---|---|---|
We present a component algebra and an associated logic for heterogenous timed systems. The components of the algebra are asynchronous networks of processes that abstract the behaviour of machines that execute according to the clock granularity of the network node in which they are placed and communicate asynchronously with machines at other nodes. The main novelty of our theory is that not all network nodes need to have the same clock granularity: we investigate conditions under which we can guarantee, a priori, that any interconnections generated at run time through dynamic binding of machines with different clock granularities leads to a consistent orchestration of the whole system. Finally, we investigate which logics can support specifications for this component algebra. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.tcs.2016.12.014 | Theor. Comput. Sci. |
Keywords | Field | DocType |
Asynchronous process networks,Component algebra,Heterogeneous time,Orchestration,Temporal logic | Asynchronous communication,Computer science,A priori and a posteriori,Node (networking),Theoretical computer science,Granularity,Temporal logic,Novelty,Orchestration (computing),Safety property,Distributed computing | Conference |
Volume | ISSN | Citations |
663 | 0304-3975 | 1 |
PageRank | References | Authors |
0.37 | 21 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Luiz Fiadeiro | 1 | 1567 | 186.97 |
Antónia Lopes | 2 | 697 | 52.57 |