The Community for Technology Leaders
Proceedings Eighth Asia-Pacific Software Engineering Conference (2001)
Macao, China
Dec. 4, 2001 to Dec. 7, 2001
ISBN: 0-7695-1408-1
pp: 299
ABSTRACT
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.
INDEX TERMS
Multi-formalism Specifications, Generic Combination, Process Algebra, Algebraic Specification Language, Operational Semantics.
CITATION

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.
doi:10.1109/APSEC.2001.991491
94 ms
(Ver 3.3 (11022016))