Model-based requirements

This chapter presents several approaches to capture requirements using models. The different modeling constructs are presented, followed by examples of how they work when capturing requirements. The approaches are organized in three groups. The first group includes the approaches that are more widely used in practice. They include those that use a dedicated model class to capture requirements and those that flag system models as requirements. The second group includes approaches that leverage mathematical constructs, paying attention to theWymorian framework and the Property-Model Methodology. The third group addresses those methods that are based on defining dedicated semantics to capture the problem space. The chapter concludes with a discussion of how model-based approaches to capture requirements affect the elicitation, derivation, and trade-off of needs and requirements.