reiko @ upb.de

In object-oriented software development, requirements of different stakeholders are often manifested in use case mod-els which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between require-ments of different parties. However, due to the diversity, incompleteness, and infor-mal nature, in particular of functional and dynamic require-ments, such conflicts are difficult to find. Formal approaches to requirements engineering, often based on logic, attack these problems, but require highly specialized experts to write and reason about such specifications. In this paper, we propose a formal interpretation of use case models consisting of UML use case, activity, and col-laboration diagrams. The formalization, which is based on concepts from the theory of graph transformation, allows to make precise the notions of conflict and dependency be-tween functional requirements expressed by different use cases. Then, use case models can be statically analyzed, and conflicts or dependencies detected by the analysis can be communicated to the modeler by annotating the model. An implementation f the static analysis within a graph transformation tool is presented