alivemmartin/alive_kemlgseminar.pdf · alive eu funded project kemlg seminar, 3 june 2009 alive...
TRANSCRIPT
05/06/2009 | 1
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
ALIVE
Javier VazquezUniversitat Politècnica de Catalunya
“Coordination, Organisation and Model Driven Approaches forDynamic, Flexible, Robust
Software and Services Engineering”
05/06/2009 | 1
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
05/06/2009 | 2
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Project Parameters
• IST Framework 7 STREP Project
– Funded from the 1st Call ICT
• Focus:
– Design, Deployment and Management of Service-Oriented Applications
– Organisational and coordination techniques
– Model-Driven approach
• Project ID: FP7-215890
• Area: Service and Software Architectures, Infrastructures and Engineering
• Costs:
– Total Cost: 3.772.256,84 Euro
– Req. Cont: 2.809.213,72 Euro
• Dates:
– Start: 1st February '08
– Defined End: 31st Aug ‘10
05/06/2009 | 3
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
ALIVE Project Consortium • Universitat Politecnica de Catalunya (UPC)
– Barcelona / Spain• University of Bath (BATH)
– Bath / UK• Trinity College Dublin (TCD)
– Dublin / Ireland• University of Aberdeen (UNIABDN)
– Aberdeen / UK• Universiteit Utrecht (UU)
– Utrecht / The Netherlands• Calico Jack Ltd. (CJ)
– Dundee / UK• TMT Factory (TMT)
– Barcelona / Spain• Thales Nederland B.V. (THALES)
– Hengelo / The Netherlands
05/06/2009 | 4
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Partner Roles Summary• Universitat Politècnica de Catalunya (UPC)
– Normative aspects of distributed systems / Coordination and Organisation [WP1, WP2 and WP8 lead]
• University of Bath (BATH)– Semantic web service description, discovery, brokerage and workflow enactment
[WP5 lead]• Trinity College Dublin (TCD)
– Methodologies for development of large-scale dynamic systems [WP6 lead]• University of Aberdeen (UNIABDN)
– Formal specification and verification of organisations / Academic Industry partnerships [WP4 and WP7 lead]
• Universiteit Utrecht (UU)– Formal semantics of organisational models [WP3 lead]
• Calico Jack Ltd. (CJ)– Use case: multimodal communication within the entertainment domain
• TMT Factory (TMT)– Use case: context aware information services for citizens
• Thales Nederland B.V. (THALES)– Use case: dynamic re-structuring of distributed emergency management services
05/06/2009 | 5
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Context• New generations of networked service applications should be
able to: – communicate and reconfigure at runtime– adapt to their environment– dynamically combine sets of building block services into new
applications
• This requires profound changes in the way software systems are designed, deployed and managed…
– from existing, top-down, “design in isolation” to new approaches based on integrating new functionalities/behaviours into existing running systems
05/06/2009 | 6
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Objectives
• In this context, the objectives of the Alive project are:
– To bring together the leading edge methods from Coordination Technology and Organizational theory with new technologieson Model Driven design to create a framework for software and services engineering addressing the new reality of “live”, open systems of active services.
– To close the gap between theoretical approaches and existing web services technologies
05/06/2009 | 7
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
The ALIVE approach
• Splitting the design process in three separate layers– Service layer: augments service models to make
components aware of their social context– Coordination layer: specifying patterns of
interaction– Organisational layer: specifying organisational
rules that govern interaction
05/06/2009 | 8
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Core motivations for the approach• New service engineering approaches can benefit from the
adaptation coordination and organisation mechanisms often seen in human and other societies.
• Such mechanisms provide– Robust descriptions of distributed systems– Account for the individual autonomous nature of service
providers/consumers– Define a wide range on strategies and mechanisms with known
properties
• Project Meme:– The strategies used today to organise the vastly complex
interdependencies found in human, social, economic behaviour will be essential to structuring future software systems
05/06/2009 | 9
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Methology
Framew
ork
Coordination level:- coordination patterns
- actor workflow- actor expectation
Organizational level:- norms and regulations
- organizational structure- communication ontology
- evaluation indicators
The ALIVE approach
WSWS
WS
WS
WS WS
Existing platformsExisting services
New servicesService interactions
SDSD
SD
SD
SD SDService level:
- semantic service description (SD)
- standards specification
actor
actor
actoractor
role
dynamic assignment
Functional instantiation
role role role
actual deployment
05/06/2009 | 10
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Overview of ALIVE
05/06/2009 | 10The ALIVE approach
ALIVE EU FUNDED PROJECT
Methology
Framew
ork
SDSD
SD
SD
SD
actor
actor
actoractor
role
role role role
WP2 WP3
WP4
WP5
WP6
SD
WS
WS
WS
WS
WS
WS
MODELMODEL--DRIVENDRIVENENGINEERINGENGINEERING
05/06/2009 | 11
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
ALIVE Architecture
05/06/2009 | 12
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Summary: Project objectivesO1 – Sound theoretical foundations
– New framework for design, deployment and management of service-oriented systems with sound theoretical foundation for organisational aspects
O2 – New engineering techniques and tools– Provide concrete modelling languages and their implementations to
capture organisational, coordination and autonomy levels
O3 – New design and methodological approaches– Design methods and tools
O4 - Integration and availability on SOA environments– Results widely available both during and after the project
05/06/2009 | 13
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Summary: Target OutcomesR1 – Architecture and Scientific foundations
– Sound theoretical modelR2 – Organisational Level models and tools
– Rules of engagement, organisational actors…R3 – Coordination Level models and tools
– Coordination patterns, coordination techniquesR4 – Service Level models and tools
– Connection of services to coordination and organisational level concepts
R5 – Design and methodology– Profiles, patterns and modelling guidelines
R6 – Integrated tools and systems for easy application– Tools, libraries and plug-ins
R7 – Use case prototypes
O1
O2
O3
O4
05/06/2009 | 14
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Use Case 1: Emergency Scalation Handling
05/06/2009 | 14
ALIVE EU FUNDED PROJECT
05/06/2009 | 15
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Use Case 1: Emergency Scalation Handling
05/06/2009 | 15
ALIVE EU FUNDED PROJECT
Figure 2.2 Running Example -Changes in Stakeholders’ Relationships in Various Situations
05/06/2009 | 16
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Use Case 2: Multimedia distribution of information and orchestration of services
05/06/2009 | 17
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
05/06/2009 | 18
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Use Case 3: Entertainment Communication Router
05/06/2009 | 19
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Use Case 3: Entertainment Communication Router
05/06/2009 | 20
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Benefits of the ALIVE method
• Mapping human organisations to service-based solutions
• Development layers allows for:– Traceability (why is something done in this way on
this level?)– Adaptivity (moving up in abstraction to solve
problems at a specific level)
05/06/2009 | 21
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Change and adaptation
• 3 levels:– Changes in system functionalities
e.g., services that become unavailable or are not used correctly
– Changes in environmental conditionse.g., changes (sensed symptoms) that can lead to potential
failure during the achievement of objectives
– Changes in stakeholders needse.g., changes in laws and norms that regiment particular
organisational protocols and responsibilities
Service
Coordination
Organisation
05/06/2009 | 22
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
From abstract regulations to implementation
Regulation
Electronic organisation
?
Ontology Norms/Enforcement Interaction Structures
05/06/2009 | 23
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Simple example(example by Virginia Dignum and Huib Aldewereld)
• Thermostat organisation:– Declarative regulation: maintain the temperature of the
building at a comfortable level without wasting energy
• What does that mean in operational terms?
• Which services to call to adhere to this norm?– Service to get the day of week– Service to get the time of day– Service to get the temperature of each room– Service to translate °F to °C– Service to regulate the heater/air-conditioner
05/06/2009 | 24
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Example, continued
Organisational level
Maintain the temperature of the building at a comfortablelevel without wasting energy
Maintain the temperature of the building at a comfortablelevel without wasting energy
Othermo(temperature(comfortable))Fthermo(waste(energy))Othermo(temperature(comfortable))Fthermo(waste(energy))comfortable?
temperature?energy?
comfortable?temperature?energy?
The temperature in the buildingneeds to be 18°C wheneverthere is people around
The temperature in the buildingneeds to be 18°C wheneverthere is people around
Coordination level L1 = check temperatureL2 = adjust heaterL1 = check temperatureL2 = adjust heater
IF (today = normal_weekday)THEN
int temp := requestTemperature(servicetemp) ; IF (temp ≤ 18) THEN call(serviceheater)
IF (today = normal_weekday)THEN
int temp := requestTemperature(servicetemp) ; IF (temp ≤ 18) THEN call(serviceheater)
requestTemperature?call?week_day?
requestTemperature?call?week_day?
Service level
05/06/2009 | 25
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
Deploying a regulation
• Operationalization– How to check for violations?– How to enforce? (what sanctions to use?)– How to cope with violations? (repairs needed?)
• Contextualization– Bringing the regulation into context– E.g., personal info in the context of a hospital vs. personal info in
the context of severe criminality registers
05/06/2009 | 26
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
UPC research in ALIVE• Formal model of normative adaptation
– From norms to regulations– Norm Metamodel
• Formalisation of the connection between (fixed) abstract norms and (dynamic) context-depended norms
• Formalisation of the connection between abstract terms and actions in the domain with lñow-level events and service end-points
• Normative influence at the coordination level– How norms and organisational landmarks influence the actor execution– How norms and organisational landmarks influence coordination and
distributed planning?
• Generalisation of the Agentified services platform from CONTRACT– Validation in TMT use scenario
05/06/2009 | 27
ALIVE EU FUNDED PROJECT
KEMLg Seminar, 3 June 2009
http://www.lsi.upc.es/~jvazquez