Abstract
The ability to deal with events explicitely may enhance the expressivity and simplicity of logical specifications. To this purpose, we explore the use of events in the context of DSTL, a logic tailored for the description and verification of distributed systems in a setting based on asynchronous communications. We define an extension that allows the engineer to mix conditions and events in the specification formulae. To validate our approach we formalize a complex coordination pattern where the events play a central role. The pattern describes the rules a set of components must follow to self–organize in a token–ring.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrade, L., Fiadeiro, J.L.: Coordination primitives for event-based systems. In: Proceedings of the 1st Int. Workshop on Distributed Event-Based Systems, DEBS 2002 (2002)
Armoni, R., Fix, L., Flaisher, A., Gerth, R., Ginsburg, B., Kanza, T., Landver, A., Mador-Haim, S., Singerman, E., Tiemeyer, A., Vardi, M.Y., Zbar, Y.: The forspec temporal logic: A new temporal property-specification language. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 211–296. Springer, Heidelberg (2002)
Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
Costello, T., Patterson, A.: Quantifiers and operations on modalities and contexts. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 270–281. Morgan Kaufmann, San Francisco (1998)
Dias, M.S., Richardson, D.J.: The role of event description in architecting dependable systems. In: 1st Workshop on Architecting Dependable Systems (WADS 2002), Orlando (May 2002)
Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Mark, a reasoning kit for mobility. Automated Software Engineering 9(2), 137–150 (2002)
Fischer, M.J., Lynch, N.A.: Impossibility of distributed consensus with one faulty process. Journal of the ACM 32(2), 374–382 (1985)
Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16(3), 872–923 (1994)
Montangero, C., Semini, L.: Distributed states temporal logic. The Computing Research Repository (CoRR): cs.LO/0304046 (Submitted for pubblication) (2003)
Montangero, C., Semini, L.: Composing Specifications for Coordination. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, pp. 118–133. Springer, Heidelberg (1999)
Montangero, C., Semini, L.: Distributed states logic. In: 9th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK, July 2002, IEEE CS Press, Los Alamitos (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Montangero, C., Semini, L., Semprini, S. (2004). Logic Based Coordination for Event–Driven Self–healing Distributed Systems. In: De Nicola, R., Ferrari, GL., Meredith, G. (eds) Coordination Models and Languages. COORDINATION 2004. Lecture Notes in Computer Science, vol 2949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24634-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-24634-3_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21044-3
Online ISBN: 978-3-540-24634-3
eBook Packages: Springer Book Archive