BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Detecting and Tracking Inconsistencies in UML - Alexander Egyed (U
 niversity College London and University of Southern California)
DTSTART:20071123T151500Z
DTEND:20071123T161500Z
UID:TALK9284@talks.cam.ac.uk
CONTACT:Boris Feigin
DESCRIPTION:While UML is often derided for "diagrams can mean anything you
  want"\, there is a good sublanguage which can express design models at a 
 level which admits formal program-like analysis. Inconsistencies in design
  models should be detected quickly and tracked continuously to save the en
 gineer from unnecessary rework. Yet\, existing tools are not capable of ke
 eping up with the engineers' rate of model changes. This talk presents an 
 approach for quickly\, correctly\, and automatically reevaluating the cons
 istency of a model after each model change. The approach does not require 
 consistency rules with special annotations.  Instead\, it treats consisten
 cy rules as black-box entities and observes their behavior during (re)eval
 uation. The approach was implemented in the UML/Analyzer tool and evaluate
 d on 29 small-to-large scale models. The evaluation showed that the approa
 ch provided design feedback correctly and required\, in average\, less tha
 n 9ms evaluation time per model change with a worst case of less than 2 se
 conds at the expense of a linearly increasing memory need. \n\nBio:\n\nDr.
  Alexander Egyed is a Principal Research Associate at the University Colle
 ge London and an Adjunct Assistant Professor at the University of Southern
  California. For the past 7 years\, he worked for Teknowledge Corporation 
 as a Research Scientist. He is currently in a transitional phase from indu
 stry to academia and will join the Johannes Kepler University\, Austria as
  a Professor in March 2008.  His research interests include requirements e
 ngineering\, incremental and iterative software development (design and ar
 chitecture)\, traceability\, and simulation. He is a member of the IEEE\, 
 IEEE Computer Society\, ACM\, and ACM SIGSOFT. Contact him at University C
 ollege London\, Department of Computer Science\, Room 6.20\, Gower Street\
 , London WC1E 6BT or afegyed@gmail.com. \n
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR