ABOUT 
PhD Seminar: Summer term 2009Seminar programme
Seminar detailsIncremental graph pattern matching in the VIATRA2 model transformation framework
Istvan Rath
(Budapest University of Technology and Economics, Chair: Denes Bisztray, Host: Reiko Heckel)
Graph transformation provides a highlevel rule and patternbased manipulation language for graph models.
In graph transformation, the most costintensive phase of a transformation execution is pattern matching, where those subgraphs of a model graph are identi?ed and matched which satisfy constraints prescribed by graph patterns. Incremental pattern matching aims to improve the ef?ciency of this critical step by storing the set of matches of a graph transformation rule and incrementally maintaining it as the model changes, thus eliminating the need of recalculating existing matches of a pattern. In recent research papers, we have shown through benchmark examples that incremental pattern matching has a significant advantage in the application domain of model simulation and model synchronization. In the presentation, I describe our RETEbased incremental pattern matcher implementation included in the VIATRA2 model transformation framework. Moreover, through simple examples, I show basic techniques of combining local searchbased pattern matching with the incremental technology to further increase performance.
Secure Service for EP2P on top of Lindalike language
Julien Lange
(ESA, Chair: Christian Kissig, Host: Emilio Tuosto)
The presentation consists of two parts. Firstly, I present the result of my master thesis "On Secure Services for Embedded Mobile Peertopeer Systems: a Conceptual Framework and its Implementation in the Coordination Language SecureLime". In the context of the European Project SMEPP, the thesis describes the implementation of a middleware built on top of a Lindalike language. Then, I outline a possible research topic for a PhD thesis which would be partly based on my master thesis.
Finally, I present quickly my current work concerning the simulation of communication protocols for Mars exploration.
The reals and locally compact data types
Olaf Klinke
(University of Birmingham, Host: Daniela Petrisan) I present several ways of representing (a subset of) the real numbers and outline why none of them is fully satisfying yet. A unifying view on these representations is given which leads to the question whether a nice representation can exist at all. I present a bitopological operator which has the real numbers as a fixed point. Triggered Scenarios and synthesis to Modal Transition Systems
German Sibay
(Imperial College, London, Host: Christian Kissig) Scenariobased speci?cations are popular ways for describing intended system behaviour. With our research we aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this talk I will present a scenario formalism with trigger and branching flavoured semantics. This formal language is consistent with existing informal scenariobased and usecase based approaches to requirements engineering. I will also show a synthesis algorithm that, rather than building arbitrarily one of the many behaviour models that satisfies a scenario, constructs a Modal Transition System (MTS) which characterizes all behaviour models that conform to the scenario. The triggered scenarios and the synthesis algorithm have been included in the tool MTSA (Modal Transition System Analyser). I will conclude the presentation with a very brief demo of the tool. Finite Derivation Type for Monoids
Eylem Guezel Karpuz
(Balikesir University, Turkey, Chair: Daniela Petrisan, Host: Rick Thomas) The property of having finite derivation type, FDT for short, is a finiteness condition for finitely presented monoids. It is obtained by considering certain binary relations, called homotopy relations, on the set of paths of a graph that is associated with a finite presentation [Sigma; S] of the monoid M considered. This property was introduced by C. Squier. Since FDT is a necessary condition for a monoid to be defined by some finite and complete string rewriting system, and since FDT is an invariant property of monoid presentations, it becomes important to know which monoid constructions preserve the property of FDT. In this talk, I will summarize some works studied on FDT and then give a brief outline of my study on FDT. A Population Based Local Search for Protein Folding
Leonidas Kapsokalyvas
(Kings College, London, Host: Christian Kissig)
Protein folding is the physical process in which a protein acquires its threedimensional structure,
which subsequently determines the specific biological task performed by this protein. Proteins fold
spontaneously into threedimensional structures of minimum energy when found in the appropriate environment.
Moreover the sequence composition of a protein is sufficient to determine its structure. We deal with the
abinitio protein structure prediction problem where, starting from the sequence composition, the aim is to
find the global energy minimum in a prescribed model of interactions. This is an NPcomplete problem in the
simplest coarse grained model, namely the HP model. In order to tackle the problem we devise a novel stochastic
local search method, the Population Based Local Search. Our method employs simulated annealing as a preprocessing
step, to estimate the maximum over the minimum escape height from any local minimum. This information is used
to guide the Populationbased local search. The method is based on independent guided random walks which
sample local minima. The sampled local minima can subsequently be used
for a statistical analysis of the underlying energy landscape. The novel method competes well to a pure
simulated annealing and also has the potential of an efficient parallel implementation.
Routing in Wireless Networks of Varying Connectivity
Andrew Grundy
(University of Nottingham, Chair: Ambreen Shahnaz, Host: Martin Birks) This presentation introduces the research areas related to wireless ad hoc networking, identifying two classifications of mobile wireless user  One who is typically connected, and another that is typically disconnected. I then show that a modern mobile device can be connected or disconnected, and as such cannot be classified as either a typically connected or disconnected node, and can be best described as a node of varying connectivity. I present a routing protocol built upon the assumption that mobile users have a reoccurring, predictable set of contacts. The protocol I propose exploits the assumed connectivity knowledge, resulting in a more efficient approach to packet transferal. I finish the presentation describing the results I have obtained from my emulations in the network simulator ns2. Topology Generation for Router Level Topologies
Matthew Thomas
(University of Essex, Host: Ambreen Shahnaz) A taxonomy of approaches could be developed for the work that has been carried out with respect to topology generation for representative Internet and router level Topologies. We suggest that there are fundamentally two different requirements for accurate Internet topology generation. The fist relates to the ASlevel. There are existing and well developed AS longtailed distribution models, which are clearly suitable and well accepted for the ASlevel topologies. Many of these methods use the placement of nodes representing AS (organizations) on an xy plane. These AS's are then connected into a graph using mathematical formula proven to result in a graph similar to the internet connectivity, Unfortunately the formulas used to connect the nodes (representing AS's) assumes link independency. Analysis of these models (Barabasi, Waxman, GLP), has shown the resulting graphs to represent the Internet AS structure quite well. However we propose that for router level topologies this independence is not present and suggest an overriding distance/price heuristics model for Internet/ Corporate router level topology generation. We suggest that the ASlevel methods when applied are in fact antithetical for router level topology generation; ie, they create topologies that can represent the worst graph. Although many existing topology generators already have 'router level' settings, the models used to create /evaluate these router topologies has remained with some exceptions based on the powerlaw distributions. Modelling Clinical Practice Guidelines with Symmetric Sum Types
Lasse Nielsen
(University of Copenhagen; Chair: Laura Bocchi)
This talk reveals the intention and results of extending the Multiparty
Session Types with Symmetric Sum.
A Clinical Practice Guideline (CPG) is a detailed description of best
practice for a medical treatment.
First the desired properties of a representation of CPGs are discussed.
Then a specific representation called Process Matrix is described.
Symmetric Sum Types are introduced as a way to model Process Matrix as
Multiparty Session Types.
Finally the theoretic properties and results of Symmetric Sum Types such
as encodability are presented.

Author: C Kissig, D Petrisan, M Birks ( ck112,dlp10,mb259 @le.ac.uk ). 