loading...
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language
Macao, China December 04-December 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991491Eighth Asia-Pacific Software Engineer ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Gwen Salaün, Michel Allemand, Christian Attiogbé, "Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language," Asia-Pacific Software Engineering Conference, pp. 299, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2001.991491,
author = {Gwen Salaün and Michel Allemand and Christian Attiogbé},
title = {Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2001},
isbn = {0-7695-1408-1},
pages = {299},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991491},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language
SN - 0-7695-1408-1
SP
EP
A1 - Gwen Salaün,
A1 - Michel Allemand,
A1 - Christian Attiogbé,
PY - 2001
KW - Multi-formalism Specifications
KW - Generic Combination
KW - Process Algebra
KW - Algebraic Specification Language
KW - Operational Semantics.
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
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:
Gwen Salaün, Michel Allemand, Christian Attiogbé, "Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language," apsec, pp.299, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.