Behavioural models for hierarchical components

Lecture Notes in Computer Science

Volumn 3639, Issue , 2005, Pages 154-168

  Barros, Tomás ^a   Henrio, Ludovic ^b   Madelaine, Eric ^a  

^a INRIA   (France)

^b UNIVERSITY OF WESTMINSTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; MATHEMATICAL MODELS; SEMANTICS; SOCIAL SCIENCES COMPUTING; SYNCHRONIZATION;

BEHAVIOURAL MODELS; HIERARCHICAL COMPONENT SYSTEMS; MODEL-CHECKING; SYNCHRONIZED TRANSITION SYSTEMS;

HIERARCHICAL SYSTEMS;

EID: 26944469965     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11537328_14     Document Type: Conference Paper

References (14)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.
2. A. Arnold. Finite transition systems. Semantics of communicating sytems. Prentice-Hall, 1994.
3. I. Attali, T. Barros, and E. Madelaine. Formalisation and proofs of the chilean electronic invoices system. In XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), pages 14-25, Arica, Chili, November 2004. IEEE Computer Society.
4. T. Barros, R. Boulifa, and E. Madelaine. Parameterized models for distributed java objects. In Forte'04 conference, Madrid, 2004. LNCS 3235, Spinger Verlag.
5. T. Barros, Henrio Ludovic, and E. Madelaine. Behavioural models for hierarchical components. Technical Report RR-5591, INRJA, June 2005.
6. Francoise Baude, Denis Caromel, and Matthieu Morel. From distributed objects to hierarchical grid components. In International Symposium on Distributed Objects and Applications (DOA), Catania, Sicily, Italy, 3-7 November. LNCS, 2003.
7. E. Bruneton, T. Coupaye, and J. Stefani. Recursive and dynamic software composition with sharing. Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP'02), June 2002.
8. A. Fantechi C. Carrez and E. Najm. Behavioural contracts for a sound assembly of components. In Springer-Verlag, editor, in proceedings of FORTE'03, volume LNCS 2767, November 2003.
9. R. De Nicola and F.W. Vaandrager. Action versus state based logics for transition systems. In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, volume 469 of LNCS, La Roche Posay, France, 1990. Springer.
10. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter, 4:13-24, August 2002.
11. D. Giannakopoulou, J. Kramer, and S. Chi Cheung. Behaviour analysis of distributed systems using the tracta approach. Automated Software Engg., 6(1):7-35, 1999.
12. J. Hatcliff, X. Deng, M. B. Dwyer, G. Jung, and V. P. Ranganath. Cadena: an integrated development, analysis, and verification environment for component-based systems. In ICSE'03 conference, pages 160-173, Washington, DC, USA, 2003. IEEE Computer Society.
13. H. Lin. Symbolic transition graph with assignment. In U. Montanari and V. Sassone, editors, CONCUR '96, Pisa, Italy, 26-29 August 1996. LNCS 1119.
14. F. Plasil and S. Visnovsky. Behavior protocols for software components. IEEE Transactions on Software Engineering, 28(11), nov 2002.