A model of components with non-regular protocols

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

Volumn 3628 LNCS, Issue , 2005, Pages 99-113

  Südholt, Mario ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; INTEGRATION; INTERFACES (COMPUTER); MATHEMATICAL MODELS; NETWORK PROTOCOLS;

BEHAVIORAL SPECIFICATIONS; COMPONENT INTERFACES; NON-REGULAR PROTOCOLS; PEER-TO-PEER APPLICATIONS; PROTOCOL-MODIFYING OPERATORS;

KNOWLEDGE BASED SYSTEMS;

EID: 33646122860     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11550679_8     Document Type: Conference Paper

References (25)

1. K. Aberer and Z. Despotovic. Managing trust in a Peer-2-Peer information system. In Henrique Paques, Ling Liu, and David Grossman, editors, Proceedings of the Tenth International Conference on Information and Knowledge Management (CIKM-01), pages 310-317, New York, November 5-10 2001. ACM Press.
2. E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J.-B. Stefani. An open component model and its support in Java. In I. Crnkovic et al., editors, Proc. of the 7th Int. Symposium on Component-Based Software Engineering (CBSE 2004), volume 3054 of LNCS, pages 7-22. Springer-Verlag, 2004.
3. L. de Alfaro and T. A. Henzinger. Interface automata. In V. Gruhn, editor, Proc. of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC/FSE-01), volume 26, 5 of SOFTWARE ENGINEERING NOTES, pages 109-120, New York, September 10-14 2001. ACM Press.
4. L.G. DeMichiel et al. Enterprise JavaBeans™ Specification. SUN Microsystems, November 2003. Version 2.1, Final Release.
5. R. Douence, T. Fritz, N. Loriant, J.-M. Menaud, M. Ségura, and M. Südholt. An expressive aspect language for system applications with Arachne. In Proc. of 4th International Conference on Aspect-Oriented Software Development (AOSD'05). ACM Press, March 2005.
6. A. Farías. Un modèle de composants avec des protocoles explicites. PhD thesis, École des Mines de Nantes/Université de Nantes, December 2003.
7. A. Fan'as and M. Südholt. On components with explicit protocols satisfying a notion of correctness by construction. In International Symposium on Distributed Objects and Applications (DOA), volume 2519 of LNCS, pages 995-1006, 2002.
8. A. Fan'as and M. Südholt. Integrating protocol aspects with software components to address dependability concerns. Technical Report 04/6/INFO, École des Mines de Nantes, November 2004.
9. D. Harel. Statecharts: A visual formalism for complex system. Science of Computer Programming, 8(3):231-274, March 1987.
10. G. Kiczales et al. Aspect-Oriented Programming. In M. Aksit and S. Matsuoka, editors, Proc. of the 11th European Conference on Object-Oriented Programming (ECOOP), volume 1241 of LNCS, pages 220-242. Springer-Verlag, 1997.
11. P. Kruchten. Rational Unified Process: an Introduction. Addison-Wesley, Reading, Massachusetts, USA, 1998.
12. O. Maréchal, P. Poizat, and J.-C. Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. In Z. Tari R. Meersman and al., editors, Proc. of Distributed Objects and Applications (DOA'04), volume 3291 of LNCS, pages 1502-1519. Springer-Verlag, 2004.
13. O. Nierstrasz. Regular types for active objects. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), volume 28(10) of ACM SigPlan Notices, pages 1-15. ACM Press, October 1993.
14. S. Pavel, J. Noyé, P. Poizat, and J.-C. Royer. Java implementation of a component model with explicit symbolic protocols. In Proceedings of the 4th International Workshop on Software Composition (SC'05), LNCS. Springer-Verlag, April 2005. To appear.
15. F. Plasil and S. Visnovsky. Behavior protocols for software components. In Transactions on Software Engineering. IEEE, January 2002.
16. F. Puntigam. Coordination requirements expressed in types for active objects. In Mehmet Akşit and Satoshi Matsuoka, editors, ECOOP"97 - Object-Oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 367-388. Springer-Verlag, 1997.
17. F. Puntigam. Non-regular process types. In P. Amestoy et al., editors, Proceedings of the 5th European Conference on Parallel Processing (Euro-Par'99), number 1685 in LNCS, Toulouse, France, September 1999. Springer-Verlag.
18. F. Puntigam. State information in statically checked interfaces. 8th Int. WS on Component-Oriented Programming at ECOOP, July 2003.
19. R. H. Reussner. Counter-constraint finite state machines: A new model for resource-bounded component protocols. In B. Grosky, F. Plasil, and A. Krenek, editors, Proc. of the 29th Annual Conference in Current Trends in Theory and Practice of Informatics (SOFSEM 2002), Milovy, Tschechische Republik, volume 2540 of LNCS. Springer-Verlag, November 2002.
20. M. Ripeanu, I. Foster, and A. Iamnitchi. Mapping the Gnutella network: Properties of large-scale peer-to-peer systems and implications for system design. IEEE Internet Computing Journal, 6(1), September 25 2002. Special issue on peer-to-peer networking.
21. H. W. Schmidt and R. Reussner. Generating adapters for concurrent component protocol synchronisation. In Proc. of the 5th IFIP International conference on Formal Methods for Open Object-based Distributed Systems, pages 213-229. Kluwer, March 2002.
22. J. C. Seco and L. Caires. A basic model of typed components. In Proc. of ECOOP, volume 1850 of LNCS, pages 108-128. Springer-Verlag, 2000.
23. R. J. Walker and K. Viggers. Implementing protocols via declarative event patterns. In Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), 2004.
24. B. Wydaeghe. PACOSUITE - Component Composition Based on Composition Patterns and Usage Scenarios. PhD thesis, Vrije Universiteit Brussel (VUB), November 2001.
25. D. M. Yellin and R. E. Strom. Protocol specifications and component adaptors. ACM Transactions of Programming Languages and Systems, 19(2):292-333, March 1997.