28.09.2012 - SOA Seminar by Alexander Egyed, JKU of Linz, Austria

Consistent Change Propagation during Model-Driven Engineering

SPEAKERAlexander Egyed, Professor at the Johannes Kepler University (JKU) of Linz, Austria

ShortBio: Prof. Dr. Alexander Egyed is a 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, USA under the mentorship of Dr. Barry Boehm in 2000 and, before joining the JKU in 2008, he worked as a Research Scientist for Teknowledge Corporation, USA (2000-2007) and then as a Research Fellow at the University College London, UK (2007-2008). He is most recognized for his work on software and systems modeling – particularly on consistency (=i.e., correctness and completeness) and traceability of models (i.e., where is information coming from, where is it being used?). Dr. Egyed’s work has been supported by research grants from Austria, Canada, European Union, UK, and USA and his work has been published at over a hundred refereed scientific books, journals, conferences, and workshops, with over 1500 citations to date. He was recognized as the 10th best scholar in software engineering in Communications of the ACM, was named an IBM Research Faculty Fellow in recognition to his contributions to consistency checking, received a Recognition of Service Award from the ACM, a Best Paper Award from COMPSAC, and an Outstanding Achievement Award from the USC. He has given many invited talks including four keynotes, served on scientific panels and countless program committees, and has served as program (co-) chair, steering committee member, and editorial board member. He is a member of the IEEE, IEEE Computer Society, ACM, and ACM SIGSOFT.

You can find his detailed CV at http://www.alexander-egyed.com/curriculum_vitae.pdf


Design models describe different viewpoints of a software system separating functionality, from structure, behavior, or usage. While these models are meant to be separate in their description, they are nonetheless related by manifold dependencies. After all, they describe the same system. Yet, this network of dependencies is also the most significant obstacle to model-driven engineering. It is the root cause for failure to propagate changes correctly and completely. Although change propagation as a whole is a daunting challenge to tackle, this talk suggests an approach for addressing this problem in context of model-driven engineering where incorrect or incomplete changes are detectable in form of the inconsistencies they cause. Understanding the impact of a model change is thus analogous to the detection and repairing of inconsistencies introduced by these changes.

SCHEDULE: September 28 2012, 11.30 am, Sala Grande Palazzina B, Via alla Cascata 56/C