Global consistency checking of distributed models with TReMer+

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.

REFERENCES

• 1: Dirk Beyer, Relational programming with CrocoPat, Proceedings of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134420]
• 2: Greg Brunet , Marsha Chechik , Steve Easterbrook , Shiva Nejati , Nan Niu , Mehrdad Sabetzadeh, A manifesto for model merging, Proceedings of the 2006 international workshop on Global integrated model management, May 22-22, 2006, Shanghai, China [doi>10.1145/1138304.1138307]
• 3: Alexander Egyed, Instant consistency checking for the UML, Proceedings of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134339]
• 4: EPS Graphics2D. http://www.jibble.org/epsgraphics/.
• 5: Java Graph Visualization and Layout. http://www.jgraph.com/.
• 6: Shiva Nejati , Mehrdad Sabetzadeh , Marsha Chechik , Steve Easterbrook , Pamela Zave, Matching and Merging of Statecharts Specifications, Proceedings of the 29th international conference on Software Engineering, p.54-64, May 20-26, 2007 [doi>10.1109/ICSE.2007.50]
• 7: Christian Nentwich , Wolfgang Emmerich , Anthony Finkelstein , Ernst Ellmer, Flexible consistency checking, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.1, p.28-63, January 2003 [doi>10.1145/839268.839271]
• 8: B. Nuseibeh, S. Easterbrook, and A. Russo. Making inconsistency respectable in software development. J. of Sys. and Soft., 56(11), 2001.
• 9: Mehrdad Sabetzadeh , Steve Easterbrook, View merging in the presence of incompleteness and inconsistency, Requirements Engineering, v.11 n.3, p.174-193, June 2006 [doi>10.1007/s00766-006-0032-y]
• 10: M. Sabetzadeh and S. Nejati. TReMer: A tool for relationship-driven model merging. In Posters and Research Tools Track of Formal Methods, 2006. No published proceedings.
• 11: M. Sabetzadeh, S. Nejati, S. Liaskos, S. Easterbrook, and M. Chechik. Consistency checking of conceptual models via model merging. In RE, pages 221--230, 2007.
• 12: Rick Salay , Marsha Chechik , Steve Easterbrook , Zinovy Diskin , Pete McCormick , Shiva Nejati , Mehrdad Sabetzadeh , Petcharat Viriyakattiyaporn, An Eclipse-based tool framework for software model management, Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, p.55-59, October 21-21, 2007, Montreal, Quebec, Canada [doi>10.1145/1328279.1328291]
• 13: Sebastian Uchitel , Marsha Chechik, Merging partial behavioural models, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA
• 14: Axel van Lamsweerde , Emmanual Letier , Robert Darimont, Managing Conflicts in Goal-Driven Requirements Engineering, IEEE Transactions on Software Engineering, v.24 n.11, p.908-926, November 1998 [doi>10.1109/32.730542]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications

General Terms:
Design, Verification

Keywords:
consistency checking, distributed development, model merging