Dream types: A domain specific type system for component-based message-oriented middleware

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005

Volumn , Issue , 2005, Pages

  Bidinger, Philippe ^a   Leclercq, Matthieu ^a   Quéma, Vivien ^a   Schmitt, Alan ^a   Stefani, Jean Bernard ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; SPECIFICATIONS;

COMPONENT BASED; DOMAIN SPECIFIC; EXTENSIBLE RECORDS; MESSAGE ORIENTED MIDDLEWARE; TYPE SYSTEMS;

MIDDLEWARE;

EID: 84943643175     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1123058.1123061     Document Type: Conference Paper

References (18)

1. Enterprise JavaBeansTM Specification, Version 2.1, August 2002. Sun Microsystems, http://java.sun.com/products/ejb/.
2. J. Aldrich, C. Chambers, and D. Notkin. Architectural Reasoning in ArchJava. In Proceedings ECOOP 2002, LNCS 2548. Springer, 2002.
3. R. Allen and D. Garlan. A Formal Basis for Architectural Connection. In ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 3, pages 213-249, July 1997.
4. G. Blair, G. Coulson, A. Andersen, L. Blair, M. Clarke, F. Costa, H. Duran-Limon, T. Fitzpatrick, L. Johnston, R. Moreira, N. Parlavantzas, and K. Saikoski. The Design and Implementation of Open ORB v2. In IEEE Distributed Systems Online Journal, vol. 2 no. 6, November 2001.
5. E. Bruneton, T. Coupaye, M. Leclercq, V. Qúema, and J.-B. Stefani. An Open Component Model and its Support in Java. In Proceedings of the International Symposium on Component-based Software Engineering (CBSE'2004), Edinburgh, Scotland, 2004.
6. C. Carrez, A. Fantechi, and E. Najm. Behavioural contracts for a sound assembly of components. In FORTE, Volume 2767 of Lecture Notes in Computer Science. Springer, 2003.
7. L. de Alfaro and T. Henzinger. Interface Automata. In Proceedings of the joint 8th European software engineering conference and 9th ACM SIGSOFT international symposium on the foundations of software engineering (ESEC/FSE 01), 2001.
8. L. de Alfaro and T. Henzinger. Interface Thoeries for Component-Based Design. In Proceedings of EMSOFT '01, Volume 2211 of Lecture Notes in Computer Science. Springer, 2001.
9. J.-P. Fassino, J.-B. Stefani, J. Lawall, and G. Muller. THINK: A Software Framework for Component-based Operating System Kernels. In USENIX Annual Technical Conference, 2002.
10. B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. The Flux OSKit: A Substrate for Kernel and Language Research. In SOSP'97, 1997.
11. F. Kon, T. Yamane, K. Hess, R. H. Campbell, and M. D. Mickunas. Dynamic Resource Management and Automatic Configuration of Distributed Component Systems. In Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS'01), San Antonio, USA, January 2001.
12. M. Leclercq, V. Qúema, and J.-B. Stefani. DREAM: a Component Framework for the Construction of Resource-Aware, Reconfigurable MOMs. In Proceedings of the 3rd Workshop on Reflective and Adaptive Middleware (RM'2004), Toronto, Canada, October 2004.
13. E. Lee and Y. Xiong. A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing, 16(3), 2004.
14. P. Merle, editor. CORBA 3.0 New Components Chapters. OMG TC Document ptc/2001-11-03, November 2001.
15. B. C. Pierce. Programming with Intersection Types and Bounded Polymorphism. PhD thesis, Carnegie Mellon University, December 1991. Available as School of Computer Science technical report CMU-CS-91-205.
16. D. Rémy. Type inference for records in a natural extension of ML. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. MIT Press, 1993.
17. D. Rémy. Typing record concatenation for free. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. MIT Press, 1993.
18. D. Sangiorgi and D. Walker. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.