|
Title:
|
FUZZY LOGIC FOR FORMAL SPECIFICATIONS OF SYSTEMS |
|
Author(s):
|
Victoria López , Javier Montero |
|
ISBN:
|
978-972-8924-60-7 |
|
Editors:
|
António Palma dos Reis |
|
Year:
|
2008 |
|
Edition:
|
Single |
|
Keywords:
|
Fuzzy logic; formal specification; formal languages. |
|
Type:
|
Poster/Demonstration |
|
First Page:
|
215 |
|
Last Page:
|
218 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Natural languages are daily used to write system specifications. However, language specifications can be confusing and
very hard to model and identify. Formal methods for assuring the right behavior of software work very well despite their
cost, but it is usually being imposed that specifications are made by means of crisp relations and classical propositional
logic. Otherwise, specification can not be properly developed with standard techniques. Since most procedures related to
human decisions require fuzzy information, we definitively need to develop alternative approaches allowing fuzziness in
order to improve software specification. In this paper we show how fuzzy logic techniques can be used to write
specifications in a fuzzy framework, as a previous step in the process of analysis and design of new software. As an
example, we consider a multiprocessor system, showing how to make a formal specification of the system focused in a
particular goal: to improve the performance of the system. We briefly introduce the classical formal specification by
means of formal methods, and then we show more in detail the same specification by means of fuzzy techniques (fuzzy
sets and granules as new generic types of data). Several possibilities for formal specification are presented. In this way,
we will show how an information closer to the natural language can be managed in terms of fuzzy sets and fuzzy
inference rules. |
|
|
|
|
|
|
