Scenario Integration via the Transformation and Manipulation of Higher-order Graphs.

The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-prone and time consuming. Thus, an integrated computer-aided environment would be desirable. In the paper, we propose a framework based on mathematical category theory machinery of algebraic operations with higher-order graphs that provides a formalization and a generic pattern for scenario integration. In order to evaluate the proposed framework, we have instantiated the framework and are currently developing an experimental tool.