Specification of an Access Control System with a Formalism Combining CCS and CASL

Authors:
Gwen Salaün;Michel Allemand;Christian Attiogbé
Affiliations:
-;-;-
Venue:
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Year:
2002

Citing 11
Cited 2

Communication and Concurrency

Communication and Concurrency
Algebraic Specification of Concurrency

Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL: From Semantics to Tools

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Temporal Calculus of Communicating Systems

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
How to Combine Z with Process Algebra

ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Using a Process Algebra to Control B Operations

IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Timed CSP: Theory and Practice

Proceedings of the Real-Time: Theory in Practice, REX Workshop
An operational semantics for ZCCS

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language

APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference

CSP-CASL: a new integration of process algebra and algebraic specification

Theoretical Computer Science - Algebraic methods in language processing
Towards a formal specification of an electronic payment system in CSP-CASL

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-formalism specifications are essential for the modelling of complex systems including different aspects such as data or concurrency. We advocate a formalism which combines the CCS process algebra with the CASL algebraic specification language. Formal foundations of this combination are presented following two steps, the syntax and the semantics. Our proposal is illustrated with a real size case study: an access control system to a set of buildings. With this concrete example, we aim at showing how our formalism proposal could be used to specify a comprehensive application.