On Using Domain Patterns to Validate Domain Related Properties of Software Requirements Specifications

Abstract

Quality of software requirements specications are key for developing high assurance software system. However, as there are lots of work have been done to ensure the quality of software system, most of these work are limited in treating software requirements specications manually, so we still lacking a trustworthy way to guarantee the quality of software automatically. On the basis of an abstract state transition model, we discuss an abstract state transition system which we will used in the checking of domain properties, some properties of CTL formula we will used in patterns are discussed. By classifying domain patterns into trigger relation patterns, response relations patterns and sequence patterns, some properties of these patterns are also discussed in detail.