Distributed Implementation of Systems with Multiparty Interactions and Priorities

  • Imene Ben-Hafaiedh
  • Susanne Graf
  • Nejla Mazouz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7041)


Rich interaction models are a powerful mechanism allowing to synchronize several entities in order to achieve some common goal and to specify global properties in an abstract manner. In this paper we focus on two types of interaction models, namely multiparty interactions and priorities where priorities may be used to specify different scheduling policies. We propose a protocol for building distributed implementation of component-based models with multiparty interactions and priorities. We also present a set of experiments providing a performance analysis of the protocol.


priorities multiparty interaction distributed systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bagrodia, R.: A distributed algorithm to implement n-party rendezvous. In: Nori, K. (ed.) FSTTCS 1987. LNCS, vol. 287, pp. 138–152. Springer, Heidelberg (1987)CrossRefGoogle Scholar
  2. 2.
    Bagrodia, R.: Process synchronization: Design and performance evaluation of distributed algorithms. IEEE Trans. Software Eng. 15(9), 1053–1065 (1989)CrossRefGoogle Scholar
  3. 3.
    Bagrodia, R.: Synchronization of asynchronous processes in CSP. ACM Trans. Program. Lang. Syst. 11(4), 585–597 (1989)CrossRefGoogle Scholar
  4. 4.
    Basu, A., Bensalem, S., Peled, D., Sifakis, J.: Priority Scheduling of Distributed Systems Based on Model Checking. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 79–93. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed Semantics and Implementation for Systems with Interaction and Priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 116–133. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Ben-Hafaiedh, I., Graf, S., Quinton, S.: Building distributed controllers for systems with priorities. Journal of Logic and Algebraic Programming (2010)Google Scholar
  7. 7.
    Bensalem, S., Peled, D., Sifakis, J.: Knowledge based scheduling of distributed systems. In: Manna, Z., Peled, D.A. (eds.) Time for Verification. LNCS, vol. 6200, pp. 26–41. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  8. 8.
    Bolton, C.: Adding Conflict and Confusion to CSP. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 205–220. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Bolton, C.M.: Capturing Conflict and Confusion in CSP. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 413–438. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Quilbeuf, J., Bonakdarpour, B., Bozga, M.: Automated distributed implementation of component-based models with priorities. Technical Report TR-2011-3, Verimag Research ReportGoogle Scholar
  11. 11.
    Mani Chandy, K., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)CrossRefGoogle Scholar
  12. 12.
    Dijkstra, E.W.: Hierarchical ordering of sequential processes, pp. 198–227. Springer-Verlag New York, Inc., New York (2002)Google Scholar
  13. 13.
    Gößler, G., Sifakis, J.: Priority Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 314–329. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
    Graf, S., Peled, D., Quinton, S.: Achieving Distributed Control through Model Checking. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 396–409. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  15. 15.
    Gropp, W., Lusk, E., Skjellum, A.: Using MPI: portable parallel programming with the message-passing interface, 2nd edn. MIT Press, Cambridge (1999)zbMATHGoogle Scholar
  16. 16.
    Lynch, N.A., Merritt, M., Weihl, W.E., Fekete, A.: Atomic Transactions. Morgan Kaufmann, San Francisco (1993)zbMATHGoogle Scholar
  17. 17.
    Pérez, J.A., Corchuelo, R., Toro, M.: An order-based algorithm for implementing multiparty synchronization. Concurrency - Practice and Experience 16, 1173–1206 (2004)CrossRefGoogle Scholar
  18. 18.
    Rudie, K., Murray Wonham, W.: Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control 37(11), 1692–1708 (1992)CrossRefzbMATHGoogle Scholar
  19. 19.
    Snir, M., Otto, S.W., Huss-Lederman, S., Walker, D.W., Dongarra, J.: MPI: The complete reference. MIT Press, Cambridge (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Imene Ben-Hafaiedh
    • 1
  • Susanne Graf
    • 1
  • Nejla Mazouz
    • 2
  1. 1.VERIMAGGieresFrance
  2. 2.Tunisia Polytechnic SchoolFrance

Personalised recommendations