EU-Contract Project

Wednesday, September 9, 2009

Contract based Systems Engineering Methods for Veri!able Cross-Organisational Networked Business Applications

The Project

IST-CONTRACT Project Parameters

IST Framework 6 STREP Project Funded from the 5th Call IST

Focus: Contracts for Distributed

Applications Engineering Contracts as a basis for formal

veri!cation e-business applications

Project ID: FP6-034418

Area: Digital Business Ecosystems

Costs: Total Cost: 2,509,156 Euro

Req. Cont: 1,850,000 Euro

Dates: Start: 1st Sept 2006

End: 31st May 2009

IST-CONTRACT Project Partners

Universitat Politècnicade Catalunya

Fujitsu EST Gmbh Czech Technical University of

Prague King's College London Imperial College London 3scale Networks S. L. CertiCon A. S. Lostwax Media Ltd. Y‘All B. V.

Why Contracts?

The problem: Engineering applications in Cross Organisational Service Oriented Computing environments

The behaviour of a software application depends upon: Code, Execution Context (environment), Inputs

In a multi-organisational Distributed Business Application

application: No-one has access to all the code

No-one has access to all the execution context

(Possibly) no-one has access to all inputs

Question: How do you predict the potential run-time

behaviour of such applications?

Project Core Idea

Normal Veri!cation approaches for software will not work without full source code access. In Contract:

Instead of predicting actions w.r.t code, predict actions w.r.t obligations, rights, permissions

in Contracts Impacts:

Short term: application design tool

Longer term: formal verification of distributed business

applications

Where are the Contracts?

Contracts: Are the explicit, tangible representation of service interdependencies

Make explicit the obligations of each of the parties in the transactions Make explicit what each system can expect from another

Bind together: The electronic interaction (web services) with

The business obligation with

Prediction as to whether the system will function to get the job

Project Results

What does the Project Deliver?

Contract Framework – formal theoretical framework for distributed business application modelling based on the interchange of (electronic) contracts

Contracting Language – speci!cations of how the actors

should interact electronically and how they should communicate

Contract Execution Environment for Web services – to create and execute contract-mediated business interactions

Verification, Monitoring and Analysis tools – to analyze and inspect deployed systems

Overall Contract Framework

Contract Framework: novel features

Compatible with, and superset of, WS-Agreement

Representation of applications based on state-of-the-art research on Normative Systems

Considers arbitrary contract-related states, not just violation or success, to avoid possible future violations

Being extended to cope with complex, partially observable environments

Architecture itself de!ned in a contractual way

New Electronic Contracting Language

‣ Language based in latest Normative Systems research‣ Includes semantic-rich service-to-service interaction, based on

intentions and commitments‣ This allows the de!nition of formal semantics ease veri!cation

‣ Language covers all levels of communication‣ Not only centered in the expression of electronic contracts‣ A language to express statements about contracts‣ Protocols for contract handling ‣ Includes connection with domain (context) models and ontologies

‣ Language allows for full contracts and contract templates

Contracting Language Communication Model

Domain Ontology Layer

Contract Layer

Message Content Layer

Message Layer

Interaction Protocol Layer

Context Layer

DomainOntology

ContractualOntology

A contract: “the workshop is obliged torepair the car in 2 days”

Domain terms: car, workshop, repair

Statements / actions related to contracts: cancel(contract C1)

Message envelope + intentionality: from service S1 to service S2 …Request[cancel(contract C1)]

Protocolhandling: S1

S2Request

Interactioncontext:

Electronic Contracts: components

Electronic Contract: example

<ISTContract> ContractName="AftercareContract" StartingDate="2007-01-01T00:00:00+01:00" EndingDate="2008-01-01T00:00:00+01:00" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://www.ist-contract.org/schemas/ISTContract.xsd"> <Contextualization> ... </Contextualization> <Definitions> ... </Definitions> <Clauses> ... </Clauses></ISTContract>

<ContractParties> <Agent AgentName="KLM"> < AgentReference>http://www.ist-contract.org:8080/services/KLM </AgentReference> <AgentDescription>Royal Dutch Airlines</AgentDescription> </Agent> …</ContractParties>…<RoleEnactmentList> <RoleEnactmentElement AgentName="KLM" RoleName=“Operator"/> …</RoleEnactmentList>

<Clause>…<ExplorationCondition> <BooleanExpression> Before(2007-07-1T15:30:30+01:00) </BooleanExpression> </ExplorationCondition> <DeonticStatement> <Modality><OBLIGATION></Modality> <Who> <RoleName>Operator</RoleName> </Who> <What> <ActionExpression> PayForEngine(amount, engine, Operator, EngineManufacturer) </ActionExpression> </What> </DeonticStatement></Clause>

Example of deployment

Analyzer

Notary

(Observer+

Monitor)

Contract Repository

Contract manager

bookSeller bookBuyer

Sensor Sensor

Analyzer

Notary

(Observer+

Monitor)

Contract Repository

Contract manager

bookSeller bookBuyer

