Jironde: A flexible framework for making components transactional

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

Volumn 2893, Issue , 2003, Pages 98-109

  Prochazka, Marek ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLERS; FORMAL METHODS; FRACTALS; INTEROPERABILITY; NETWORK COMPONENTS; SOFTWARE ENGINEERING;

COMPONENT BASED SYSTEMS; COMPONENT COMPOSITION; COMPONENT CONTRACTS; COMPONENT FRAMEWORK; CONTROLLER IMPLEMENTATION; FLEXIBLE COMPONENTS; FRACTAL COMPONENT MODELS; PROTOTYPE IMPLEMENTATIONS;

CONCURRENCY CONTROL;

EID: 0344550421     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40010-3_9     Document Type: Article

References (26)

1. Allen, R., J., "A Formal Approach to Software Architecture", Ph.D. Thesis (1997)
2. Alonso, G., Fessler, A., Pardon, G., Schek, H.-J., "Correctness in General Configurations of Transactional Components", in Proceedings of the ACM Symposium on Principles of Database Systems (PODS '99), Philadelphia, USA (1999)
3. Andersen, A., Blair, G., Goebel, V., Karlsen, R., Stabell-Kulø, T., Yu, W., "Arctic Beans: Configurable and Reconfigurable Enterprise Component Architectures", IEEE Distributed Systems Online, Vol. 2, No. 7, http://dsonline.computer.org/ (2001)
4. Bernstein, P., A., Hadzilacos, V., Goodman, N., "Concurrency Control and Recovery in Database Systems", Addison Wesley (1987)
5. Giannakopoulou, D., "Model Checking for Concurrent Software Architectures", Doctoral Dissertation, Imperial College, University of London (1999)
6. Gray, S., Lievano, R., Jennings, R., "Microsoft Transaction Server 2.0", Sams Publishing (1997)
7. th European Conference on Object-Oriented Programming, Malaga, Spain (2002)
8. Luckham, D., C., Kenney, J., J., Augustin, L., M., Vera, J., Bryan, D., Mann, W., "Specification and Analysis of System Architecture Using Rapide", IEEE Transactions on Software Engineering, Vol. 21, No. 4 (1995) 336-355
9. Microsoft Corporation, "Component Object Model (COM) Specification 0.9" (1995)
10. Microsoft Corporation, "Distributed Component Object Model Protocol - DCOM/1.0" (1998)
11. Object Management Group, "Transaction Service", Version 1.2, formal/01-05-02 (2001)
12. Object Management Group, "Concurrency Service", Version 1.0, formal/00-06-14 (2000)
13. Object Management Group, "CORBA Components", Version 3.0, formal/02-06-65 (2002)
14. ObjectWeb, http://www.objectweb.org/
15. ObjectWeb, "The Fractal Composition Framework Specification", Version 1.0, http://www.objectweb.org/fractal/(2002)
16. ObjectWeb, "The Java Open Transaction Manager", http://jotm.objectweb.org/
17. Plasil, F., Visnovsky, S., "Behavior Protocols for Software Components", IEEE Transactions on Software Engineering, Vol. 28, No. 11 (2002)
18. th European Conference on Object-Oriented Programming, Darmstadt, Germany (2003)
19. Prochazka, M., "Advanced Transactions in Enterprise JavaBeans", in Proceedings of the Engineering Distributed Objects (EDO) Workshop, Davis, USA (2000)
20. Prochazka, M., Plasil, F., "Container-Interposed Transactions", in Proceedings of the Component-Based Software Engineering (CBSE) Special Session of the SNPD '01 Conference, Nagoya, Japan (2001)
21. Prochazka, M., "Advanced Transactions in Component-Based Software Architectures", Ph.D. thesis, Charles University, University of Evry (2002)
22. th International Workshop on Component-Oriented Programming (WCOP 2003, in conjunction with ECOOP 2003), Darmstadt, Germany (2003)
23. Rouvoy, R., Merle, P., "Abstraction of Transaction Demarcation in Component-Oriented Platforms", ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil (2003)
24. Sun Microsystems, "Enterprise JavaBeans Specification", Version 2.0, Final Release (2001)
25. Sun Microsystems, "Java Transaction API (JTA)", Version 1.01 (1999)
26. X/Open Distributed Transaction Processing: Reference Model, Version 3 (1996)