MDE-oriented process to manage requirement inconsistencies

Abstract

Requirements inconsistencies could arise for multiple reason and at all levels of hierarchy. in context of a complex system detecting inconsistencies among requirements is important and needs a rigorous practice. It is all the more crucial task when they are specified in informal language. Thus, managing inconsistencies is indispensable to success any system design. Constraint specification language ( CSP) formalism is used to define rules to spot conflicted requirements. In this paper, we present a process founded on ReqDL language in order to manage requirements inconsistencies at all level of hierarchy. we describe an approach to support inconsistencies identification and resolution among requirement.