Title :
Simulation Relations for Systems with Distributed Interfaces
Author :
Hierons, Robert M. ; Nuez, M.
Author_Institution :
Dept. of Inf. Syst. & Comput., Brunel Univ., Uxbridge, UK
Abstract :
In this paper we define simulation relations for distributed systems. Taking as starting point our previous work on the distributed testing architecture, we introduce novel simulation relations that can be used to define, given a specification, what a good implementation is. We approach the problem from two different perspectives. First, we consider that different ports of the system cannot share information. Thus, the decision to consider whether a system is correct has to be based only on local observations. We give some examples to show that this relation is very weak and propose a new one where we allow the different ports to partially communicate. Specifically, we do not implement a complex synchronization mechanism but allow entities to combine whole traces to obtain a verdict.
Keywords :
computer interfaces; formal specification; distributed interfaces systems; distributed testing architecture; information sharing; simulation relations; Clocks; Computational modeling; Computer architecture; Computer interfaces; Context modeling; Distributed computing; Information systems; Software engineering; Software systems; System testing;
Conference_Titel :
Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on
Conference_Location :
Hanoi
Print_ISBN :
978-0-7695-3870-9
DOI :
10.1109/SEFM.2009.22