ALIVEmmartin/ALIVE_KEMLGseminar.pdf · ALIVE EU FUNDED PROJECT KEMLg Seminar, 3 June 2009 ALIVE Javier Vazquez Universitat Politècnica de Catalunya [email protected] “Coordination,

05/06/2009 | 1

ALIVE EU FUNDED PROJECT

KEMLg Seminar, 3 June 2009

ALIVE

Javier VazquezUniversitat Politècnica de Catalunya

[email protected]

“Coordination, Organisation and Model Driven Approaches forDynamic, Flexible, Robust

Software and Services Engineering”

05/06/2009 | 1



05/06/2009 | 2



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 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



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



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



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



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



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



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



Overview of ALIVE

05/06/2009 | 10The ALIVE approach


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 Architecture

05/06/2009 | 12



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



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



Use Case 1: Emergency Scalation Handling

05/06/2009 | 14


05/06/2009 | 15



Use Case 1: Emergency Scalation Handling

05/06/2009 | 15


Figure 2.2 Running Example -Changes in Stakeholders’ Relationships in Various Situations

05/06/2009 | 16



Use Case 2: Multimedia distribution of information and orchestration of services

05/06/2009 | 17



05/06/2009 | 18



Use Case 3: Entertainment Communication Router

05/06/2009 | 19



Use Case 3: Entertainment Communication Router

05/06/2009 | 20



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



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



From abstract regulations to implementation

Regulation

Electronic organisation

?

Ontology Norms/Enforcement Interaction Structures

05/06/2009 | 23



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



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



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



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



http://www.lsi.upc.es/~jvazquez

Documents

ALIVEmmartin/ALIVE_KEMLGseminar.pdf · ALIVE EU FUNDED PROJECT KEMLg Seminar, 3 June 2009 ALIVE Javier Vazquez Universitat Politècnica de Catalunya [email protected] “Coordination,