Formal framework for a generic combination of a process algebra with an algebraic specification language: an overview
Gwen Salaün, Michel Allemand, Christian Attiogbé · 2005
In this paper, we suggest a formal framework as a basis for a genetic combination of formal languages. This makes it possible for the developer to specify the dynamic part of a system with a process algebra, and the static part with an algebraic specification language. The framework is based on a formal kernel composed of an abstract grammar describing the general form of the combination, and a global operational semantics giving the meaning of each language which can be built with our framework.