A Java implementation of a component model with explicit symbolic protocols

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

Volumn 3628 LNCS, Issue , 2005, Pages 115-124

  Pavel, Sebastian ^a   Noyé, Jacques ^a   Poizat, Pascal ^b   Royer, Jean Claude ^a  

^a ECOLE DES MINES DE NANTES   (France)

^b UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

Behavioural IDL; CBSE; Channels; Controllers; Explicit Protocols; Java; Symbolic Transition Systems

Indexed keywords

CONTROL EQUIPMENT; ENCAPSULATION; JAVA PROGRAMMING LANGUAGE; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SYSTEMS ANALYSIS;

BEHAVIOURAL IDL; CHANNELS; COMPONENT-BASED SOFTWARE ENGINEERING (CBSE); JAVA; SYMBOLIC TRANSITION SYSTEMS; SYSTEM DEVELOPMENT;

SOFTWARE ENGINEERING;

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

References (27)

1. R. J. Allen. A formal approach to software architecture. PhD thesis, Carnegie Mellon University, 1997.
2. F. Arbab, J. V. Guillen Scholten, F.S. de Boer, and M. M. Bonsangue. A channel-based coordination model for components. Technical report, Centruum voor Wiskunde en Informatica, 2002.
3. A. Arnold. Finite transition systems. Prentice-Hall, 1994.
4. C. Attiogbé, P. Poizat, and G. Salaün. Integration of formal datatypes within state diagrams. In FASE 2003, volume 2621 of Lecture Notes in Computer Science, pages 344-355. Springer-Verlag, 2003.
5. L. Bellissard, S. B. Atallah, A. Kerbrat, and M. Riveill. Component-based programming and application management with Olan. In J. Briot, J. Geib, and A. Yonezawa, editors, Object-Based Parallel And Distributed Computation, volume 1107 of Lecture Notes in Computer Science, pages 290-309. Springer-Verlag, Berlin, 1995.
6. J. A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier, 2001.
7. M. Calder, S. Maharaj, and C. Shankland. A modal logic for full LOTOS based on symbolic transition systems. The Computer Journal, 45(1):55-61, 2002.
8. C. Canal, J. M. Murillo, and P. Poizat, editors. WCAT'2004 - Int. Workshop on Coordination and Adaptation Techniques for Software Entities, 2004. Available at http://wcat04.unex.es.
9. S. Chiba. Load-time structural reflection in Java. In E. Bertino, editor, Proceedings of the European Conference on Object-oriented Programming (ECOOP 2000), volume 1850 of Lecture Notes in Computer Science, pages 313-336, France, June 2000. Springer-Verlag.
10. C. Choppy, P. Poizat, and J.-C. Royer. A global semantics for views. In T. Rus, editor, International Conference, AMAST 2000, volume 1816 of Lecture Notes in Computer Science, pages 165-180. Springer-Verlag, 2000.
11. L. de Alfaro and T.A. Henzinger. Interface automata. In Proceedings of the Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), pages 109-120, Vienna, Austria, September 2001.
12. A. Farías, Y.-G. Guéhéneuc, and M. Südholt. Integrating behavioral protocols in Enterprise Java Beans. In K. Baclawski and H. Kilov, editors, Eleventh OOPSLA Workshop on Behavioral Semantics: Serving the Customer, pages 80-89, 2002.
13. E. Gagnon. SableCC, An Object-Oriented Compiler Framework. PhD thesis, School of Computer Science McGill University, Montreal, November 1998.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley Professional Computing Series. Addison Wesley, 1995.
15. A. Ingólfsdóttir and H. Lin. A Symbolic Approach to Value-passing Processes, chapter 7 in [6], pages 427-478. Elsevier, 2001.
16. I. Kiselev. Aspect-Oriented Programming with AspectJ. Sams Publishing, Indianapolis, 2003.
17. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of ESEC'95, pages 137-53. IEEE, 1995.
18. J. Magee and J. Kramer. Concurrency: State Models & Java Programs. Wiley, 1999.
19. N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. IEEE - Transactions on Software Engineering, 26(1):70-93, 2000.
20. S. Pavel, J. Noyé, P. Poizat, and J.-C. Royer. A formal component model with explicit symbolic protocols and its Java implementation. Technical report, Ecole des Mines de Nantes, 2005.
21. F. Plasïl and S. Visnovsky. Behavior protocols for software components. IEEE - Transactions on Software Engineering, 28(11):1056-1076, November 2002.
22. P. Poizat and J.-C. Royer. Korrigan: a formal ADL with full data types and a temporal glue. Technical Report 83-2002, Laboratoire de Méthodes Informatiques, 2002. Available at http://www.lami.univ-evry.fr/~poizat/ publications-fr.php.
23. J.-C. Royer. The GAT approach to specify mixed systems. Informatica, 27(1):89-103, 2003.
24. Mario Südholt. A model of components with non-regular protocols. In Proceedings of the 4th International Workshop on Software Composition (SC'05), Lecture Notes in Computer Science. Springer-Verlag, April 2005.
25. K. J. Turner, editor. Using Formal Description Techniques, An introduction to Estelle, LOTOS and SDL. Wiley, 1993.
26. J. van den Bos and C. Laffra. PROCOL: A parallel object language with protocols. In Norman Meyrowitz, editor, OOPSLA'89 Conference Proceedings, pages 95-102. ACM Press, 1989.
27. D. M. Yellin and R. E. Strom. Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.