Specification of Fuzzy Systems with Fuzzy Z

摘要

The use of formal methods in the specification of large software systems has been recently recognized as an important topic in the discipline of software engineer-ing. Some existing applications of formal methods include the use of probability theory in modeling, and the use of relational calculus in database theory. One obvious question arises from this standpoint is: Is it necessary to develop a fuzzy-set and fuzzy-logic based formal method for dealing with specification of fuzzy systems since current formal methods are based upon crisp set theory and predicate logic? This paper will discuss the need for developing such a "fuzzy" formal method in an extended sense of the Z notation which is one of the most popular formal specification languages.