3 March 2009
Meeting room 10, Jennie Lee Building
Shiva Nejati, Mehrdad Sabetzadeh - University College London
Speaker #1: Shiva Nejati, University College London
Title: Behavioural Model Fusion: Merge, Composition and Verification
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.
Shiva Nejati recently completed her Ph.D. in Computer Science at the University of Toronto, and is now a visiting scholar 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.
Speaker #2: Mehrdad Sabetzadeh, University College London
Title: Model Management for Distributed Requirements Engineering
Large software projects are characterized by distributed environments consisting of teams at different organizations and geographical locations. These teams typically build multiple overlapping models, representing different perspectives, different versions across time, different variants in a product family, etc. Keeping track of the relationships between these models, constructing a global view, and managing consistency are major challenges. Model Management is an emerging field of research concerned with describing the relationships between distributed models, i.e., models built in a distributed development environment, and providing systematic operators to manipulate these models and their relationships. In this talk, I present research towards a model management framework for requirements engineering. In particular, I describe automated, mathematically based operators for merging requirements models that describe a system from different perspectives, and for exploring the consistency relations between these models.
Mehrdad Sabetzadeh is a postdoctoral fellow at University College London, UK. Before joining UCL, Mehrdad was a graduate student at the University of Toronto, Canada where he received his MSc and PhD degrees in Computer Science, respectively in 2003 and 2008. Mehrdad's research interests are in software engineering, and more specifically, in model-based specification and analysis of requirements and design for complex software-intensive systems.
Save to your Calendar