Specification of an access control system with a formalism combining CCS and CASL

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002

Volumn , Issue , 2002, Pages 211-218

  Salaun G ^a   Allemand, M ^a   Attiogbe C ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

CASL; CCS; Formal Foundations; Multi formalism Specifications

Indexed keywords

EID: 84966565284     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2002.1016624     Document Type: Conference Paper

References (25)

1. E. Astesiano, M. Broy, and G. Reggio. Algebraic Specification of Concurrent Systems. In E. Astesiano, B. Krieg-Bruckner, and H.-J. Kreowski, editors, IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer-Verlag, 1999.
2. E. Astesiano, M. Cerioli, and G. Reggio. Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML. In T. Rus, editor, Proceedings of AMAST'00, volume 1816 of LNCS, pages 273-292, USA, 2000. Springer-Verlag.
3. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23-73. Elsevier Science Publishers North-Holland, 1989.
4. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An Overview of ELAN. In C. Kirchner and H. Kirchner, editors, Proceedings of the International Workshop on Rewriting Logic and its Applications, volume 15 of Electronic Notes in Theoretical Computer Science, France, 1998. Elsevier Science.
5. R. Cleaveland, T. Li, and S. Sims. The Concurrency Workbench of the New Century (Version 1.2). Department of Computer Science, North Carolina State University, 2000.
6. 4.
7. CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary (version 1.0.1). Documents/CASL/Summary in [6], March 2001.
8. CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language - Semantics (version 1.0). Note S-9 in [6], 2000.
9. C. Fischer. How to combine Z with a process algebra. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, Proceedings of ZUM'98, volume 1493 of LNCS, pages 5-23, Germany, 1998. Springer-Verlag.
10. A. J. Galloway and W. Stoddart. An Operational Semantics for ZCCS. In M. G. H. S. Liu, editor, Proceedings of ICFEM'97, pages 272-282. IEEE Computer Society Press, 1997.
11. H. Garavel and M. Sighireanu. Towards a Second Generation of Formal Description Technique - Rationale for the Design of E-LOTOS. In Proceedings of FMICS'98, 1998.
12. J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. A Tutorial Introduction to PVS. In Proceedings of WIFT'95, USA, 1995. Computer Science Laboratory, SRI International.
13. I. JTC1/SC7/WG14. The E-LOTOS Final Draft International Standard (in balloting). Available at ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/elotos-fdis/, July 2001.
14. H. Kirchner and C. Ringeissen. Executing CASL Equational Specifications with the ELAN Rewrite Engine. Note T-9 in [6], November 2000.
15. Y. Ledru. Case Study: Access Control System. IMAG, 1998.
16. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
17. F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems. In J. C. M. Baeten and J. W. Klop, editors, Proceedings of CONCUR'90, volume 458 of LNCS, pages 401-415, The Netherlands, 1990. Springer-Verlag.
18. T. Mossakowski. CASL: From Semantics to Tools. In S. Graf and M. Schwartzbach, editors, Proceedings of TACAS'00, volume 1785 of LNCS, pages 93-108, Germany, 2000. Springer-Verlag.
19. L. C. Paulson. Isabelle: a Generic Theorem Prover, volume 828 of LNCS. Springer-Verlag, New York, USA, 1994.
20. G. Reggio and L. Repetto. Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl. In T. Rus, editor, Proceedings of AMAST'00, volume 1816 of LNCS, pages 243-257, USA, 2000. Springer-Verlag.
21. G. Salaün, M. Allemand, and C. Attiogbé. A Practical Combination of a Process Algebra with an Algebraic Specification Language. In H. R. Arabnia, editor, Proceedings of PDPTA'01, CSREA Press, pages 73-79, Las Vegas, USA, 2001.
22. G. Salaün, M. Allemand, and C. Attiogbé. Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview. In J. He, editor, Proceedings of APSEC'01, IEEE Computer Society Press, pages 299-302, Macau, China, 2001.
23. G. Salaün, M. Allemand, and C. Attiogbé. A Formalism Combining CCS and CASL. Technical Report 00.14, University of Nantes, December 2000, revised in October 2001. Available at http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun/papers/rr0014.ps.
24. S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. N. Reed, and A. W. Roscoe. Timed CSP: Theory and Practice. In J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors, Proceedings of Real-Time: Theory in Practice, volume 600 of LNCS, pages 640-675, Germany, 1992. Springer.
25. H. Treharne and S. Schneider. Using a Process Algebra to Control B OPERATIONS. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of IFM'99, pages 437-457, UK, 1999. Springer-Verlag.