The NEO protocol for large-scale distributed database systems: Modelling and initial verification

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

Volumn 6128 LNCS, Issue , 2010, Pages 145-164

  Choppy, Christine ^a   Dedova, Anna ^a   Evangelista, Sami ^a   Hong, Silien ^b   Klai, Kais ^a   Petrucci, Laure ^a  

^a UNIVERSITÉ PARIS 13   (France)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVEL; ANALYSIS RESULTS; CRITICAL ISSUES; DISTRIBUTED DATABASE; E-GOVERNMENT APPLICATIONS; MODELLING PROCESS; PROTOCOL IMPLEMENTATION; SENSITIVE DATAS; SOURCE CODES;

GOVERNMENT DATA PROCESSING; GRAPH THEORY; PETRI NETS; SECURITY OF DATA;

DISTRIBUTED DATABASE SYSTEMS;

EID: 77955373440     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13675-7_10     Document Type: Conference Paper

References (14)

1. The Coloane tool Homepage, https://coloane.lip6.fr/
2. The CPN-AMI Homepage, http://move.lip6.fr/software/CPNAMI/
3. The GreatSPN tool Homepage, http://www.di.unito.it/~greatspn/index.html
4. The ZODB Homepage, http://wiki.zope.org/ZODB/FrontPage
5. Bertrand, O., Calonne, A., Choppy, C., Hong, S., Klai, K., Kordon, F., Okuji, Y., Paviot-Adet, E., Petrucci, L., Smets, J.-P.: Verification of Large-Scale Distributed Database Systems in the NEOPPOD Project. In: PNSE 2009, pp. 315-317 (2009)
6. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science 176(1-2), 39-65 (1997)
7. ERP5. Central Bank Implements Open Source ERP5 in Eight Countries after Proprietary System Failed, http://www.erp5.com/news-central.bank
8. Evangelista, S.: High Level Petri Nets Analysis with Helena. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 455-464. Springer, Heidelberg (2005)
9. Kordon, F., Linard, A., Paviot-Adet, E.: Optimized Colored Nets Unfolding. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 339-355. Springer, Heidelberg (2006)
10. Haddad, S., Pradat-Peyre, J.-F.: New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Processing Letters 1, 16 (2006)
11. Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 313-341. Springer, Heidelberg (1991)
12. Klai, K., Petrucci, L.: Modular Construction of the Symbolic Observation Graph. In: ACSD 2008, pp. 88-97. IEEE, Los Alamitos (2008)
13. Valmari, A.: A Stubborn Attack on State Explosion. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol. 531, pp. 156-165. Springer, Heidelberg (1991)
14. Varpaaniemi, K., Heljanko, K., Lilius, J.: Prod 3.2: An Advanced Tool for Efficient Reachability Analysis. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 472-475. Springer, Heidelberg (1997)