Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interaction as a Framework for Modeling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime
IDEAS '06 Proceedings of the 10th International Database Engineering and Applications Symposium
| Hi-index | 0.00 |
Multi-stream interactive systems can be seen as ''hidden adversary'' systems (HAS), where the observable behaviour on any interaction channel is affected by interactions happening on other channels. One way of modelling HAS is in the form of a multi-process I/O automata, where each interacting process appears as a token in a shared state space. Constraints in the state space specify how the dynamics of one process affects other processes. We define the ''liveness criterion'' of each process as the end objective to be achieved by the process. The problem now for each process is to achieve this objective in the face of unforeseen interferences from other processes. In an earlier paper, it was proposed that this uncertainty can be mitigated by collaboration among the disparate processes. Two types of collaboration philosophies were also suggested: altruistic collaboration and pragmatic collaboration. This paper addresses the HAS validation problem where processes collaborate altruistically.