formal modelling of service-oriented systems - ?· formal modelling of service-oriented systems...

Download Formal Modelling of Service-Oriented Systems - ?· Formal Modelling of Service-Oriented Systems José…

Post on 28-Jan-2019

212 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

Formal Modelling of Service-Oriented Systems

Jos FiadeiroLaura Bocchi, Joo Abreu

Antnia Lopes

http://news.bbc.co.uk/weather/forecast/341http://news.bbc.co.uk/weather/forecast/341

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

aims of this tutorial

to provide you with an overview of a formal approach to service-oriented modelling that we have been developing in the SENSORIA project

a prototype modelling language SRML

(part of) its semantics

methodological aspects of an engineering approach to service-oriented systems

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

aims of this tutorial

to provide you with an overview of a formal approach to service-oriented modelling that we have been developing in the SENSORIA project

a prototype modelling language SRML

(part of) its semantics

methodological aspects of an engineering approach to service-oriented systems

a companion paper is available from:www.cs.le.ac.uk/people/jfiadeiro

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

aims of this tutorial

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

plan of this tutorial

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

plan of this tutorial

Setting the scenethe context SENSORIA

what we mean by servicewhat we mean by modelling

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

plan of this tutorial

Setting the scenethe context SENSORIA

what we mean by servicewhat we mean by modelling

Engineering service-oriented systemswhy (we think that) it is not the same as for component-based systems

social complexity

service consumers (activities) vs service providersstatic vs dynamic aspects

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

plan of this tutorial

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

plan of this tutorial

SRMLUse Cases for SOC

A language and model of interactions for SOCOrchestration

Provides and Requires interfaces

Connectors and interaction protocolsInternal configuration policies

External configuration policies SLAs

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

plan of this tutorial

SRMLUse Cases for SOC

A language and model of interactions for SOCOrchestration

Provides and Requires interfaces

Connectors and interaction protocolsInternal configuration policies

External configuration policies SLAs

Semantics of service discovery and binding

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

the context

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

the context

! ! Universit di Pisa !

! ! Universit di Firenze

! ! Universit di Bologna

! ! ISTI Pisa

! ! Telecom Italia Lab

! ! Universit di Trento

! ! University of Leicester

! ! University of Edinburgh

! ! Imperial College London

! ! University College London

! ! Universidade de Lisboa

! ! ATX Software SA

! ! LMU Mnchen

! ! FAST GmbH

! ! S&N AG

! ! TU Denmark at Lyngby

! ! Warsaw University

! ! Budapest University of Technology and Economics

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

more precisely

An IST-FET Integrated Project Sept05Aug09

Software Engineering for

Service-Oriented Overlay Computers

The aim of SENSORIA is to develop a novel comprehensive approach to the engineering of software systems for service-oriented overlay computers where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach.

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

even more precisely

An IST-FET Integrated Project Sept05Aug09

Software Engineering for

Service-Oriented Overlay Computers

WP1 Provide support for service-oriented modelling at high levels of abstraction, i.e. independently of the hosting middleware and hardware platforms, and the languages in which services are programmed.

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

even more precisely

An IST-FET Integrated Project Sept05Aug09

Software Engineering for

Service-Oriented Overlay Computers

WP1 Provide support for service-oriented modelling at high levels of abstraction, i.e. independently of the hosting middleware and hardware platforms, and the languages in which services are programmed.

Core Calculi for Service Computing (WP2&5)

Qualit

ative a

nd Q

uantita

tive A

naly

sis

(WP3-4

)

Re

-En

gin

ee

rin

g

Le

ga

cy S

yste

ms

(W

P6

)

Model-driven

Development

(WP7)

Model-driven

Deployment

(WP6)

Global Computer Legacy System

Service-Oriented Modeling (WP1)

Global Computer

Case

Stu

die

s, D

em

onst

raio

n, Tra

inin

g,

Dis

sem

ination, Pro

ject

Manag. (W

P8-1

2)

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

Services?

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

Services?

A personal experience

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

Services?

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

too many products

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

too many products

how to choose a mortgage?how to choose the right mortgage?

how to choose the mortgage that is right for me?

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

too many products

how to choose a mortgage?how to choose the right mortgage?

how to choose the mortgage that is right for me?

it was more than a mortgage that I neededwhich bank would I use for the monthly payments?what about life insurance?

and protection against job loss?

and perhaps a saving scheme?

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

from products to services

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

from products to services

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

from products to services

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

from products to services

Abstracts away the identity of the component(s) out of which the service is provided;

Provides an explicit representation of the role under which the service was procured, and which led to the choice of specific components;

The choice of the configuration of components that provides the required service is performed by experts in a more restricted domain;

Service providers have to abide to rules that ensure certain levels of quality

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

social complexity

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

social complexity

The major source of complexity in modern software-intensive systems is social:

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

social complexity

The major source of complexity in modern software-intensive systems is social:

Systems are not necessarily big chunks of software

software crisis of the 80s

and 90s

Abreu

&Bocch

i&Fiad

eiro&

Lopes@

SFM0

9

social complexity

The major source of complexity in modern software-intensive systems is social:

Systems are not necessarily big chunks of software but they

Recommended

View more >