A Pattern-driven Approach for Validate Liveness Properties of Software Requirements Specifications

摘要

Requirements checking patterns are key to the development of high quality software requirements, in which liveness patterns are one of the several basic patterns to other patterns. By representation of software requirements as nested state transition systems, this paper classified liveness patterns as basic state liveness patterns, state transition liveness patterns. Suffix, prefix, open range and close range are also used in the classifications of liveness patterns.