Institute for Computer Research seminar
"Which model elements must be fixed in case of inconsistencies?"
Dr. Alexander Egyed
Head of the Institute for Systems Engineering and Automation
Professor at Johannes Kepler University (JKU),Linz, Austria
Tuesday, November 9, 2010
10:00 am to 11:00 am
DC 1331, Davis Centre, University of Waterloo
Fixes for inconsistencies can be generated automatically but a designer must select the appropriate fix manually. To not overwhelm the designer, it is imperative to focus the designer's attention to the cause of the inconsistency and the model elements that must change. We define the cause of an inconsistency as its core and this core has the desirable property that every conceivable way of fixing the inconsistency must change at least one model element within it. This talk presents a novel, fully automated, and tool supported approach to identifying the smallest cores yet. This is done by analyzing the rule structure behind the inconsistency to understand exactly which parts of the structure caused the inconsistency. Empirical evaluation of ten UML models totaling 131,625 model elements and 26,642 inconsistencies shows that the approach identifies nearly an order of magnitude smaller cores and corresponding fixing actions (per inconsistency) than the current state of the art. We also show that the approach scales with the model size and is very fast as 99% of the cores are computable in less than 100ms each. We believe that the approach can be applied to arbitrary modeling and design rule languages.
Prof. Dr. Alexander Egyed is a full professor at the Johannes Kepler University (JKU), Austria and head of the Institute for Systems Engineering and Automation (SEA). He received his Doctorate degree from the University of Southern California, under the mentorship of Dr. Barry Boehm in 2000 and has since developed a strong track record for working on software-intensive systems. Before joining the JKU in 2008, Dr. Egyed worked as a Research Scientist for Teknowledge Corporation, (2000-2007) and then as a Research Fellow at the University College London, UK (2007-2008). Dr. Egyed's work has been supported by research grants from Austria, Canada, UK, and USA and his work has led to over 80 refereed publications in scientific books, journals, conferences, and workshops. He was recognized as the 10th best scholar in software engineering in a study by Ren-Taylor in 2007, was named an IBM Research Faculty Fellow in 2010 in recognition to his contributions to consistency checking, and received a Recognition of Service Award from the ACM. His research interests and expertise include modeling-driven engineering, variability, requirements engineering, consistency checking and resolution, and traceability. He is a member of the IEEE, IEEE Computer Society, ACM, and ACM SIGSOFT. Contact him at firstname.lastname@example.org.
Sponsored by the Ontario Research Fund (ORF) Research Excellence: "Software Service Engineering"
200 University Avenue West
Waterloo, ON N2L 3G1