Coordinating interaction patterns

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2001, Pages 159-165

  Bracciali, Andrea ^a   Brogi, Antonio ^a   Turini, Franco ^a  

^a Earth Sciences Department   (Italy)

Author keywords

Interaction; Interface description languages; Open systems

Indexed keywords

COMPUTATION THEORY;

INTERACTING SYSTEM; INTERACTION; INTERACTION PATTERN; INTERFACE DESCRIPTION LANGUAGES; IT SUPPORTS; LARGE COMPONENTS; NEW COMPONENTS; SOFTWARE DESIGNERS;

OPEN SYSTEMS;

EID: 70649088172     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/372202.372305     Document Type: Conference Paper

References (22)

1. Concurrency Control CORBAservice. http://www.omg.org/techonology/documents/formal/concurrencyservice.htm.
2. JavaBeans Documentation. http://java.sun.com/beans/docs/.
3. .NET Programming the Web. http://msdn.microsoft.com.
4. The Object Management Group. http://www.omg.org.
5. G. Berry. Preemption in concurrent systems. In Foundations of Software Technology and Theoretical Computer Science, volume 761 of LNCS, Bombay, India, 1993. Springer-Verlag.
6. E. Brinksma. A Formal Description Tecnique based on the Tempotal Ordering of Observable Behaviours. Information Processing Systems - Open Systems Interconnection, 1988. ISO8807.
7. C. Canal, L. Fuentes, J. Troya, and A. Vallecillo. Adding semantic information to IDLs. Is it really practical? In Proceedings of the OOPSLA'99 Workshop on Behavioral Semantics, Denver, Colorado, 1999.
8. L. Cardelli. Type systems. Handbook of Computer Science and Engineering, Chapter 103, CRC Press, 1997.
9. N. Carriero and D. Gelernter. Coordination languages and their significance. CACM, 35(2):97-107, 1992.
10. D. Chappell. Understanding ActiveX and OLE. Microsoft Press, Redmond, WA, 1996.
11. E. Clarke, J. Wing, et al. Formal methods: State of the art and future directions. ACM Compitung Surveys, 28(4):626-643, Dec. 1996.
12. R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Trans. Program Lang. Syst., 15(1):36-72, Jan. 1993.
13. J. Cruz and S. Ducasse. A group based approach for coordinating active objects. In Coordination Languages and Models - COORDINATION'99, volume 1594 of LNCS. Springer-Verlag, 1999.
14. M. Dolgicer. Inside CORBA services. Application Development Trends, pages 63-71, June 1997.
15. D. Helmbold and D. Luckman. Debugging ada tasking programs. IEEE Software, 2(2):47-57, March 1985.
16. B. Jacobs and J. Rutten. A Tutorial on (Co)Algebras and (Co)Induction. EATCS Bull., 62:222-259, 1997.
17. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Journal of Information and Computation, 100:1-77, 1992.
18. E. Najm, A. Nimour, and J. Stefani. Infinite types for distributed objects interfaces. In Proceedings of FMOODS'99. Kluwer, 1999.
19. A. Omicini and F. Zambonelli. Coordination for Internet application development. Journal of Autonomous Agents and Multi-Agent Systems, 2(3):251-269, September 1999.
20. G. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46, 1998.
21. A. Pnueli. A temporal logic of concurrent programs. Theor. Comput. Sci., 13:45-60, 1981.
22. N. Sample, D. Beringer, L. Melloul, and G. Widerhold. Clam: Composition language for autonomous megamodules. In Coordination Languages and Models (COORDINATION'99), volume 1594 of LNCS. Springer-Verlag, 1999.