Developing and verifying rigorous specifications with viewpoints, use cases, and sequence-based specification methods

The effectiveness of rigorous specification methods such as sequence based specification is often limited by the specification team´s ability to understand the system requirements. View points and use case methods address this issue by supporting requirements elicitation and informal description of system requirements and interfaces. However the system requirements developed using these methods are often expressed in (possibly structured) natural language. It can be difficult to reconcile multiple viewpoints and to translate the collection of graphical and text descriptions of use cases into rigorous specifications sufficient to support system development. The paper provides some process recommendations for integrating viewpoints, use case, and sequence based specification methods to yield a precise, readable tabular description of system behavior, validated for all known stakeholder viewpoints and uses.