DocumentCode
3233596
Title
Feature logics and refinement
Author
Aiguier, Marc ; Gaston, Christophe ; Le Gall, Pascale
Author_Institution
L.a.M.I., Univ. d´´Evry, Evry, France
fYear
2002
fDate
2002
Firstpage
385
Lastpage
394
Abstract
We present an institution of feature logics which generalises our earlier approach (2001) and define a refinement theory to deal with the complexity of feature interactions in this generic framework, which is one of the main problems encountered when dealing with feature interaction detection. The study of interactions through implementation techniques is still an open problem. The authors furnish answers to encounter this purpose in a logic-independent framework, using algebraic refinement techniques.
Keywords
algebraic specification; category theory; refinement calculus; temporal logic; abstract logical framework; algebraic refinement techniques; feature interaction detection; feature logics; formal specification; generic framework; logic-independent framework; refinement theory; Artificial intelligence; Logic; Software engineering; Variable speed drives;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2002. Ninth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1850-8
Type
conf
DOI
10.1109/APSEC.2002.1183008
Filename
1183008
Link To Document