Reuse, Standardization, and Transformation of Requirements

Correct requirements determination is a critical factor in software development. Having stored reusable requirements elements, both qualified and classified, in a repository might contribute to reducing the error probability in requirements specifications but the diversity of requirements formats is a constraint for their reuse. To solve this problem, a common requirements model allowing the standardization and transformation of some types of requirements in others is presented. The transformations use an intermediate representation based on Petri nets, which provides rigor to the models and allows its consistency to be checked. Transformation algorithms are defined and implemented as part of a requirements management and reuse tool.