Informatics Seminar on Thursday, April 2nd, 10.30 - Dr. Shiva Nejati

 

TITLE: Behavioural Model Fusion: Merge, Composition and Verification

 

SPEAKER: Dr. Shiva Nejati, visiting researcher, University College London (UCL)

 

DATE: April 2nd , 2009

 

PLACE: USI Università della Svizzera italiana, room SI-006, 'Red building' (Via G. Buffi 13)

 

TIME: 10.30

 

ABSTRACT:

 

There is a rapidly growing interest in model-based development as a way to increase the level of abstraction and automation in software engineering. The ultimate goal of model-based development is to improve the software process by promoting the use of models as the primary artifacts of development, and to provide computer-supported technologies to transform models into running systems. Model-based development becomes particularly challenging in projects where developers have to handle multiple partial models of a system. Individual models may represent different system features, describe alternative perspectives on a single feature, or express ways in which features alter one another's structure or behaviour. We refer to the process of integrating a collection of partial models into a whole system as "model fusion".

 

In this talk, I present my work on fusion of behavioural software models. In particular, I focus on the following two problems: (1) merging variant models of individual features with the goal of simplifying system maintenance, and (2) composing models of different features with the goal of identifying and resolving their undesirable interactions. I explain the theory behind the work, and demonstrate how our techniques can be applied for management and analysis of models from a telecommunication domain.

 

BIO:

 

Shiva Nejati recently completed her Ph.D. in Computer Science at the University of Toronto, and is now a visiting researcher in the Department of Computer Science at University College London (UCL). She received her Bachelor's degree from Sharif University of Technology (Iran) in 2000 and her Master's degree from the University of Toronto in 2003. Her main research area is software engineering, with specific interests in model-based development, behaviour analysis, requirements engineering, specification and design methods, and web-services. Shiva is the recipient of a number of awards, including an ACM SIGSOFT distinguished paper award at the 29th International Conference on Software Engineering.

 

HOST: Prof. Mehdi Jazayeri