the sensoriamit.bme.hu/~rath/ppt/sde.pdf · • provides basic infrastructure for osgi‐based ......

The SENSORIAThe SENSORIADevelopment EnvironmentDevelopment Environment

CASE Tool for SOA Developmentp

SENSORIA EU FP6 project19 partners from 7 countries

4 years, 4 M EUR

István RáthSENSORIA Development Environment for SOA

István Ráthrath@mit.bme.hu

ContextContext• Service‐Oriented Computing

– Create new servicesCreate new services – By composing existing functionality– With „Loosely‐coupled” interaction– >Resilient to changing (business) environment– >Resilient to changing (business) environment

• Envisaged market impact– Time‐to‐market of service integration can be reduced– Increased quality of service

(security, response time, throughput, availability….)– Portability to existing platforms to maintain profitable services

• Challenges– Specification and querying of services?– Correctness and consistency of service composition?y p– Continuous operation in changing environment (service outages)?– Design for justifiable SLA‐compliance (security, performance)?

SENSORIA Development Environment for SOA

The SENSORIA ApproachThe SENSORIA Approach

The SENSORIA Development Environment (SDE)

Obj ti f th SDE• Objective of the SDE– Provide a service‐oriented platform for tool integrationintegration

• Benefits– Discover & install SOA development toolsDiscover & install SOA development tools– Orchestrate & compose tools as services– A homogeneous platform forA homogeneous platform forthe service‐based toolchain

• SDE is based on SOA– OSGi for services– Eclipse for UI

The SDE UI

Tool BrowserLists available tools, ordered by

categoryT l b di d

Function BrowserShows functionality available in a

Tools can be discovered, downloaded and installed via

Eclipse update sites.

Aspire One talán a legszexibb az eddig nálunk járt mini notebookok közül. A fényes tejszínű Aspire One talán a legszexibb az eddig nálunk járt mini notebookok közül. A fényes tejszínű

ShellAllows direct access to tool functions

BlackboardStores data in‐between tool function

burkolat és a zsanérok melletti metálpiros gyűrű már‐már nőiessé varázsolják a gépet."burkolat és a zsanérok melletti metálpiros gyűrű már‐már nőiessé varázsolják a gépet."

Allows direct access to tool functions calls

Correctness analysis with WS‐Engineer

• WS‐Engineer supports model‐checking WS‐BPEL, WS‐CDL and WSIF behavioural specifications

– Properties for analysis of service interaction & behaviour– Verification and violation traces– Animation for validation

• Automotive Case Study – On Road Assistance Scenario:

– Is it true that the credit card of the driver won’t be charged– Is it true that the credit card of the driver won t be charged if there are no available garages?

• Generate formal models of service orchestrations• Specify a property for verification

– e.g. “propertyservice.orderGarage throw_fault bank.revokeChar

”ge”• Check model for violation traces of this property

WS‐Engineer at a glanceg g

Available Services WS‐BPEL

example

Blackboard of results Available

example

of results AvailableMethods A trace of

property

ToolTool Output Graphical

Dynamic and Adaptive Services (Dino)

• Dino ‐ QoS and Adaptive Service Brokering

S i Di S l i Bi di d Ad i– Service Discovery, Selection, Binding and Adaptation– Functional and non‐functional aspects required/provided

l d 2 i i h– Local, Remote and P2P service repository search• DinoModes:

G t Di F UML M d d l– Generates Dino specs. From UML Mode models • Extracts services required and provided• Generates functional and non‐functional Dino inputsGenerates functional and non functional Dino inputs• Check model for violation traces of this property

• Modes + WS‐Engineer

– Analyse modes for consistency and constraints• Architectural, Behaviour and Policy reconfigurations

Dino+Modes at a glanceDino+Modes at a glanceDinoModesBrowsero se

ModesAPIModesAPIDinoModesAPI

UML Modes

FunctionalSpecificatio

Mode Selectio

SENSORIA Development Environment for SOASENSORIA Development Environment for SOA

Performance analysis with PEPA

PEPA is a formal language for quantitative analysis of systemsA model is expressed in terms of components which performA model is expressed in terms of components which perform timed activities and co‐operate with each other

The SCT Plug‐in for PEPA supports steady‐state analysis that canThe SCT Plug‐in for PEPA supports steady‐state analysis, that can answer questions such as:

What is the percentage of time that the local discovery server is p g yidle in the long run? (Utilisation Analysis)What is the throughput at which remote services are discovered? (Throughput Analysis)What is the probability that the system does compensation upon notification of failure?