Sensor Sensor

Verification Tool

Off-line tool implements verification mechanisms for contract-governed systems.

Verification Tool

Capable to verify system behaviours through notions of compliance/violations of intended behaviours.

Verification Tool

Based in the formal framework and the contract language semantics.

Verification Tool

Ability to check systems with large state spaces

Verification Tool

Ability to check systems with large state spaces Capable to generate counterexamples when dangerous

or conflicting situations are detected

Verification Tool

Ability to check systems with large state spaces Capable to generate counterexamples when dangerous

or conflicting situations are detected User friendly GUI

Verification Tool components/process

Service Monitoring Tool

Checks conformance of an individual service execution to specification (contracts) at runtime.

Specifically, monitors compliance/violations of obligations of contract clauses which serve as warning to the service.

Capable to monitor service behaviours over large state spaces.

Shown useful for monitoring multiple, long running contracts in parallel

Service Monitoring Process

Global Monitoring Tool

Global Monitors detect and report on violations and fulfilment of contract clauses, specially those specifying complex behaviours of contract party agents.

Global Monitors detect and report on violations and fulfilment of contract clauses, specially those specifying complex behaviours of contract party agents. Disjunctions and conjunctions of circumstances

Global Monitors detect and report on violations and fulfilment of contract clauses, specially those specifying complex behaviours of contract party agents. Disjunctions and conjunctions of circumstances Synchronisation of multiple agents’ actions

Accurate monitoring ensures enforcement mechanisms (sanctions) are only applied when appropriate..

Gives confidence to contract parties that the whole business interaction will evolve as expected.

Global Monitor process

Gets inputs from the Observers

Tracks the status of each clause of the running contract:

Tracks the status of each clause of the running contract: A is pre-activation

Tracks the status of each clause of the running contract: A is pre-activation B is activated but not fulfilled

Tracks the status of each clause of the running contract: A is pre-activation B is activated but not fulfilled C is fulfilled

If in state B but cannot move to state C (because of deadline expiring), then have violated clause

A B Cdeliver (Seller, Buyer, Goods)‏ deadline: T + 3 days observer: OrderObserver

order (Buyer, Seller, Goods, T)‏ deadline: N/A observer: OrderObserver

Contract Editor

Editor to compose contract templates and instances according to the Contracting Language

Contract Editor

Functions over contracts and contract templates:

Contract Editor

Functions over contracts and contract templates: storage

Contract Editor

Functions over contracts and contract templates: storage retrieval

Contract Editor

Functions over contracts and contract templates: storage retrieval modification

Contract Editor

Functions over contracts and contract templates: storage retrieval modification deletion

Contract Editor

Functions over contracts and contract templates: storage retrieval modification deletion

Publishing of templates and instances into a contract environment by means of the Contract Store

Contract Analyser

Enables the administrator to inspect the runtime state and behaviour of a contract-based system

Contract Analyser

Collects information from several sources and presents them in an integrated view

Contract Analyser

Collects information from several sources and presents them in an integrated view contracts deployed in the system and their status

Contract Analyser

Collects information from several sources and presents them in an integrated view contracts deployed in the system and their status contract-related actions performed in the system

Contract Analyser

Collects information from several sources and presents them in an integrated view contracts deployed in the system and their status contract-related actions performed in the system communication between contract parties

Contract Analyser

Collects information from several sources and presents them in an integrated view contracts deployed in the system and their status contract-related actions performed in the system communication between contract parties contract-fulfilment state

Contract Analyser – Information Sources

[Here CTU video on Contract cycle and

analysis]

Practical Scenarios

Project Practical Scenarios

Modular Certification Testing Provided by CertiCon

Example: European Computer

Driving license

Aerospace Aftermarket Provided by Lost Wax

Aerospace engine aftermarket

planning and management

Car Insurance Brokerage Provided by Y’All

Car insurance damage claims – contracting between insurers, garages and the client

1. Modular Certification Testing

Developed by CertiCon A. S. for multi level heterogeneous licensing environments

WASET is an information system run by CertiCon to support administration of the process

Used for computer literacy testing ECDL (European Computer Driving Licence) in cooperation with Czech Society for

Cybernetics and Informatics (CSKI) – national ECDL licensee. CertiCon A.S. provides business and IT support for CSKI via WASET system

1. Modular Certification Testing

1. Modular Certi!cation Testing

Test Centres

TestersTest Rooms

Candidate

Elementary Service Providers

National licensee Provides certi!cation

Test room Provides equipped test room Certi!ed by national licensee

Tester Supervises test session Certi!ed by national licensee

Test Center Certi!ed national licensee Organize test session Sells testing to candidate

National licensee

Test Centres

TestersTest Rooms

Candidate

Test Centres

TestersTest Rooms

Candidate

Scenario for CONTRACT project focuses on subset of contracts

Certification Test Contract• Parties

– Accredited Test Center– Certi!cation Candidate

Test Room rental Contract• Parties

– Accredited Test Center– Accredited Test Room

