论文信息 - Behavioural Verification of Distributed Components

Behavioural Verification of Distributed Components

This paper presents a brief overview of our efforts in the behavioural specification and verification of distributed component systems. Our objective in this work is to provide tools to help the programmer specify the behaviour of his/her components, generate a model, and check the correctness of his/her application.

Ludovic Henrio | Eric Madelaine

[1] Ludovic Henrio,et al. Behavioural models for distributed Fractal components , 2009, Ann. des Télécommunications.

[2] Denis Caromel,et al. GCM: a grid extension to Fractal for autonomous distributed components , 2009, Ann. des Télécommunications.

[3] Ludovic Henrio,et al. Behavioural Models for Group Communications , 2010, WCSI.

[4] Thierry Coupaye,et al. An Open Component Model and Its Support in Java , 2004, CBSE.

[5] Radu Mateescu,et al. A Model Checking Language for Concurrent Value-Passing Systems , 2008, FM.

[6] Radu Mateescu,et al. An overview of CADP 2001 , 2001 .

[7] Frantisek Plasil,et al. Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

[8] Ludovic Henrio,et al. Verifying Safety of Fault-Tolerant Distributed Components , 2011, FACS.

[9] Jean-Claude Royer,et al. Bounded Analysis and Decomposition for Behavioural Descriptions of Components , 2006, FMOODS.

[10] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[11] Ludovic Henrio,et al. Transparent First-class Futures and Distributed Components , 2008, FACS.

[12] Denis Caromel,et al. Asynchronous sequential processes , 2009, Inf. Comput..

[13] Petr Hnetynka,et al. SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model , 2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06).