Abstract behavior types: A foundation model for components and their composition

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

Volumn 2852, Issue , 2003, Pages 33-70

  Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; CALCULATIONS; FORMAL METHODS; FOUNDATIONS; SOFTWARE ENGINEERING;

ABSTRACT BEHAVIOR TYPES; COMPONENT BASED SYSTEMS; COMPONENT CONNECTORS; COORDINATION LANGUAGE; EXPRESSIVE POWER; FORMAL MODEL; FOUNDATION MODELING; OBJECT ORIENTED PARADIGM;

OBJECT ORIENTED PROGRAMMING;

EID: 0142183394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39656-7_2     Document Type: Article

References (61)

1. F. Arbab. The IWIM model for coordination of concurrent activities. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 34-56. Springer-Verlag, April 1996.
2. P. Arbab. What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, pages 11-22, 1998. Available on-line http://www.cwi.nl/NVTI/Nieuwsbrief/nieuwsbrief.html.
3. F. Arbab. A channel-based coordination model for component composition. Technical Report SEN-R0203, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, February 2002.
4. F. Arbab. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science, 2003.
5. F. Arbab, F. S. de Boer, M. M. Bonsangue, and J. V. Guillen Scholten. MoCha: A framework for coordination using mobile channels. Technical Report SEN-R0128, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, December 2001.
6. F. Arbab, F.S. de Boer, and M.M. Bonsangue. A coordination language for mobile components. In Proc. ACM SAC'00, 2000.
7. F. Arbab and F. Mavaddat. Coordination through channel composition. In F. Arbab and C. Talcott, editors, Coordination Languages and Models: Proc. Coordination 2002, volume 2315 of Lecture Notes in Computer Science, pages 21-38. Springer-Verlag, April 2002.
8. F. Arbab and J. J. M. M. Rutten. A coinductive calculus of component connectors. Technical Report SEN-R0216, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, September 2002.
9. Farhad Arbab, F. S. de Boer, and M. M. Bonsangue. A logical interface description language for components. In Antonio Porto and Gruia-Catalin Roman, editors, Coordination Languages and Models: Proc. Coordination 2000, volume 1906 of Lecture Notes in Computer Science, pages 249-266. Springer-Verlag, September 2000.
10. J.W. de Bakker and J.N. Kok. Towards a Uniform Topological Treatment of Streams and Functions on Streams. In W. Brauer, editor, Proceedings of the 12th International Colloquium on Automata, Languages and Programming, volume 194 of Lecture Notes in Computer Science, pages 140-148, Nafplion, July 1985. Springer-Verlag.
11. L. Barbosa. Components as Coalgebras. PhD thesis, Universidade do Minho, Braga, Portugal, 2001.
12. 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:3-47, 2000.
13. M. Broy. A logical basis for component-based system engineering. Technical report, Technische Universität München, Nov. 2000.
14. M. Broy and K. Stolen. Specification and development of interactive systems, volume 62 of Monographs in Computer Science. Springer, 2001.
15. J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Com-puter Simulation, special issue on Simulation Software Development(3), January 1990.
16. CORBA. See: http://www.omg.org.
17. F. S. de Boer and M. M. Bonsangue. A compositional model for confluent dy-namic data-flow networks. In M. Nielsen and B. Rovan, editors, Proc. International Symposium of the Mathematical Foundations of Computer Science (MFCS), volume 1893 of Lecture Notes in Computer Science, pages 212-221. Springer-Verlag, August-September 2000.
18. Enterprise JavaBeans. See: http://java.sun.com/products/ejb.
19. D. Gelernter and N. Carrière. Coordination languages and their significance. Communication of the ACM, 35(2):97-107, February 1992.
20. J. Gore. Object Structures: Building Object-Oriented Software Components. Addison Wesley, 1996.
21. R. Grimes. Professional DCOM Programming. Wrox Press, 1997.
22. H.P. Gumm and T. Schröder. Covarieties and complete covarieties. In [29], 1998.
23. H. Barringer, R. Kuiper, and A. Pnueli. A really abstract current model and its temporal logic. In Proceedings of Thirteenth Annual ACM Symposium on principles of Programming Languages, pages 173-183. ACM, 1986.
24. R. Hennicker and M. Wirsing. A formal method for the systematic reuse of specification components. In Methods of Programming, volume 544 of LNCS, pages 49-75. Springer Verlag, 1991.
25. F. Huber, A. Rausch, and B. Rumpe. Modeling dynamic component interfaces. In M. Singh, B. Meyer, J. Gil, and R. Mitchell, editors, Proc. Technology of Object-Oriented Languages and Systems (TOOLS'98), pages 58-70. IEEE Computer Society, 1998.
26. B. Jacobs. Behaviour-refinement of object-oriented specifications with coinductive correctness proofs. Report CSI-R9618, Computing Science Institute, University of Nijmegen, 1996.
27. Also in the proceedings of TAPSOFT'97.
28. B. Jacobs. Coalgebraic specifications and models of deterministic hybrid systems. In M. Wirsing and M. Nivat, editors, Algebraic Methods and Software Technology, number 1101 in Lecture Notes in Computer Science, pages 520-535. Springer-Verlag, 1996.
29. B. Jacobs. Inheritance and cofree constructions. In P. Cointe, editor, European Conference on Object-Oriented Programming, number 1098 in Lecture Notes in Computer Science, pages 210-231. Springer-Verlag, 1996.
30. B. Jacobs, L. Moss, H. Reichel, and J.J.M.M. Rutten, editors. Proceedings of the first international workshop on Coalgebraic Methods in Computer Science (CMCS '98), volume 11 of Electronic Notes in Theoretical Computer Science. Elsevier Science B.V., 1998. Available at URL: www.elsevier.nl/locate/entcs.
31. B. Jacobs and J.J.M.M. Rutten. A tutorial on (co)algebras and (co)induction. Bulletin of EATCS, 62:222-259, 1997. Available on-line http://www.cs.kun.n1/~bart/PAPERS/JR.ps.Z.
32. Jini. See: http://www.sun.com/jini.
33. J.N. Kok. Semantic Models for Parallel Computation in Data Flow, Logic- and Object-Oriented Programming. PhD thesis, Vrije Universiteit, Amsterdam, May 1989.
34. E. A. Lee and T. M. Parks. Dataflow process networks. In Proceedings of the IEEE, volume 83, pages 773-801, May 1995.
35. Edward A. Lee and David G. Messerschmitt. An overview of the ptolemy project. Technical report, Dept. of Electrical Engineering and Computer Sciences, University of California at Berkeley, 1993.
36. S. Li et al. Professional Jini. Mass Market Paperback, 2000.
37. V. Matena and B. Stearns. Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform. Java Series, Enterprise Edition. Addison-Wesley, 2000.
38. B. Meyer. Eiffel: The Language. Prentice Hall, 1992.
39. B. Meyer. Reusable Software: The Base Object-Oriented Component Libraries. Prentice Hall, 1994.
40. R. Milner. Elements of interaction. Communications of the ACM, 36(1):78-89, January 1993.
41. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100(1):1-77, 1992.
42. Lawrence S. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96(1-3):277-317, 1999.
43. Lawrence S. Moss and Norman Danner. On the foundations of corecursion. Logic Journal of the IGPL, 5(2):231-257, 1997.
44. O. Nierstrasz and F. Achermann. A calculus for modeling software components. In F. S. de Boer, M. M. Bonsangue, S. Graf, and W.-P. de Roever, editors, Proc. First International Symposium on Formal Methods for Components and Objects (FMCO '02), LNCS. Springer, 2003. (this volume).
45. S. Oaks and H. Wong. Jini in a Nutshell. O'Reilly & Associates, 2000.
46. G.A. Papadopoulos and F. Arbab. Coordination models and languages. In M. Zelkowitz, editor, Advances in Computers - The Engineering of Large Systems, volume 46, pages 329-400. Academic Press, 1998.
47. D. Pattinson and M. Wirsing. Making components move: A separation of concerns approach. In F. S. de Boer, M. M. Bonsangue, S. Graf, and W.-P. de Roever, editors, Proc. First International Symposium on Formal Methods for Components and Objects (FMCO '02), LNCS. Springer, 2003. (this volume).
48. H. Reichel. An approach to object semantics based on terminal coalgebras. Mathematical Structures in Computer Science, 5:129-152, 1995.
49. J. J. M. M. Rutten. Elements of stream calculus (an extensive exercise in coinduction. In S. Brookes and M. Mislove, editors, Proc. of 17th Conf. on Mathematical Foundations of Programming Semantics, Aarhus, Denmark, 23-26 May 2001, volume 45 of Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam, 2001.
50. J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Technical Report CS-R9652, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1996. Available on-line http://www.cwi.nl/ftp/CWIreports/AP/CS-R9652.ps.Z.
51. J.J.M.M. Rutten. Automata and coinduction (an exercise in coalgebra). Report SEN-R9803, CWI, 1998. Available at URL: www.cwi.nl.
52. Also in the proceedings of CONCUR '98, LNCS 1466, 1998, pp. 194-218.
53. J.J.M.M. Rutten. Automata, power series, and coinduction: taking input derivatives seriously (extended abstract). Report SEN-R9901, CWI, 1999. Available at URL: www.cwi.nl.
54. Also in the proceedings of ICALP '99, LNCS 1644, 1999, pp. 645-654.
55. J.J.M.M. Rutten. Coalgebra, concurrency, and control. Report SEN-R9921, CWI, 1999. Available at URL: www.cwi.nl.
56. Extended abstract in: Discrete Event Systems, R. Boel and G. Stremersch (eds.), Kluwer, 2000.
57. J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1):3-80, 2000.
58. Davide Sangiorgi. Asynchronous process calculi: the first-order and higher-order paradigms (tutorial). Theoretical Computer Science, 253, 2001.
59. Jon Siegel. CORBA: Fundamentals and Programming. John Wiley & Sons Inc., New York, 1 edition, 1996.
60. Alan Snyder. Encapsulation and inheritance in object-oriented programming languages. In OOPSLA '86, pages 38-45, September 1986.
61. M. Wirsing, R. Hennicker, and R. Breu. Reusable specification components. Technical Report MIP-8817, Passau University, 1988.