Formal semantics of some functional constructs of the software requirements definition language NDRDL

NDRDL is a software requirements definition language (SRDL), designed as the source language of the software requirements analysis support system NDRASS. It considers both functional and nonfunctional requirements. To avoid the impreciseness and inconsistency of its informal semantics, this paper presents formal semantics of some functional constructs of NDRDL. Different ways and means are adopted according to the inherent characteristics of different constructs.