A formal model for a requirements engineering tool
نویسنده
چکیده
This paper presents the formal specification for a tool that models the functional requirements of a system based on use case models. The formal model of such a tool is made using Alloy, which is a lightweight modeling language. The structure of the model as well as an analysis of the model are specified using Alloy. As a complement of the formal model, a model diagram is also presented using the Alloy notation.
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers to draw visual models representing functional, security and trust requirements of systems and, then, to verify formally and automatically their correctness and consistency through different model-checkers.
متن کاملFormal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned
Requirement analysis, modeling and verification are an important part of the development process. There is a strong need for integrating these aspects into a formalized modeldriven development process, together with a dedicated methodology as well as effective tool-chains. In this context, the paper presents a Modelica-based implementation of an approach for the formal modeling of system proper...
متن کاملCapturing Informal Requirements as Formal Models
We present a requirements engineering tool and associated methodology that converts natural language and graphical requirements to models expressed in a process algebra formalism. Natural language requirements are automatically converted into the concrete syntax of the process algebra using reconfigurable parsing and transformations. Graphical requirements in the form of finite state diagrams a...
متن کاملFrom Rigorous Requirements Engineering to Formal System Design
Rigorous Requirements Engineering The aim of requirements engineering is to capture the intended behaviour of a system (including its safety properties) and the characteristics of its environment of operation. CETIC has adopted KAOS, a major goal-oriented methodology, which combines two description levels: an informal/graphical level for optimal communication and a formal layer enabling powerfu...
متن کامل