A Methodology for the Description of System Requirements and the Derivation of Formal Specifications
Atsushi Togashi, Fumiaki Kanezashi, Xiaosong Lu · 1997
A methodology for the description of system requirements and the derivation of formal specifications from system requirements are presented. We will specifically deal with the issues (1) mathematical treatment of system requirements and their relationship with formal specifications represented as state transition systems, (2) a sound and complete system with respect to a system requirement, i.e. a standard system of the system requirement specified as a unique model of the system requirement, (3) derivation of standard systems from system requirements, (4) a support system and an application example, and (5) some comparative discussions on the methodology with partial logical Petri Nets, Production systems, and so on.