Facilitating "fuzzy to formal" requirements modelling
نویسندگان
چکیده
Requirements specification methods and techniques have hitherto mainly been concerned with promoting various representation formalisms for formally describing information systems, and discussing their expressive power. However, this approach concentrates only partially on the problem. A major issue is how to bridge the gap between ill-defined problem and application situations, and specification of the formal, precise definition of functional requirements of the information system. In this paper we outline an extended requirements and information modelling paradigm, based on a number of interrelated meta-models. These models reflect the enterprise and its objectives, its non-functional requirements on the system, re-use of existing specification components, and a model for managing and tracking the specification development process.
منابع مشابه
Fuzzy concepts and formal methods: some illustrative examples
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Speci cation languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the IS problem domain, may be di cult to model in crisp or precise terms. It may also be desirable that formal modelling...
متن کاملA Formal Approach to the Assessment of Priorities of Imprecise Con icting Requirements
Two major challenges with requirement engineering are (1) requirements are often imprecise in nature, and (2) requirements are usually connicting with each other. One of the most important issues in the trade-oo analysis of connicting requirements is to understand the priority of requirements. Existing formal methods for requirement engineering are very limited in addressing these issues. This ...
متن کاملFuzzy Concepts and Formal Methods : A Fuzzy Logic Toolkit
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Speciication languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the IS problem domain, may be diicult to model in crisp or precise terms. It may also be desirable that formal modelling...
متن کاملFuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Speci cation languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the IS problem domain, may be di cult to model in crisp or precise terms. It may also be desirable that formal modelling...
متن کاملFuzzy Concepts and Formal Methods
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Speci cation languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the IS problem domain, may be di cult to model in crisp or precise terms. It may also be desirable that formal modelling...
متن کامل