A Formalism Combining CCS and CASL

  title={A Formalism Combining CCS and CASL},
  author={Gwen Sala{\"u}n and Michel Allemand and Christian Attiogb{\'e}},
Multiformalism specifications are essential for the modeli zation of complex systems including different aspects: data, concurrency, communication, time, etc. We propose a f ormalism which combines the process algebra CCS with the recent language of algebraic specifications CASL. T his combination is presented following three levels: the conceptual choices, the formal syntax, and the formal se mantics. We illustrate our proposition with a real size case study: an access control system to a set… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 48 references

An operational semantics for ZCCS

First IEEE International Conference on Formal Engineering Methods • 1997
View 6 Excerpts
Highly Influenced

Isabelle: a Generic Theorem Prover

L. C. Paulson
ofLecture Notes in Computer Science . Springer-Verlag, • 1994
View 4 Excerpts
Highly Influenced

The Concurrency Workbench

Automatic Verification Methods for Finite State Systems • 1989
View 3 Excerpts
Highly Influenced

ASF - an Algebrai c Specification Formalism

J. A. Bergstra, J. Heering, P. Klint
Technical report, • 1987
View 6 Excerpts
Highly Influenced

Process Algebra for Synchronous Communication

Information and Control • 1984
View 4 Excerpts
Highly Influenced

A Generic Framework for Methods Integratio n (NatIF Project)

C. Attiogbé
Technical report, IRIN, • 2000
View 1 Excerpt

Similar Papers

Loading similar papers…