Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach

It is well acknowledged that environment plays an important role in requirement derivation. However, at present the time-continuous properties of the environment are of little concern. Our previous work modeled the time-continuous environment by constructing a software environment ontology. This paper further presents an approach for deriving software requirements specification with time using software environment ontology. Experiments are conducted by deriving different software requirement specifications under different situations. They are simulated with Simulink. The simulation results show that the software behaviors can be more accurately determined with respect to time-continuous environment by using time as a measurement.