Verification of Distributed Hierarchical Components

Electronic Notes in Theoretical Computer Science

Volumn 160, Issue 1, 2006, Pages 41-55

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

^a UNIVERSIDAD DIEGO PORTALES   (Chile)

^b UNIVERSITY OF WESTMINSTER   (United Kingdom)

^c UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

asynchrony; behavioural specification; distribution; Hierarchical components

Indexed keywords

ASYNCHRONOUS TRANSFER MODE; CONTROL SYSTEM ANALYSIS; DISTRIBUTED COMPUTER SYSTEMS; FRACTALS; SPECIFICATIONS;

ASYNCHRONY; BEHAVIOURAL SPECIFICATION; DISTRIBUTION; HIERARCHICAL COMPONENTS;

NETWORK COMPONENTS;

EID: 33746668689     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.05.014     Document Type: Article

References (12)

1. Barros T., Boulifa R., and Madelaine E. Parameterized models for distributed java objects. Forte'04 conference, Madrid. LNCS 3235 (2004), Spinger Verlag
2. T. Barros, L. Henrio, and E. Madelaine. Behavioural models for hierarchical components. In SPIN'05 Workshop, San Francisco. LNCS 3639, Spinger Verlag
3. Tomás Barros. Formal Specification and Verification of Distributed Componennts Systems. PhD thesis, INRIA/I3S/CNRS, Novembre 2005, http://www-sop.inria.fr/oasis/Vercors
4. Baude F., Caromel D., and Morel M. From distributed objects to hierarchical grid components. International Symposium on Distributed Objects and Applications. (DOA), Catania, Italy. LNCS (2003), Springer-Verlag
5. E. Bruneton, T. Coupaye, and J. Stefani. Recursive and dynamic software composition with sharing. 7th ECOOP Int. Workshop on Component-Oriented Programming (WCOP'02), June 2002
6. Fantechi A., Carrez C., and Najm E. Behavioural contracts for a sound assembly of components. in proceedings of FORTE'03. LNCS volume 2767 (2003), Springer-Verlag
7. Caromel D., Henrio L., and Serpette B. Asynchronous and deterministic objects. 31st ACM Symp. on Principles of Programming Languages (2004), ACM Press
8. Caromel D., Klauser W., and Vayssière J. Towards seamless computing and metacomputing in Java. Concurrency Practice and Experience 10 11-13 (Nov. 1998) 1043-1061
9. Cleaveland R., and Riely J. Testing-based abstractions for value-passing systems. CONCUR'94. LNCS 836 (1994), Springer
10. Garavel H., Lang F., and Mateescu R. An overview of CADP 2001. European Association for Software Science and Technology Newsletter 4 (August 2002) 13-24
11. R. Mateescu and M. Sighireanu. Efficient on-the-fly model-checking for regular alternation-free mu-calculus. In S. Gnesi et al, editor, Proceedings of FMICS'2000, GMD Report 91, pages 65-86, Berlin, April 2000
12. Plasil F., and Visnovsky S. Behavior protocols for software components. IEEE Transactions on Software Engineering 28 11 (nov. 2002)