Title :
Global consistency checking of distributed models with TReMer+
Author :
Sabetzadeh, Mehrdad ; Nejati, Shiva ; Easterbrook, Steve ; Chechik, Marsha
Author_Institution :
Univ. of Toronto, Toronto, ON
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.
Keywords :
formal verification; software maintenance; TReMer+; distributed model; global consistency checking; Automation; Collaboration; Computer science; Containers; Graphical user interfaces; Large-scale systems; Merging; Software engineering; Vocabulary; consistency checking; distributed development; model merging;
Conference_Titel :
Software Engineering, 2008. ICSE '08. ACM/IEEE 30th International Conference on
Conference_Location :
Leipzig
Print_ISBN :
978-1-4244-4486-1
Electronic_ISBN :
0270-5257
DOI :
10.1145/1368088.1368208
