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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (1.16 MB)

Source

Symposium on Applied Computing archive
Proceedings of the 1998 ACM symposium on Applied Computing table of contents

Atlanta, Georgia, United States

Pages: 159 - 168

Year of Publication: 1998

ISBN:0-89791-969-6

Authors

Marcello M. Bonsangue	Department of Computer Science, Leiden University, The Netherlands
Joost N. Kok	Department of Computer Science, Leiden University, The Netherlands
Maarten Boasson	Hollandse Signaalapparaten B.V., The Netherlands
Edwin de Jong	Hollandse Signaalapparaten B.V., The Netherlands

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 32, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/330560.330664 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Jean-Marc Andreoli , Chris Hankin , Daniel Le Métayer, Coordination programming: mechanisms, models and semantics, Imperial College Press, London, UK, 1996
	2	Pierre America , Jaco De Bakker, Designing equivalent semantic models for process creation, Theoretical Computer Science, v.60 n.2, p.109-176, September 1988 [doi>10.1016/0304-3975(88)90048-5 ]
	3	Pierre America , Jaco de Bakker , Joost N. Kok , Jan J. M. M. Rutten, Operational semantics of a parallel object-oriented language, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.194-208, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512662]
	4	F. krbab, J.W. de Bakker, M.M. Bonsangue, J.J.M.M. Rutten, and A. Scutelh~. A transition system semantics for a control-driven coordination language. In preparation.
	5	Jean-Pierre Banâtre , Daniel Le Métayer, The gamma model and its discipline of programming, Science of Computer Programming, v.15 n.1, p.55-77, Nov. 1990 [doi>10.1016/0167-6423(90)90044-E ]
	6	M. Boasson. Control systems software. In {EEE 23'ansactions on A~stomatic Control 38:7, pages 1094- 1107, 1993.
	7	Maarten Boasson, Exploding Complexity May Be Our Own Fault, IEEE Software, v.10 n.2, p.12, March 1993
	8	M. Boasson (ed.). Software Architecture. In IEEE Software, November 1995.
	9	Frank S. de Boer , Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten, A paradigm for asynchronous communication and its application to concurrent constraint programming, Logic programming languages: constraints, functions, and objects, MIT Press, Cambridge, MA, 1993
	10	Nicholas Carriero , David Gelernter, Linda in context, Communications of the ACM, v.32 n.4, p.444-458, April 1989 [doi>10.1145/63334.63337]
	11	David Gelernter , Nicholas Carriero, Coordination languages and their significance, Communications of the ACM, v.35 n.2, p.97-107, Feb. 1992 [doi>10.1145/129630.129635]
	12	K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	13	Proceedings of the First International Conference on Coordination Languages and Models, April 1996
	14	Paolo Ciancarini , Keld K. Jensen , Daniel Yankelevich, On the Operational Sematics of a Coordination Language, Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems, p.77-106, July 05, 1994
	15	Proceedings of the Second International Conference on Coordination Languages and Models, September 1997
	16	Henk Goeman , Joost N. Kok , Kaisa Sere , Rob T. Udink, Coordination in the ImpUNITY Framework, Proceedings of the First International Conference on Coordination Languages and Models, p.215-230, April 15-17, 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	Jean-Marie Jacquet , Koenraad De Bosschere, On the semantics of &mgr;Log, Future Generation Computer Systems, v.10 n.1, p.93-135, April 1994
	19	G.A. Papadopoulos and F. Arbab. Coordination models and languages, in Academic Press 48, 1998.
	20	G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
	21	Gruia-Catalin Roman , H. Conrad Cunningham, Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency, IEEE Transactions on Software Engineering, v.16 n.12, p.1361-1373, December 1990 [doi>10.1109/32.62445 ]
	22	Vijay A. Saraswat, Concurrent constraint programming, MIT Press, Cambridge, MA, 1993

CITED BY 6

	Roel Bloo , Jozef Hooman , Edwin de Jong, Semantical aspects of an architecture for distributed embedded systems, Proceedings of the 2000 ACM symposium on Applied computing, p.149-155, March 2000, Como, Italy
	Marcello M. Bonsangue , Joost N. Kok , G. Zavattaro, Comparing coordination models based on shared distributed replicated data, Proceedings of the 1999 ACM symposium on Applied computing, p.156-165, February 28-March 02, 1999, San Antonio, Texas, United States
	Jozef Hooman , Jaco van de Pol, Semantic models of a timed distributed dataspace architecture, Theoretical Computer Science, v.331 n.2-3, p.291-323, 25 February 2005
	Marcello M. Bonsangue , Joost N. Kok , Gianluigi Zavattaro, Comparing coordination models and architectures using embeddings, Science of Computer Programming, v.46 n.1-2, p.31-69, January/February 2003
	Farhad Arbab , Marcello M. Bonsangue , Frank S. de Boer, A coordination language for mobile components, Proceedings of the 2000 ACM symposium on Applied computing, p.166-173, March 2000, Como, Italy
	Rob van Ommering, Horizontal communication: a style to compose control software, Software—Practice & Experience, v.33 n.12, p.1117-1150, October 2003