RG ENGELS
ME PASO
Modeling and Execution of Process-driven Adaptive Service Orchestrations
Modeling and Execution of
Process-driven Adaptive Service Orchestrations
Project Group Re-Introduction, April 13th 2011
Research Group Database and Information Systems
Prof. Dr. Gregor Engels, Christian Gerth, Markus Luckey, Benjamin Nagel
Overview
1
1
Requirements
2
Adapt Cases (AC)
QA
Goals
(formal rep. of Reqs)
IT Process
1
Systematic derivation of Adapt Cases and
process specifications from requirements
2
Analysis of quality properties for
adaptive systems
3
Modeling of executable process
specifications
Adaptation Engine
Process Engine
Services
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations
3
Methodology
KAOS
Refinement
Concepts
Textual
Requirements
extract
Goals
(KAOS)
Adapt
Case
Concepts
Adapt Cases
adapt
refine
w/ adaptation
IT Processes
BPMN
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations
Models
UML
M2
BPMN
Profile
BPMN
Model
Adapt Cases
Profile
defines
adaptation
Adapt Cases
Monitor
M1
M0
Adaptation
Context
Running
Business
Process
adapt
Running
Adaptation
Engine
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations
Analysis
Analysis of Quality
Properties for
Adaptive Systems
Analysis Framework
Model Checker
Quality Properties
Semantics
Adapt Cases
Semantics
adapt
Business Processes
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations
Tools
• Modeling Environment for
Process Support
– Adapt Cases
– Business Processes
– Dependencies
• Integration with Analysis
Method and Workbench
DMM
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations
Next steps ...
• Seminar:
– Read the papers proposed for your topic
– Make an appointment with your supervisor
– If you have any questions ... ASK 
• Mailing List & SVN Repository:
– If you have received Christian mail to the ME PASO mailing list, please
send us a short notification with your IMT login (needed for SVN
access)
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations
Deadlines
•
•
•
•
•
8.5.
12.5.
16.5.
19.5.
22.5.
Peer Review Version 0.8
Peer Review Deadline
Version 0.9
Review by Supervisors
Deadline Version 1.0
• Deadline Time: 23:59
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations
Topic
Supervisor
Peer Reviewer
Adaptive Systems (Junaid)
Markus
Tamas, Felix
Adapt Cases (Navneeta)
Markus
Sherko, Thaduri
Quality Assurance of Processes (Christian
Thanos)
Markus
Mouli, Shilpa
Dynamic Meta Modeling (Anuradha Karnam)
Christian Soltenborn
(Please contact Markus)
Shinu, Suman
Eclipse and EMF (Tamas)
Christian Soltenborn
(Please contact Christian)
Suman, Elena
BPMN and BPEL (Felix)
Christian
Junaid, Navneeta
BPM and SOA (Sherko)
Christian
Christian, Johann
Process Aware Information Systems (Thaduri
Madhu Babu)
Christian
Elena, Johann
Adaptive Service Orchestration (Mouli)
Benjamin
Junaid, Navneeta
Goal-oriented Requirements Engineering
(Shilpa Seshadri)
Benjamin
Christian, Anuradha
From Goals to a System Design for Adaptive
Systems (Shinu)
Benjamin
Tamas, Felix
UI Integration (Suman)
Capgemini
(Please contact Benjamin)
Shinu, Anuradha
Pega SmartBPM (Elena, Johann Rybka)
Capgemini
(Please contact Benjamin)
Mouli, Shilpa, Sherko, Thaduri
ME PASO - Modeling & Execution of Process-driven Adaptive Service Orchestrations