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.

• Type: Conference
• Year: 2007
• Where: MODELS
• Authors: Hongzhi Liang
• Keywords: Integrated Computer-aided Environment, Integration Operation, Mathematical Category Theory, MODELS 2007