Global Consistency Checking of Distributed Models with TReMer
by
Mehrdad Sabetzadeh
,
Shiva Nejati
,
Steve Easterbrook
,
Marsha Chechik
| Venue: | In 30th International Conference on Software Engineering (ICSE’08), 2008. Formal Research Demonstration (To Appear |
| Citations: | 6 - 2 self |
BibTeX
@INPROCEEDINGS{Sabetzadeh_globalconsistency,
author = {Mehrdad Sabetzadeh and Shiva Nejati and Steve Easterbrook and Marsha Chechik},
title = {Global Consistency Checking of Distributed Models with TReMer},
booktitle = {In 30th International Conference on Software Engineering (ICSE’08), 2008. Formal Research Demonstration (To Appear},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 consistency. This enables a flexible way of verifying global consistency properties that is not possible with other existing tools. 1.
Citations
| 109 | Managing conflicts in goal-driven requirements engineering 24(11 - Lamsweerde, Darimont, et al. - 1998 |
| 42 | Matching and merging of statecharts specifications - Nejati, Sabetzadeh, et al. |
| 39 | Flexible consistency checking - Nentwich, Emmerich, et al. - 2006 |
| 39 | Merging partial behavioural models - Uchitel, Chechik |
| 38 | Instant consistency checking for the uml - Egyed - 2006 |
| 33 | Making inconsistency respectable in software development - Nuseibeh, Easterbrook, et al. - 2001 |
| 27 | A Manifesto for Model Merging - Brunet, Chechik, et al. - 2006 |
| 24 | View Merging in the Presence of Incompleteness and Inconsistency - Sabetzadeh, Easterbrook - 2006 |
| 20 | Relational Programming with CrocoPat - Beyer |
| 14 | Consistency checking of conceptual models via model merging - Sabetzadeh, Nejati, et al. - 2007 |
| 4 | TReMer: A tool for relationship-driven model merging - Sabetzadeh, Nejati - 2006 |
| 4 | An Eclipse-based tool framework for software model management - Salay, Chechik, et al. - 2007 |
