A logical interface description language for components

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

Volumn 1906, Issue , 2000, Pages 249-266

  Arbab, F ^a   De Boer, F S ^b   Bonsangue, M M ^a  

^a CWI   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

COMPONENT BASED SOFTWARE; COMPONENT BASED SYSTEMS; COMPONENT INTERFACES; COMPOSITIONALITY; DERIVATION SYSTEM; FORMAL SYSTEMS; INTERFACE DESCRIPTION LANGUAGES; SOUND AND COMPLETE;

SEMANTICS;

EID: 84944184553     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45263-x_16     Document Type: Conference Paper

References (18)

1. G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation Journal of Functional Programming, 1 (1): 1-69, 1993.
2. F. Arbab, M. M. Bonsangue, and F. S. de Boer. A coordination language for mobile components. In Proc. of SAC 2000, pages 166-173, ACM press, 2000.
3. F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. Concurrency: Practice and Experience, 5 (1): 23-70, 1993.
4. K. Bergner, A. Rausch, M. Sihling, A. Vilbig An integrated view on componentware: concepts, description techniques, and development process. In R. Lee, editor, Proc. of IASTED Conference on Software Engineering, pages 77-82, ACTA Press, 1998.
5. K. Bergner, A. Rausch, M. Sihling, A. Vilbig, and M. Broy. A formal model for componentware. In M. Sitaraman and G. Leavens, editors, Foundation of Component-Based Systems, Cambridge University Press, 2000.
6. F. S. de Boer. Reasoning about asynchronous communication in dynamically evolving object structures. In Theoretical Computer Science, 2000.
7. F. S. de Boer and M. M. Bonsangue. A compositional model for confluent dynamical data-flow networks. In B. Rovan ed., Proc. 25th MFCS, LNCS, 2000.
8. M. M. Bonsangue, F. Arbab, J. W. de Bakker, J. J. M. M. Rutten, A. Scutellá, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science, 240 (1), July 2000.
9. M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, volume 906 of LNCS, pages 170-187, 1995.
10. L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. of Foundation of Software Science and Computational Structures, volume 1378 of LNCS, pages 140-155, 1998.
11. R. Grosu and K. Stølen. A model for mobile point-to-point data-flow networks without channel sharing. In Proc. AMAST’96, LNCS, 1996.
12. Java Soft. The JavaBeans component architecture, 1999. Available on line at the URL: http://java.sun.com/beans.
13. He Jifeng, M. B. Josephs, and C. A. R. Hoare. A theory of synchrony and asynchrony. In Proc. of IFIP Working Conference on Programming Concepts and Methods, pages 459-478, 1990.
14. Microsoft Corporation. ActiveX Controls, 1999 Available on line at the URL: http://www.microsoft.com/com/tech/activex.asp.
15. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation 100: 1, 1992, pp. 1-77.
16. Object Management Group. CORBA 2. 1 specifications, 1997. Available on line at the URL: http://www.omg.org.
17. E.-R. Olderog and C. A. R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica 23: 9-66, 1986.
18. M. Shaw, R. De Line, D. Klein, T. Ross, D. Young and G. Zelesnik. Abstraction for software architectures and tools to support them. IEEE Transactions on Software Engineering 21 (4): 356-372, 1995.