A software architecture for distributed control systems and its transition system semantics

Proceedings of the ACM Symposium on Applied Computing

Volumn 02-February-1998, Issue , 1998, Pages 159-168

  Bonsangues, Marcello M ^a   Kok, Joost N ^a   Boasson, Maarten ^b   De Jong, Edwin ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b THALES NEDERLAND B V   (Netherlands)

Author keywords

Control systems; Coordination models; Distributed data space; Shared data space; Software architecture; SPLICE; Transition system semantics

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CONTROL SYSTEMS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FAULT TOLERANCE; NETWORK ARCHITECTURE; SEMANTICS; SOFTWARE ARCHITECTURE;

COORDINATION MODEL; DISTRIBUTED DATA; SHARED DATA SPACES; SPLICE; TRANSITION SYSTEM;

COMPUTER ARCHITECTURE;

EID: 85002213636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/330560.330664     Document Type: Conference Paper

References (22)

1. J.-M. Andreoli, C.L. Hankin, and D. Le Metayer (eds.) Coordination Programming, mechanisms, models and semantics. Imperial College Press, London, 1996.
2. P.H.M. America and J.W. de Bakker. Designing equivalent semantic models for process creation. In Theoretical Computer Science 60, pages 109-176, 1988.
3. P.H.M. America, J.W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Operational semantics of a parallel object-oriented language. In Proceedings of the 13th Annual ACM Symposium on Principles of Programming Languages, pages 194-208, 1986.
4. F. Arbab, J.W. de Bakker, M.M. Bonsangue, J.J.M.M. Flutten, and A. Scutellà. A transition system semantics for a control-driven coordination language. In preparation.
5. J.-P. Banâtre and D. Le Métayer. The Gamma model and its discipline of programming. In Science of computer programming 15, pages 55-77, 1990.
6. M. Boasson. Control systems software. In IEEE Transactions on Automatic Control 38:7, pages 10941107, 1993.
7. M. Boasson. Complexity may be our own fault. In IEEE Software, March 1993.
8. M. Boasson (ed.). Software Architecture. In IEEE Software, November 1995.
9. FS. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. A paradigm for asynchronous communication and its application to concurrent constraint programming. In K.R. Apt, J.W. de Bakker and J.J.M.M. Rutten, editors, Logic programming languages: constraints, functions, and objects, Logic Programming Series, pages 82-114, MIT Press, 1993.
10. N. Carriero and D. Gelernter. Linda in context. In Communications of the ACM 32:4, pages 444-458, 1989.
11. N. Carriero and D. Gelernter. Coordination languages and their significance. In Communications of the ACM 35:2, page 97-107, 1992.
12. K.M. Chandy and J. Misra. Parallel Program Design: a Foundation. Addison-Wesley, 1988.
13. P. Ciancarini and C. Hankin (eds.). Coordination Languages and Models, Proceedings of the first international conference COORDINATION'96, Volume 1061 of Lecture Notes in Computer Science, Springer-Verlag, 1996.
14. P. Ciancarini, K. Jensen, and D. Yankelevich. On the operational semantics of a coordination language. In P. Ciancarini, O.Nierstrasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, volume 924 of Lecture Notes in Computer Science, Springer-Verlag, 1995.
15. D. Garlan and D. Le Métayer (eds.). Coordination Languages and Models, Proceedings of the second international conference COORDINATION"97, Volume 1282 of Lecture Notes in Computer Science, Springer-Verlag, 1997.
16. H. Goeman, J.N. Kok, K. Sere and R. Udink. Coordination in the ImpUnity framework. In [13], pages 215-230, 1996.
17. K. Jackson and M. Boasson. The importance of good architectural style. In Proceedings of the workshop of the IEEE on Engineering of Computer Based Systems, Tucson, 1995.
18. J.-M. Jacquet and K. De Bosschere. On the semantics of fiLog. In Future Generation Computer Systems, 1994.
19. G.A. Papadopoulos and F. Arbab. Coordination models and languages. In Academics Press 48, 1998.
20. G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMIFN-19, Computer Science Department, Aarhus University, 1981.
21. G.-C. Roman and H.C. Cunningham. Mixed programming metaphors in a shared data space model of concurrency. In IEEE Transactions of Software Engineering 16:12, pages 1361-1373, 1990.
22. V.A. Saraswat. Concurrent Constraint Programming. The MIT Press, 1993.