×

zbMATH — the first resource for mathematics

Validating for liveness in hidden adversary systems. (English) Zbl 1277.68143
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 53-67 (2008).
Summary: 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.
For the entire collection see [Zbl 1276.68017].
MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] G. Boella, Joris Hulstijn, and L. van der Torre. Coordination in normative multiagent systems. In Proceedings of FINCO’05, 2005 · Zbl 1276.68149
[2] G. Boella, L. van der Torre, and H. Verhagen. Introduction to normative multiagent systems. In Proceedings of AISB, 2005
[3] Clarke, E.M.; Emerson, E.A.; Sistla, A.P., Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM transactions on programming languages and systems, 8, 244-263, (1986) · Zbl 0591.68027
[4] Esteva, Marc; Vasconcelos, Wamberto; Sierra, Carles; Rodrguez-Aguilar, Juan A., Norm consistency in electronic institutions, (), 494-505 · Zbl 1105.68357
[5] Dina Goldin, Srinath Srinivasa, and Bernhard Thalheim. Information systems=databases+interaction. In Proceedings of ER 2000, Salt Lake City, Utah, USA, October 2000
[6] Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, and Ranajoy Malakar. Logicfence: A framework for enforce dynamic integrity constraints and run-time. In Proceedings of IDEAS’06, December 2006
[7] Lynch, N.A.; Tuttle, M.R., An introduction to input/output automata, CWI quarterly, 2, 3, 219-246, (September 1989)
[8] Saikat Mukherjee and Srinath Srinivasa. Issues in logicfence: A symmetric contractual coordination framework. In Proceedings of the Third Workshop on Software Design and Architecture (SoDA), Bangalore, India, December 2004
[9] Srinath Srinivasa. An algebra of fixpoints for characterizing interactive behavior of information systems. PhD thesis, Brandenburg Technical University at Cottbus, Germany, 2001
[10] Srinath Srinivasa and Saikat Mukherjee. Towards a validation meta-model for hidden-adversary systems: A position paper. In Workshop on Evolutionary Models of Collaboration (EMC’07), Hyderanad, India, January 2007. IJCAI Workshop Proceedings
[11] Wegner, Peter; Goldin, Dina, Interaction as a framework for modeling, () · Zbl 1260.68267
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.