Formal specification of JavaSpaces™ architecture using μCRL

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

Volumn 2315, Issue , 2002, Pages 274-290

  van de Pol, Jaco ^a   Espada, Miguel Valero ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES;

COORDINATION ARCHITECTURE; DISTRIBUTED APPLICATIONS; JAVA TECHNOLOGIES; JAVASPACES; PROCESS ALGEBRAS; SHARED DATA SPACES; TOOLSETS; VIRTUAL SPACES;

FORMAL SPECIFICATION;

EID: 84944071871     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46000-4_26     Document Type: Conference Paper

References (15)

1. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. Langevelde, B. Lisser, and J.C. van de Pol. µCRL: a toolset for analysing algebraic specifications. In Proc. Of CAV, LNCS 2102, pages 250–254. Springer, 2001.
2. M. Boasson. Control systems software. IEEE Trans. on Automatic Control, 38(7):1094–1106, July 1993.
3. M.M. Bonsangue, J.N. Kok, and G. Zavattaro. Comparing coordination models based on shared distributed replicated data. In Proc. of SAC, pages 146–155. ACM, 1999.
4. N. Busi, R. Gorrieri, and G. Zavattaro. Process calculi for coordination: From Linda to JavaSpaces. In Proc. of AMAST, LNCS 1816, pages 198–212. Springer, 2000.
5. N. Busi and G. Zavattaro. On the serializability of transactions in JavaSpaces. In U. Montanari and V. Sassone, editors, Electronic Notes in Theoretical Computer Science, volume 54. Elsevier Science Publishers, 2001.
6. N. Carriero and D. Gelernter. How to Write Parallel Programs: A First Course. MITPress, 1990.
7. P.F.G. Dechering and I.A. van Langevelde. The verification of coordination. In Proc. of COORDINATION, LNCS 1906, pages 335–340. Springer, 2000.
8. J.-C. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu, and M. Sighireanu. CADP – a protocol validation and verification toolbox. In Proc. of CAV, LNCS 1102, pages 437–440. Springer, 1996.
9. W. J. Fokkink. Introduction to Process Algebra. Texts in Theoretical Computer Science. Springer-Verlag, 2000.
10. E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces principles, patterns, and practice. Addison-Wesley, Reading, MA, USA, 1999.
11. J.F. Groote and M.A. Reniers. Algebraic process verification. In J.A. Bergstra et al., editor, Handbook of Process Algebra, chapter 17. Elsevier, 2001.
12. J.M.M. Hooman and J.C. van de Pol. Formal verification of replication on a distributed data space architecture. In Proceedings ACM SAC, Coordination Models, Languages and Applications, page (to appear), Madrid, 2002. ACM press.
13. R. Mateescu. Verification des proprietes temporelles des programmes paralleles. PhD thesis, Institut National Polytechnique de Grenoble, 1998.
14. SUN Microsystems. JavaSpacestm Service Specification, 1.1 edition, October 2000. See http://java.sun.com/products/javaspaces/.
15. SUN Microsystems. Jinitm Technology Core Platform Specification, 1.1 edition, October 2000. See http://www.sun.com/jini/specs/.