Global consistency checking of distributed models with TReMer+

Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik

Abstract

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 consis-tency. This enables a flexible way of verifying global consistency properties that is not possible with other existing tools.

BibTeX

@inproceedings{Sabetzadeh-al:ICSE08,
  author    = {Mehrdad Sabetzadeh and
               Shiva Nejati and
               Steve M. Easterbrook and
               Marsha Chechik},
  title     = {Global consistency checking of distributed models with {TReMer+}},
  booktitle = {ICSE},
  pages     = {815--818},
  publisher = {{ACM}},
  year      = {2008},
}

Global consistency checking of distributed models with TReMer+

Abstract

Related papers