Composing specications for coordination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1594, Issue , 1999, Pages 118-133

  Montangero, Carlo ^a   Semini, Laura ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATION LANGUAGES;

ASYNCHRONOUS COMMUNICATION; COMPOSITIONALITY; DISTRIBUTED SYSTEMS; GLOBAL PROPERTIES; LOCAL PROPERTY; WORK ABILITIES;

SPECIFICATIONS;

EID: 84957553289     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48919-3_10     Document Type: Conference Paper

References (21)

1. M. Abadi and L. Lamport. Composing Specifications. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Proc. Stepwise Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, pages 1-41. Springer-Verlag, 1989.
2. R.J.R. Back and J. von Wright. Refinement Calculus. A Systematic Introduction. Graduate texts in computer science. Springer-Verlag, 1998.
3. M. M. Bonsangue, J.N. Kok, M. Boasson, and E. de Jong. A software architecture for distributed control systems and its transition system semantics. In Proc. ACM Symp. on Applied Computing SAC'98, pages 159-168, Atlanta, 1998. ACM press.
4. K. De Bosschere and J.-M. Jacquet. p2 Log: Towards Remote Coordination. In P. Ciancarini and C. Hankin, editors, Proc. Coordination Languages and Models, First International Conference, COORDINATION 96, volume 1061 of Lecture Notes in Computer Science, pages 142-159, Cesena, April 1996. Springer-Verlag.
5. A. Brogi and J.-M. Jacquet. Modelling Coordination via Asynchronous Communication. In D. Garlan and D. LeMetayer, editors, Proc. 2nd Int. Conf. on Coordination Models and Languages, volume 1282 of Lecture Notes in Computer Science, pages 238-255, Berlin, Germany, September 1997. Springer-Verlag, Berlin.
6. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading Mass., 1988.
7. X.J. Chen and C. Montangero. Compositional Refinements of Multiple Blackboard Systems. Acta Informatica, 32(5):415-458, 1995.
8. P. Ciancarini, M. Mazza, and L. Pazzaglia. A logic for a coordination model with multiple spaces. Science of Computer Programming, 31(2-3):231-261, July 1998.
9. P. Ciancarini, O. Nierstrasz, and R. Tolksdorf. A case study in coordination: Conference management on the internet. Available at: http://malvasia.di.fct.unl.pt/activity/coordina/working/case-studies, 1998.
10. R. DeNicola, G. Ferrari, and R. Pugliese. A kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, 1998.
11. H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for specifying concurrent information systems. In J. Chomicki and G. Saake, editors, Logic for Databases and Information Syustems, pages 167-198. Kluver Academic Publishers, 1998.
12. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about knowledge. MIT Press, 1995.
13. H. Goeman, J.N. Kok, K. Sere, and R. Udkin. Coordination in the IinpUnity Framework. Science of Computer Programming, 31(2-3):313-334, Jul. 1998.
14. J.-M. Jacquet and K. De Bosschere. On Composing Concurrent Logic Processes. In L. Sterling, editor, Proc. 12th Int'l Conf. on Logic Programming, ICLP'95, pages 531-545, Tokio, 1995. The MIT Press, Cambridge, Mass.
15. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
16. K. Lodaya, R. Parikh, R. Ramanujam, and P.S. Thiagarajan. A Logical Study of Distributed Transition Systems. Information and Computation, 119(1):91-118, 1995.
17. C. Montangero and L. Semini. Refining by Architectural Styles or Architecting by Refinements. In L. Vidal, A. Finkelstein, G. Spanoudakis, and A.L. Wolf, editors, 2nd International Software Architecture Workshop, Proceedings of the SIGSOFT '96 Workshops, Part 1, pages 76-79, San Francisco, CA, Oct 1996. ACM Press.
18. R. Ramanujam. Local knowledge assertions in a changing world. In Proc. TARK IV, pages 1-17. Morgan Kaufmann, 1996.
19. R. Ramanujam. Locally linear time temporal logic. In Proc. 11th IEEE Symp. on Logic In Computer Science, pages 118-127. IEEE Computer Society, 1996.
20. L. Semini. Refinement in Tuple Space Languages. PhD thesis, Dipartimento di Informatica, Universita di Pisa, 1996. TD 10-96.
21. L. Semini and C. Montangero. A Refinement Calculus for Tuple Spaces. To appear in Science of Computer Programming.