Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering

—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industrial applications. Software requirements are stated as a collection of use cases, each of which is written in the user’s perspective and describes a specific flow of events in the system. The use case approach offers several practical advantages in that use case requirements are relatively easy to describe, understand, and trace. Unfortunately, there are a couple of major drawbacks. Since use cases are often stated in natural languages, they lack formal syntax and semantics. Furthermore, it is difficult to analyze their global system behavior for completeness and consistency, partly because use cases describe only partial behaviors and because interactions among them are rarely represented explicitly. In this paper, we propose the Constraints-based Modular Petri Nets(CMPNs) approach as an effective way to for...

• Type: Journal
• Year: 1998
• Where: TSE
• Authors: Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
• Keywords: Case Approach, Requirements, Requirements Elicitation Technique, TSE 1998