Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language

Authors:
Gwen Salaün;Michel Allemand;Christian Attiogbé
Affiliations:
-;-;-
Venue:
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Year:
2001

Citing 0
Cited 1

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

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we suggest a formal framework as a basisfor a generic combination of formal languages.It makesit possible the developer to specify the dynamic part of asystem with a process algebra, and the static part with analgebraic specification language.The framework is basedon a formal kernel composed of an abstract grammar describing the general form of the combination, and a globaloperational semantics giving the meaning of each languagewhich can be built with our framework.