Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language
Proceedings Eighth Asia-Pacific Software Engineering Conference (2001)
Dec. 4, 2001 to Dec. 7, 2001
In this paper, we suggest a formal framework as a basis for a generic combination of formal languages. It makes it possible 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.
Multi-formalism Specifications, Generic Combination, Process Algebra, Algebraic Specification Language, Operational Semantics.
G. Salaün, M. Allemand and C. Attiogbé, "Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language," Proceedings Eighth Asia-Pacific Software Engineering Conference(APSEC), Macao, China, 2001, pp. 299.