Formal support for merging and negotiation

Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompassing all the given models. Inconsistencies between models can make model merging significantly more complex. To deal with inconsistencies efficiently, a systematic negotiation process is needed. This paper outlines a formal approach to merging and negotiation over behavioural models and presents the results achieved so far. Categories and Subject Descriptors: D.2.1 [Software Engineering]: Requirements/Specifications - methodologies; D.2.4 [Software Engineering]: Software/Program Verification - model checking. General Terms: Design, Theory, Verification.

• Type: Conference
• Year: 2005
• Where: KBSE
• Authors: Shiva Nejati
• Keywords: KBSE 2005, Model Merging, Software Engineering, Systematic Negotiation Process