AUTOMATIC CONSISTENCE MAINTENANCE OF REQUIREMENTS AND ARCHITECTURES

摘要

Requirements engineering and architectural design are important for a successful development of large-scaled software systems. Requirements and architecture decisions are frequently changing in early development stages. Hence, these activities are strongly interrelated. The development of inconsistencies at the iterative evolution of requirements and architectures is a fundamental problem. Inconsistencies cause an incorrect consideration of requirements on the software system and unfulfilled requirements. Existing model-based approaches allow a precise and formal description of requirements and architectures by structural and behavioral models in order to avoid misinterpretations. An automatic consistence maintenance of requirements and architectures would solve the problem of inconsistencies. But an automatic consistence maintenance of behavioral models is challenging. In this paper, an approach for an automatic consistence maintenance of requirements and architectures is presented. This approach supports the consistence maintenance of structural as well as behavioral models.