A calculus for modeling software components

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

Volumn 2852, Issue , 2003, Pages 339-360

  Nierstrasz, Oscar ^a   Achermann, Franz ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL METHODS; SEMANTICS;

ABSTRACT MACHINES; COMPOSITION LANGUAGES; DESIGN RATIONALE; EVALUATION STRATEGIES; MODEL COMPONENTS; MODELING SOFTWARES; SEMANTIC FOUNDATION; SOFTWARE COMPONENT;

CALCULATIONS;

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

References (46)

1. Martín Abadi, Luca Cardelli, Pierre-Louis Curicn, and Jean-Jacques Lévy. Explicit substitutions. Journal of Functional Programming, 1(4):375-416, October 1991.
2. Franz Achermann. Forms, Agents and Channels - Defining Composition Abstraction with Style. PhD thesis, University of Berne, January 2002.
3. Franz Achermann, Stefan Kneubuehl, and Oscar Nierstrasz. Scripting coordination styles. In António Porto and Gruia-Catalin Roman, editors, Coordination '2000, volume 1906 of LNCS, pages 19-35, Limassol, Cyprus, September 2000. Springer-Verlag.
4. Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola - a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, pages 403-426. Cambridge University Press, 2001.
5. Franz Achermann and Oscar Nierstrasz. Explicit Namespaces. In Jürg Gutknecht and Wolfgang Week, editors, Modular Programming Languages, volume 1897 of LNCS, pages 77-89, Zürich, Switzerland, September 2000. Springer-Verlag.
6. Franz Achermann and Oscar Nierstrasz. Applications = Components + Scripts - A Tour of Piccola. In Mehmet Aksit, editor, Software Architectures and Component Technology, pages 261-292. Kluwer, 2001.
7. Farhad Arbab and Farhad 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. Gérard Berry and Gérard Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217-248, 1992.
9. Gérard Boudol. The pi-calculus in direct style. In Conference Record of POPL '97, pages 228-241, 1997.
10. Rod Burstall and Butler Lampson. A kernel language for abstract data types and modules. Information and Computation, 76(2/3), 1984.
11. Also appeared in Proceedings of the International Symposium on Semantics of Data Types, Springer, LNCS (1984), and as SRC Research Report 1.
12. Luca Cardelli and John C. Mitchell. Operations on records. In Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming. Types, Semantics and Language Design, pages 295-350. MIT Press, 1993.
13. Silvano Dal-Zilio. Le calcul bleu: types et objects. Ph.D. thesis, Université de Nice - Sophia Antipolis, July 1999. In french.
14. Laurent Dami. Software Composition: Towards an Integration of Functional and Object-Oriented Approaches. Ph.D. thesis, University of Geneva, 1994.
15. Cédric Fournet and Georges Gonthier. A hierarchy of equivalences for asynchronous calculi. In Proceedings of ICALP '98, pages 844-855, 1998.
16. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR '96), volume 1119 of LNCS, pages 406-421. Springer-Verlag, August 1996.
17. David Garlan, Robert Allen, and John Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17-26, November 1995.
18. Andrew D. Gordon and Paul D. Hankin. A concurrent object calculus: Reduction and typing. In Proceedings HLCL '98. Elsevier ENTCS, 1998.
19. Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In Pierre America, editor, Proceedings ECOOP '91, volume 512 of LNCS, pages 133-147, Geneva, Switzerland, July 15-19 1991. Springer-Verlag.
20. Stefan Kneubuehl. Typeful compositional styles. Diploma thesis, University of Bern, April 2003.
21. Markus Lumpe. A Pi-Calculus Based Approach to Software Composition. Ph.D. thesis, University of Bern, Institute of Computer Science and Applied Mathematics, January 1999.
22. Markus Lumpe, Franz Achermann, and Oscar Nierstrasz. A Formal Language for Composition. In Gary Leavens and Murali Sitaraman, editors, Foundations of Component Based Systems, pages 69-90. Cambridge University Press, 2000.
23. Mark Lutz. Programming Python. O'Reilly & Associates, Inc., 1996.
24. Massimo Merro and Davide Sangiorgi. On asynchrony in name-passing calculi. In Kim G. Larsen, Sven Skyum, and Glynn Winskel, editors, 25th Colloquium on Automata, Languages and Programming (ICALP) (Aalborg, Denmark), volume 1443 of LNCS, pages 856-867. Springer-Verlag, July 1998.
25. Wolfgang De Meuter. Agora: The story of the simplest MOP in the world - or - the scheme of object-orientation. In J. Noble, I. Moore, and A. Taivalsaari, editors, Prototype-based Programming. Springer-Verlag, 1998.
26. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, part I/II. Information and Computation, 100:1-77, 1992.
27. Robin Milner and Davide Sangiorgi. Barbed bisimulation. In Proceedings ICALP '92, volume 623 of LNCS, pages 685-695, Vienna, July 1992. Springer-Verlag.
28. Uwe Nestmann and Benjamin C. Pierce. Decoding choice encodings. In Ugo Montanari and Vladimiro Sassone, editors, CONCUR '96: Concurrency Theory, 7th International Conference, volume 1119 of LNCS, pages 179-194, Pisa, Italy, August 1996. Springer-Verlag.
29. Oscar Nierstrasz. Contractual types, submitted for publication, 2003.
30. Oscar Nierstrasz and Franz Achermann. Supporting Compositional Styles for Software Evolution. In Proceedings International Symposium on Principles of Software Evolution (ISPSE 2000), pages 11-19, Kanazawa, Japan, Nov 1-2 2000. IEEE.
31. Oscar Nierstrasz, Franz Achermann, and Stefan Kneubuehl. A guide to jpiccola. Technical report, Institut für Informatik, Universität Bern, Switzerland, 2003. Available from www.iam.unibe.ch/~scg/Research/Piccola.
32. Oscar Nierstrasz and Laurent Dami. Component-oriented software technology. In Oscar Nierstrasz and Dennis Tsichritzis, editors, Object-Oriented Software Composition, pages 3-28. Prentice-Hall, 1995.
33. Shin-ya Nishizaki. Programmable environment calculus as theory of dynamic software evolution. In Proceedings ISPSE 2000. IEEE Computer Society Press, 2000.
34. Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, May 2000.
35. Didier Rémy. Typing Record Concatenation for Free, chapter 10, pages 351-372. MIT Press, April 1994.
36. Davide Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. Ph.D. thesis, Computer Science Dept., University of Edinburgh, May 1993.
37. Davide Sangiorgi. Asynchronous process calculi: the first-order and higher-order paradigms (tutorial). Theoretical Computer Science, 253, 2001.
38. Masahiko Sato, Takafumi Sakurai, and Rod M. Burstall. Explicit environments. In Jean-Yves Girard, editor, Typed Lambda Calculi and Applications, volume 1581 of LNCS, pages 340-354, L'Aquila, Italy, April 1999. Springer-Verlag.
39. Nathanael Schärli. Supporting pure composition by inter-language bridging on the meta-level. Diploma thesis, University of Bern, September 2001.
40. Nathanael Schärli and Franz Achermann. Partial evaluation of inter-language wrappers. In Workshop on Composition Languages, WCL '01, September 2001.
41. Jean-Guy Schneider. Components, Scripts, and Glue: A conceptual framework for software composition. Ph.D. thesis, University of Bern, Institute of Computer Science and Applied Mathematics, October 1999.
42. Jean-Guy Schneider and Oscar Nierstrasz. Components, scripts and glue. In Leonor Barroca, Jon Hall, and Patrick Hall, editors, Software Architectures - Advances and Applications, pages 13-25. Springer-Verlag, 1999.
43. Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, 1996.
44. Clemens A. Szyperski. Component Software. Addison Wesley, 1998.
45. David Walker. Objects in the π-calculus. Information and Computation, 116(2):253-271, February 1995.
46. Pawel T. Wojciechowski. Nomadic Pict: Language and Infrastructure Design for Mobile Computation. PhD thesis, Wolfson College, University of Cambridge, March 2000.