Global consistency checking of distributed models with TReMer+

We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before checking consistency. This enables a flexible way of verifying global consistency properties that is not possible with other existing tools.

• Type: Conference
• Year: 2008
• Where: ICSE
• Authors: Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
• Keywords: Consistency Checking, Global Consistency Properties, ICSE 2008, Software Engineering