Building distributed controllers for systems with priorities

Journal of Logic and Algebraic Programming

Volumn 80, Issue 3-5, 2011, Pages 194-218

  Ben Hafaiedh, Imene ^a   Graf, Susanne ^a   Quinton, Sophie ^a  

^a VERIMAG   (France)

Author keywords

Distributed controllers; Global priorities; Memoryless controllers; Web services

Indexed keywords

CONTROLLERS; SPECIFICATIONS; SYNCHRONIZATION; WEB SERVICES;

COMPOSITION OF COMPONENTS; DEADLOCK FREEDOM; DISTRIBUTED CONTROLLER; DISTRIBUTED IMPLEMENTATION; GLOBAL PRIORITIES; ITS EFFICIENCIES; MEMORYLESS; PRIORITY RULES;

MESSAGE PASSING;

EID: 79955465618     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2010.10.001     Document Type: Article

References (30)

1. M. Autili, M. Flammini, P. Inverardi, A. Navarra, M. Tivoli, Synthesis of concurrent and distributed adaptors for component-based systems, in: Proc. of EWSA'06, vol. 4344, 2006, pp. 17-32.
2. R. Bagrodia Synchronization of asynchronous processes in CSP ACM Trans. Program. Lang. Syst. 11 1989 585 597 (Pubitemid 20622730)
3. A. Basu, M. Bozga, J. Sifakis, Modeling heterogeneous real-time components in BIP, in: Proc. of SEFM'06, 2006, pp. 3-12.
4. A. Basu, S. Bensalem, D. Peled, J. Sifakis, Priority scheduling of distributed systems based on model checking, in: Proc. of CAV'09, LNCS, vol. 5643, 2009, pp. 79-93.
5. S. Bensalem, M. Bozga, J. Sifakis, T.H. Nguyen, Compositional verification for component-based systems ad application, in: Proc. of ATVA'08, LNCS vol. 5311, 2008, pp. 64-79.
6. S. Bliudze, and J. Sifakis The algebra of connectors: structuring interaction in BIP Proc. of EMSOFT'07 2007 ACM Press 11 20 (Pubitemid 351203879)
7. S. Bliudze, J. Sifakis, A notion of glue expressiveness for component-based systems, in: Proc. of CONCUR'08, LNCS, vol. 5201, 2008, pp. 508-522.
8. T. Bolognesi, and E. Brinksma Introduction to the ISO specification language LOTOS Comput. Networks 14 1987 25 59 (Pubitemid 18603764)
9. C. Bolton, Adding conflict and confusion to CSP, in: Proc. of FM'05, 2005, pp. 205-220. (Pubitemid 41436058)
10. C.M. Bolton Capturing conflict and confusion in CSP Proc. of IFM'07 2007 Springer-Verlag Berlin, Heidelberg 413 438
11. M. Carbone, K. Honda, N. Yoshida, Structured communication-centred programming for Web services, in: Proc. of ESOP'07, vol. 4421, 2007, pp. 2-17. (Pubitemid 350262657)
12. A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P.L. Guernic, and R. de Simone The synchronous languages 12 years later Proc. IEEE 91 2003 64 83
13. G. Gößler, and J. Sifakis Composition for component-based modeling Sci. Comput. Program. 55 2005 161 183 (Pubitemid 40178263)
14. G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis, An approach to modeling and verification of component based systems, in: Proc. of SOFSEM'07, LNCS, vol. 4362, 2007.
15. S. Graf, D. Peled, and S. Quinton Achieving distributed control through model checking Proc. of CAV'10 LNCS vol. 6174 2010 Springer 396 409
16. I.B. Hafaiedh, S. Graf, H. Khairallah, Implementing distributed controllers for systems with priorities, in: Proc. of FOCLASA'10. 2010.
17. C.A.R. Hoare Communicating sequential processes Commun. ACM 21 1978 666 677
18. J. Mendling, M. Hafner, From inter-organizational workflows to process execution: Generating BPEL from WS-CDL, in: Proc. of OTM'05, LNCS, vol. 3762, 2005, pp. 506-515. (Pubitemid 43735224)
19. R. Milner A Calculus of Communicating Systems LNCS vol. 92 1980 Springer
20. M.G. Nanda, S. Chandra, V. Sarkar, Decentralizing execution of composite Web services, in: Proc. of OOPSLA'04, 2004, pp. 170-187.
21. L. Padovani, Contract-directed synthesis of simple orchestrators, in: Proc. of CONCUR'08, LNCS, vol. 5201, 2008, pp. 131-146.
22. J.A. Pérez, R. Corchuelo, and M. Toro An order-based algorithm for implementing multiparty synchronization Concurrency Pract. Exper. 16 2004 1173 1206
23. Z. Qiu, X. Zhao, C. Cai, H. Yang, Towards the theoretical foundation of choreography, in: Proc. of WWW'07, 2007, pp. 973-982. (Pubitemid 47582327)
24. P.J. Ramadge, and W.M. Wonham Supervisory control of a class of discrete event processes SIAM J. Control Optim. 25 1987 206 230 (Pubitemid 17513624)
25. S.L. Ricker, and K. Rudie Know means no: Incorporating knowledge into discrete-event control systems IEEE Trans. Automat. Control 45 2000 1656 1668 (Pubitemid 32067054)
26. K. Rudie, and W. Wonham Think globally, act locally: Decentralized supervisory control IEEE Trans. Automat. Control 37 1992 1692 1708
27. G. Salaün, T. Bultan, Realizability of choreographies using process algebra encodings, in: Proc. of IFM'09, LNCS vol. 5423, 2009, pp. 167-182.
28. J. Sifakis A framework for component-based construction extended abstract Proc. of SEFM'05 2005 IEEE Computer Society 293 300
29. G. Gößler, J. Sifakis, Priority systems, in: Proc. of FMCO'03, LNCS, vol. 3188, April 2004.
30. M. Tivoli, and M. Autili Synthesis, a tool for synthesizing correct and protocol-enhanced adaptors OBJET 12 1 2006 77 103