Global consistency checking of distributed models with TReMer+

Authors:
Mehrdad Sabetzadeh;Shiva Nejati;Steve Easterbrook;Marsha Chećhik
Affiliations:
University of Toronto, Toronto, ON, Canada;University of Toronto, Toronto, ON, Canada;University of Toronto, Toronto, ON, Canada;University of Toronto, Toronto, ON, Canada
Venue:
Proceedings of the 30th international conference on Software engineering
Year:
2008

Citing 9
Cited 5

Managing Conflicts in Goal-Driven Requirements Engineering

IEEE Transactions on Software Engineering
Flexible consistency checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Merging partial behavioural models

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Instant consistency checking for the UML

Proceedings of the 28th international conference on Software engineering
Relational programming with CrocoPat

Proceedings of the 28th international conference on Software engineering
A manifesto for model merging

Proceedings of the 2006 international workshop on Global integrated model management
View merging in the presence of incompleteness and inconsistency

Requirements Engineering
Matching and Merging of Statecharts Specifications

ICSE '07 Proceedings of the 29th international conference on Software Engineering
An Eclipse-based tool framework for software model management

Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange

Consistency Checking for Component Reuse in Open Systems

ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Composition of architectural models: Empirical analysis and language support

Journal of Systems and Software
Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (NIER track)

Proceedings of the 33rd International Conference on Software Engineering
Formalizing model consistency based on the abstract syntax

Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
A relationship-based approach to model integration

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.