Error handling: from theory to practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Advanced mechanisms for service combination and transactions
Rigorous software engineering for service-oriented systems
A new strategy for distributed compensations with interruption in long-running transactions
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
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 {\it partially communicate}. Specifically, we do not implement a complex synchronization mechanism but allow entities to combine whole traces to obtain a verdict.