PEPA at a Glance

I f f PEPA d

Interface of th UML

Interface for PEPA steady‐state analysis tools

Available Methods

the UML converterPEPA model description

automatically inferred from UML

Throughput results

results reflected

back into the UML model

Utilisation Analysis Results

UML model

Service deployment transformations

G t WSDL d i t f UML4SOA• Generate WSDL descriptors from UML4SOA• Tool: VIATRA2

VIsual Automated model TRAnsformations– VIsual Automated model TRAnsformations– general‐purpose model transformation framework that supports the entire life‐cycle for transformationspp y

• specification• design• executionexecution• validation

– within and between various modeling languages // /– Eclipse subproject: http://eclipse.org/gmt

– Wiki: http://wiki.eclipse.org/VIATRA2

VIATRA2 transformations in SDE

Source models in UML

WSDL files are created

Model transformation Uniform representation of models and transformations

codemodels and transformations

The UML2BPEL Transformation

• The UML2BPEL transformer converts from UML activity diagrams d Sto BPEL and WSDL

– Input: Service orchestrations in UML based on the UML4SOA profile

– Output: BPEL and WSDL files• Integrated into Eclipse

• Based on Eclipse EMF, supports input models from Rational p pp pSoftware Architect and other tools which export EMF XMI

• See http://www.pst.ifi.lmu.de/projekte/uml4soa/

UML2BPEL at a glance

Transformation

UMLUML

BPEL + WSDL

SENSORIA providesSENSORIA provides…

SENSORIA tools extend standard design workflow by providing justifiable solutions.

VIATRA:Standard deployment code generated in WSDL.y p g j

WS‐Engineer:No deposit will be charged if service is cancelledNo deposit will be charged if service is cancelled.The driver will get everything according to his

policy if payment if confirmed.PEPA:PEPA:

The car will arrive within 15 minutes with 90% probability.

The GPS location service is a quality bottleneck.The GPS location service is a quality bottleneck.

SENSORIA Development Environment:Additional tools can easily be integrated

SENSORIA answers to SOA challenges

Precise model‐driven development of servicesCustomizable domain‐specific development process

Deployment to standard platforms

Standards‐compliant service modelling languages

Hidden formal analysis of service modelsHidden formal analysis of service models

The SENSORIA Development Environment

A PROGRAMMER’S PERSPECTIVEThe SENSORIA Development Environment

Eclipse OSGi as an integration platformEclipse, OSGi as an integration platform

• OSGi = Open Services Gateway Initiative

Bundle 1 Bundle 2 Bundle n

OSGi frameworkOSGi framework

Java Runtime Environment(J2SE, J2ME, J2EE)

Bundle 1 Bundle 2 Bundle nJava

packages

Java Runtime Environment(J2SE, J2ME, J2EE)

packages

Java Runtime EnvironmentClasses are (re)usable

(J2SE, J2ME, J2EE)

packages

OSGi frameworkDynamic configuration OSGi framework

Java Runtime EnvironmentClasses are (re)usable

configuration

(J2SE, J2ME, J2EE)

• OSGi = Open Services Gateway Initiative

• Bundle – Dynamic add / removeDynamic add / remove

– Can provide OSGi services

Web services compatible”– Web services „compatible

• Component‐based, extensible system

• Examples: Eclipse Equinox, Knopflerfish, ...

SensoriaSensoria

• OSGi bundles, and an Eclipse UI

• Provides basic infrastructure for OSGi‐basedProvides basic infrastructure for OSGi based tool and service integration

SensoriaCore

Tool Store BlackboardTool Store Blackboard

SensoriaSensoria

Tool Store

SensoriaSensoria

Tool Store

OSGi implementation

EclipseExtensionRegistry

implementation + Extension

point mechanismRegistry mechanism

SensoriaSensoria

ISensoriaToolExtension point: tool description

Tool Store

ISensoriaTool tool description

OSGi implementation

SensoriaSensoria

ISensoriaTool

Extension point: marker Interface, implemented by

Tool Store

ISensoriaTool implemented by Tools

OSGi implementation

SensoriaSensoria

ISensoriaTool

Extension point: marker Interface, implemented by Describes

Tool Store

ISensoriaTool implemented by Toolsservices

offered by a Tool

OSGi implementationMyToolInterface

MyToolImpl

SensoriaSensoria

ISensoriaTool

