14th Retreat of the HPI Research School
The annual spring retreat of the research school took place on April 12, 2013 at the Hasso Plattner...
Annual HPI-SAP Symposium in Walldorf
On December 17, 2012, members of the HPI research school presented their latest research results at...
13th Research School Retreat - Fall 2012
The annual fall retreat of the research school took place on October 18/19, 2012 at the IFA Hotel...
Two successful Ph.D. defenses on one day
On May 29, two members of the HPI Research School successfully defended their Ph.D. theses. Rehab...
FutureSOC-Symposium 2012 at HPI (June 14/15)
7th Symposium on Future Trends in Service-Oriented Computing
12th Retreat of the HPI Research School
The annual spring retreat of the research school took place on April 20, 2012 at the Hasso Plattner...
HPI Symposium @ SAP
On Dec 6, the research school visited the SAP headquarters for the annual HPI Symposium. Six...
New branch of the HPI Research School in China
On Nov 17, the HPI Research School opened its 3rd branch at Nanjing University in China.
11th Retreat of the HPI Research School
The annual fall retreat of the HPI Research School was held on Oct 20 and 21 at the Seehotel...
Graduate School Workshop at Schloss Dagstuhl
From June 20 until June 22, seven members of the HPI research school will participate in the joint...
Research School Meeting
10th of November 2010, 15:15
"On channel-based coordination with Reo and in-place model transformation with Henshin"
Todays software development methods are largely influenced by the two paradigms of service-oriented computing (SOC) and model-driven engineering (MDE). In the first part of this talk, I will present an approach to SOC using the channel-based coordination language Reo. Specifically, I will show how to do formal analysis of Reo connectors by encoding them into the mCRL2 specification language and applying model checking. Then I will show how to use graph transformation for modeling and verification of dynamic reconfigurations in Reo. For this purpose, I will use the AGG tool and Henshin. The latter is a new in-place model transformation language developed in the context of the Eclipse Modeling project. The focus will be on Henshin's state space tools which provide means for qualitative as well as probabilistic analysis based on model checking.
Besides the verification of dynamic reconfigurations, I will also consider standard MDE applications of Henshin, such as refactorings and meta-model evolution.
Christian Krause received his Diploma in computer science from the Technical University of Berlin in 2006. His Diploma thesis was on model transformation in Eclipse and was supervised by Prof. Gabriele Taentzer. Since 2007, Christian has been working in the group of Prof. Farhad Arbab at the Centre for Mathematics and Computer Science (CWI) in Amsterdam. The topic of his PhD studies are channel-based coordination models with emphasis on formal verification of static and reconfigurable component connectors. Moreover, he is the current project leader of the Eclipse project 'Henshin'.