Detecting and repairing inconsistencies across heterogeneous models

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 356-364

  Kolovos, Dimitrios S ^a   Paige, Richard F ^a   Polack, Fiona A C ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); LINGUISTICS; MODELS; QUERY LANGUAGES; VERIFICATION;

INTERNATIONAL CONFERENCES; VERIFICATION AND VALIDATION;

SOFTWARE TESTING;

EID: 50649122990     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.23     Document Type: Conference Paper

References (26)

1. Eclipse GMT - Generative Modeling Technology, Official Web-Site. http://www.eclipse.org/gmt.
2. Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon). http://www.eclipse.org/gmt/epsilon.
3. Microsoft Domain Specific Languages Framework, Official Web-Site. http://msdn.microsoft.com/ vstudio/ teamsystem/ workshop/ DSLTools/ default.aspx.
4. QVT Partners Official Web-Site. http://qvtp.org/.
5. Anneke Kleppe. A Language Description is More than a Metamodel. In Proc. 4th International Workshop on Software Language Engineering, Nashville, USA, October 2007. (to appear).
6. Anthony Finkelstein. A Foolish Consistency: Technical Challenges in Consistency Management. In Proc. 11th International Conference on Database and Expert Systems Applications, volume 1873 of Lecture Notes In Computer Science, pages 1-5, 2000.
7. Christian Nentwich, Licia Capra, Wolfgang Emmerich and Anthony Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, May 2002.
8. Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein and Erns Ellmer. Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology, 12(1):28-63, 2003.
9. Clare Gryce, Anthony Finkelstein, and Christian Nentwich. Lightweight Checking for UML Based Software Development. In Workshop on Consisteny Problems in UML-based Software Development, 2002.
10. Dimitrios S. Kolovos, Richard F. Paige and Fiona A.C. Polack. On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. In Proc. Dagstuhl Workshop on Rigorous Methods for Software Construction and Analysis, 2007.
11. Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack. Model Comparison: A Foundation for Model Composition and Model Transformation Testing. In Proc. 1st International Workshop on Global Integrated Model Management (GaMMa), ACM/IEEE ICSE 2006, pages 13-20, Shanghai, China, 2006. ACM Press.
12. Dimitrios S. Kolovos, Richard F.Paige and Fiona A.C. Polack. The Epsilon Object Language. In Proc. European Conference in Model Driven Architecture (EC-MDA) 2006, volume 4066 of LNCS, pages 128-142, Bilbao, Spain, July 2006.
13. Eclipse.org. Eclipse Modelling Framework. http://www.eclipse.org/emf.
14. Frédéric Jouault and Ivan Kurtev. Transforming Models with the ATL. In Jean-Michel Bruel, editor, Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005, volume 3844 of LNCS, pages 128-138, Montego Bay, Jamaica, October 2005.
15. Frédéric Jouault, Jean Bezívin. Using ATL for Checking Models. In Proc. International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, September 2005.
16. Jean Bezevin, Frederic Jouault and Patrick Valduriez. First Experiments with a ModelWeaver.
17. Jean Bezivin. On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171-188, 2005.
18. Jim Woodcock and Jim Davies. Using Z : Specification, Refinement, and Proof. Prentice Hall, March 1996.
19. Marsha Chechik, Benet Devereux, Steve Easterbrook. Implementing a Multi-valued Symbolic Model Checker. In Proc. Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001, LNCS, pages 404-419, Genova, Italy, April 2001.
20. Monique Snoeck, Cindy Michiels and Guido Dedene. Consistency by Construction: The Case of MERODE. In International Workshop on Conceptual Modeling Quality, 2003.
21. Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification. http://www.omg.org/cgibin/doc?ptc/03-10-04.
22. Object Management Group. UML 2.0 OCL Specification. http://www.omg.org/ docs/ptc/03-10-14.pdf.
23. Samir Chouali, Maritta Heisel, Jeanine Souquiéres. Proving Component Interoperability with B Refinement. Technical report, LORIA, April 2005. http://hal.inria.fr/inria-00000171/en/.
24. Sun Microsystems. Meta Data Repository. http://mdr.netbeans.org.
25. Tom Mens, Ragnhild Van Der Straeten, and Jocelyn Simmonds. Maintaining Consistency between UML Models with Description Logic Tools. In Sixth International Conference on the Unified Modelling Language - the Language and its applications, Workshop on Consistency Problems in UML-based Software Development II, 2003.
26. WenQian Liu, Steve Easterbrook and John Mylopoulos. Rule-Based Detection of Inconsistency in UML models. In Proc. Workshop on Consistency Problems in UML-Based Software Development, Dresden, Germany, October 2002.