Extension point: marker Interface, implemented by Describes

Tool Store

ISensoriaTool implemented by Toolsservices

offered by a Tool

OSGi implementationMyToolInterface

MyToolImplThe i l t tiimplementation

Distributed operationDistributed operation

SensoriaC

SensoriaC Core

RegistryCore

Registry

CoreCore

ToolStore

BBToolStore

BBStore

Remote OSGi (R OSGi)Remote OSGi (R‐OSGi)

R‐OSGibundle

OSGi framwork OSGi framework

SInterface is

present on bothServ

present on both the server and

the client

R‐OSGibundle

OSGi framework OSGi framework

I l t tiR‐OSGibundle

R‐OSGibundle

Implementation class

(„server”)

SRegister service S

service

R‐OSGibundle

A remote client requests theA remote client requests the service...

S A proxy is

p ycreated... o

R‐OSGibundle

Eclipse OSGi as an integration platformEclipse OSGi as an integration platform

R‐OSGibundle

Eclipse, OSGi as an integration platformEclipse, OSGi as an integration platform

Function calls are passed, return values are serialized and

transported

Comparing ECF and R OSGiComparing ECF and R‐OSGi

• ECF R‐OSGi– ‐More complex architecture

+ Simple

+ Lightweight (only

– + More features (asynchronous calls,

depends on OSGi)

Better suited for our l

( y ,timing service, stb.) goals

The R OSGi based implementationThe R‐OSGi‐based implementation

Sensoria RemoteCoreCore Registry

RemoteService ToolR‐OSGibundle

+mini model bundle

ToolStore

Workflow orchestration Hello worldWorkflow orchestration – Hello world

cReg.addRemoteCore("r‐osgi://localhost:9278");

remoteCore = cReg.findCoreByName("r‐osgi://localhost:9278");remoteCore cReg.findCoreByName( r osgi://localhost:9278 );

testTool = remoteCore.findToolById("hu.bme.test.htmlconverter");

testIf = testTool.getServiceInterface();

sCore.print(testIf.htmlEscape("<<"));p ( p ( ))

Tool scriptsTool scripts

function soa2wsdl(umlFileName, outputDirectory){viatra sCore findToolByName("Viatra") getServiceInterface();viatra = sCore.findToolByName( Viatra ).getServiceInterface();vU = sCore.findToolByName("vUtil").getServiceInterface();fw = viatra.createFramework();

vpml = vU.getInputStream(vU.getFileFromBundle("hu.bme.mit.viatra.integration.sensoria","model/uml2soa clean.vpml"));ation.sensoria , model/uml2soa_clean.vpml ));

umlmodel_file = vU.getFile(umlFileName);viatra.nativeImportFromFile(fw,umlmodel_file,"uml");

result = viatra.runTransformation(fw,"transformations.uml2soa2wsdl","Model=uml2.models."+umlmodel+"_uml");_ )viatra.writeoutput(fw,...);viatra.disposeFramework(fw);

OutlooksOutlooks

• Support a proper workflow orchestration engine instead of the built‐in JS interpreterg p– Parallelism

Exception handling– Exception handling

– Asynchronous messages

• UI integration– Allow for user interaction in automated workflowsAllow for user interaction in automated workflows

Where to get it?Where to get it?

• General info:– http://www.sensoria‐ist.eu/p // /

• SDE:h // ifi l d / /– http://svn.pst.ifi.lmu.de/trac/sct

the sensoriamit.bme.hu/~rath/ppt/sde.pdf · • provides basic infrastructure for osgi‐based ......

Documents

abhi rath telcom

osgi, rcp, eclipse modeling - toulibre...cohabiter osgi va...

era rath realtors

osgi community event 2010 - automated semantic versioning...

ku rath 2008

osgi service platform peteregli.net osgi

rath vocabulary words

jaoo2009-osgi on the server · 2009. 10. 6. · osgi in...

aqute about the osgi alliance peter kriens osgi fellow

osgi tutorial - iowa state university smart home...

osgi devcon 09 - osgi on scala

osgi service platform peteregli.net osgi · 3. osgi...

osgi technology for developers - osgi™ alliance – the...

osgi community event 2010 - enterprise platform over osgi -...

weld-osgi, injecting easiness in osgi

osgi component programming by peter kriens, osgi evangelist

rath monsanto

osgi devcon europe 09 - osgi on scala

osgi and soa - wso2 | the open source technology for ... ·...

colton rath pres