DocumentCode
2358797
Title
Formal framework for a generic combination of a process algebra with an algebraic specification language: an overview
Author
Salaün, Gwen ; Allemand, Michel ; Attiogbé, Christian
Author_Institution
IRIN, Nantes Univ., France
fYear
2001
fDate
4-7 Dec. 2001
Firstpage
299
Lastpage
302
Abstract
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.
Keywords
algebraic specification; grammars; process algebra; specification languages; abstract grammar; algebraic specification language; dynamic part; formal framework; formal kernel; formal languages; genetic combination; global operational semantics; process algebra; static part; Algebra; Carbon capture and storage; Formal languages; Kernel; Software engineering; Software systems; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1408-1
Type
conf
DOI
10.1109/APSEC.2001.991491
Filename
991491
Link To Document