Operator

Test Centres

TestersTest Rooms

Candidate

2. Aerospace Aftermarket

4011/23/08

Aerogility tool: What-if? Scenarios & Business Simulations

AerogilityAftermarket Model

4011/23/08

Aerogility tool: What-if? Scenarios & Business Simulations

AerogilityAftermarket Model

DECISION SUPPORT

WHAT IF SCENARIOS Explore new policies Identify innovations Experiment with configurations

COMPARE THROUGH SIMULATIONS Assess decision impact Work through decision options Challenge assumptions

BENCHMARK WITH METRICS Validate Profit and KPI goals Financial benchmarking Assess investment business cases

4111/23/08

Currently Aerogility:

CONTRACT project enhances Aerogility:

Leading to an adaptive future:

4111/23/08

MODEL …understand the balance of resources, evaluate options, decisions, run what-ifs

MONITOR …integrate operational data and processes, monitor the Aftermarket for decision support

MANAGE …drive existing systems and processes with adaptive intelligent software

Currently Aerogility:

CONTRACT project enhances Aerogility:

Leading to an adaptive future:

4211/23/08

• Benefits of including CONTRACT technology in Aerogility:

• Detecting upcoming conflicting obligations.

• Aid managers decision-making through better information:

• What is the impact of resolving an issue - are conflicts being deferred leading to future difficulties?

• Have we some leverage in one contract that would prevent us breaking another?

• How can future iterations of a contract be modified to better suit our business?

3. Car Insurance Market

Repair contract – Sequence chart

Customer IC RCDS

Report damage Assess & delegateRepair intake

Request proposalsSend proposal

Judge proposals &select RC

Deliver car Get car & repair

Judge invoice Send invoiceGet invoice, pay,

handle invoice withconsumer

Send invoice

Pick up car Deliver car

Benefits for industry

Claim-handling process improved:• Saves money• More efficient

Automated negotiations between ICs and RCs:• Higher quality• Less dependent on human intervention• Wider variety of repair options• Higher customer satisfaction

Summary

CONTRACT in a NUTSHELL

There is a need for mechanisms that ease the engineering of applications in Cross Organisational Service Oriented Computing environments”

Contracts are the explicit, tangible representation of service interdependencies

Idea: formal verification over contracts, obligations etc. rather than over internal code is the way to build sound distributed applications in service oriented environments.

CONTRACT has created concrete methods and tools which enable the use of contracts, obligations and agreements in order to structure the design and execution of sound applications in Digital Business environments

www.ist-contract.org

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 LicenseTo view a copy of thislicense, visit : http://creativecommons.org/licenses/by-nc-sa/3.0/ or send a letter toCreative Commons, 543 Howard Street, 5thFloor, San Francisco, California, 94105, USA.

.Wednesday, September 9, 2009

EU-Contract Project

Technology

€¦ · System for Environmental and Agricultural Modelling; Linking European Science and Society INTEGRATED PROJECT EU FP 6 (contract no. 010036) Global Change and Ecosystems Project

Kenya Contract Claim Management EU MOTI KURA KeRRA KeNHA

REPORT FOR: CABINET - London Borough of Harrow Project - M… · 4. Approve the re-tender of the IT Service contract under EU Procurement rules and in accordance with contract standing

EU contract FISH/2004/011 on Sport ... - eaa-europe.org

Promotion of breastfeeding in Europe - European Commissionec.europa.eu/health/ph_projects/2002/promotion/fp_promotion_2002... · Promotion of Breastfeeding in Europe (EU Project Contract

Project Under EU

Practical Guide to contract procedures for EU external .... practical... · Practical Guide to contract procedures for EU external actions GRANTS 2013 . 2 Summary 1. Introduction

Project overview - EU-project PREDIS

Project Contract Variations: Mitigating Risks of Cost ...media.straffordpub.com/products/project-contract-variations... · Project Contract Variations: Mitigating Risks of Cost Overruns,

EU-Korea FTA SIA Global Analysis Report Final · the EU-Korea FTA: Final Global Analysis Report – (Phase 1) Framework Contract Commission 2007 Lot n°5 – project N°2007/139648

GreenARCH EU Project

PRODUCTION - Sub Contract EU

Mechanical Engineering - Sub Contract EU

PlantLIBRA EU Project

Contract Project

Contract # XXXX-XXXX #Project Name #Project Limits # ...stthomas.hosted.civiclive.com/UserFiles/Servers... · Contract # XXXX-XXXX . #Project Name . #Project Limits . #Project Description

Indian Contract Project)

Project of Contract

PROCESS AND SYSTEM UPGRADES PROGRAM Project Incentive …€¦ · Process And System Upgrades Program - Project Incentive Contract, [Insert date of contract] PROJECT INCENTIVE CONTRACT

Deliverable D8.3 Final Evaluation Report - Europa...D8.3 – Final Evaluation Report Version: 1.0 - Final, Date: 19/10/2016 Project Title: EU Community Contract No. 611964 Project