Title :
Combining formal specification methods and informal specification methods for requirement analysis
Author_Institution :
Inst. of AI&PR, Shanton Univ., China
Abstract :
We advocate an approach to model a required software process with structured methods, and then to apply formal analysis procedures to the model in order to ensure that the software requirements model satisfies required system function and performance goals and constraints, including safety. We experiment with the combination DFD method and interval temporal logic for requirements analysis. A particular example, the controller for a system of passenger lifts, is chosen for illustration
Keywords :
computerised control; formal specification; lifts; structured programming; systems analysis; temporal logic; combination DFD method; formal analysis procedures; formal specification methods; informal specification methods; interval temporal logic; passenger lift control; performance goals; requirements analysis; software process modelling; software requirements model; structured methods; system function; Artificial intelligence; Buildings; Control systems; Design for disassembly; Formal specifications; Programming; Software performance; Software prototyping; Software safety; System testing;
Conference_Titel :
Communications, Computers and Signal Processing, 1997. 10 Years PACRIM 1987-1997 - Networking the Pacific Rim. 1997 IEEE Pacific Rim Conference on
Conference_Location :
Victoria, BC
Print_ISBN :
0-7803-3905-3
DOI :
10.1109/PACRIM.1997.619993
