eu-contract project
Post on 21-Oct-2014
2.385 views
DESCRIPTION
Contract based Systems Engineering Methods for Verifiable Cross-Organisational Networked Business ApplicationsTRANSCRIPT
![Page 1: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/1.jpg)
Wednesday, September 9, 2009
![Page 2: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/2.jpg)
Contract based Systems Engineering Methods for Veri!able Cross-Organisational Networked Business Applications
Wednesday, September 9, 2009
![Page 3: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/3.jpg)
The Project
Wednesday, September 9, 2009
![Page 4: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/4.jpg)
3
IST-CONTRACT Project Parameters
Wednesday, September 9, 2009
![Page 5: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/5.jpg)
3
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
Wednesday, September 9, 2009
![Page 6: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/6.jpg)
4
IST-CONTRACT Project Partners
Wednesday, September 9, 2009
![Page 7: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/7.jpg)
4
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.
Wednesday, September 9, 2009
![Page 8: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/8.jpg)
Why Contracts?
Wednesday, September 9, 2009
![Page 9: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/9.jpg)
6
The problem: Engineering applications in Cross Organisational Service Oriented Computing environments
Wednesday, September 9, 2009
![Page 10: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/10.jpg)
6
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?
Wednesday, September 9, 2009
![Page 11: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/11.jpg)
7
Project Core Idea
Wednesday, September 9, 2009
![Page 12: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/12.jpg)
7
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
Wednesday, September 9, 2009
![Page 13: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/13.jpg)
8
Where are the Contracts?
Wednesday, September 9, 2009
![Page 14: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/14.jpg)
8
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
done
Wednesday, September 9, 2009
![Page 15: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/15.jpg)
Project Results
Wednesday, September 9, 2009
![Page 16: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/16.jpg)
10
What does the Project Deliver?
Wednesday, September 9, 2009
![Page 17: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/17.jpg)
10
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
Wednesday, September 9, 2009
![Page 18: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/18.jpg)
11
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
Wednesday, September 9, 2009
![Page 19: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/19.jpg)
11
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
Wednesday, September 9, 2009
![Page 20: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/20.jpg)
12
Overall Contract Framework
Wednesday, September 9, 2009
![Page 21: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/21.jpg)
12
Overall Contract Framework
Wednesday, September 9, 2009
![Page 22: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/22.jpg)
13
Contract Framework: novel features
Wednesday, September 9, 2009
![Page 23: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/23.jpg)
13
Contract Framework: novel features
Compatible with, and superset of, WS-Agreement
Wednesday, September 9, 2009
![Page 24: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/24.jpg)
13
Contract Framework: novel features
Compatible with, and superset of, WS-Agreement
Representation of applications based on state-of-the-art research on Normative Systems
Wednesday, September 9, 2009
![Page 25: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/25.jpg)
13
Contract Framework: novel features
Compatible with, and superset of, WS-Agreement
Representation of applications based on state-of-the-art research on Normative Systems
Wednesday, September 9, 2009
![Page 26: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/26.jpg)
13
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
Wednesday, September 9, 2009
![Page 27: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/27.jpg)
13
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
Wednesday, September 9, 2009
![Page 28: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/28.jpg)
14
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
Wednesday, September 9, 2009
![Page 29: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/29.jpg)
14
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
Wednesday, September 9, 2009
![Page 30: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/30.jpg)
15
New Electronic Contracting Language
Wednesday, September 9, 2009
![Page 31: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/31.jpg)
15
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
Wednesday, September 9, 2009
![Page 32: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/32.jpg)
16
Contracting Language Communication Model
Wednesday, September 9, 2009
![Page 33: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/33.jpg)
16
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
Agree
Interactioncontext:
Wednesday, September 9, 2009
![Page 34: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/34.jpg)
17
Electronic Contracts: components
Wednesday, September 9, 2009
![Page 35: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/35.jpg)
17
Electronic Contracts: components
Wednesday, September 9, 2009
![Page 36: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/36.jpg)
18
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>
Wednesday, September 9, 2009
![Page 37: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/37.jpg)
18
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>
Wednesday, September 9, 2009
![Page 38: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/38.jpg)
18
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>
Wednesday, September 9, 2009
![Page 39: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/39.jpg)
19
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
Wednesday, September 9, 2009
![Page 40: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/40.jpg)
19
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
Wednesday, September 9, 2009
![Page 41: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/41.jpg)
20
Example of deployment
Wednesday, September 9, 2009
![Page 42: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/42.jpg)
20
Example of deployment
Wednesday, September 9, 2009
![Page 43: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/43.jpg)
21
Example of deployment
Analyzer
Notary
(Observer+
Monitor)
Contract Repository
Contract manager
bookSeller bookBuyer
Sensor Sensor
Wednesday, September 9, 2009
![Page 44: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/44.jpg)
21
Example of deployment
Analyzer
Notary
(Observer+
Monitor)
Contract Repository
Contract manager
bookSeller bookBuyer
Sensor Sensor
Wednesday, September 9, 2009
![Page 45: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/45.jpg)
22
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
Wednesday, September 9, 2009
![Page 46: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/46.jpg)
22
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
Wednesday, September 9, 2009
![Page 47: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/47.jpg)
23
Verification Tool
Wednesday, September 9, 2009
![Page 48: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/48.jpg)
23
Verification Tool
Off-line tool implements verification mechanisms for contract-governed systems.
Wednesday, September 9, 2009
![Page 49: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/49.jpg)
23
Verification Tool
Off-line tool implements verification mechanisms for contract-governed systems.
Capable to verify system behaviours through notions of compliance/violations of intended behaviours.
Wednesday, September 9, 2009
![Page 50: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/50.jpg)
23
Verification Tool
Off-line tool implements verification mechanisms for contract-governed systems.
Capable to verify system behaviours through notions of compliance/violations of intended behaviours.
Based in the formal framework and the contract language semantics.
Wednesday, September 9, 2009
![Page 51: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/51.jpg)
23
Verification Tool
Off-line tool implements verification mechanisms for contract-governed systems.
Capable to verify system behaviours through notions of compliance/violations of intended behaviours.
Based in the formal framework and the contract language semantics.
Ability to check systems with large state spaces
Wednesday, September 9, 2009
![Page 52: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/52.jpg)
23
Verification Tool
Off-line tool implements verification mechanisms for contract-governed systems.
Capable to verify system behaviours through notions of compliance/violations of intended behaviours.
Based in the formal framework and the contract language semantics.
Ability to check systems with large state spaces Capable to generate counterexamples when dangerous
or conflicting situations are detected
Wednesday, September 9, 2009
![Page 53: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/53.jpg)
23
Verification Tool
Off-line tool implements verification mechanisms for contract-governed systems.
Capable to verify system behaviours through notions of compliance/violations of intended behaviours.
Based in the formal framework and the contract language semantics.
Ability to check systems with large state spaces Capable to generate counterexamples when dangerous
or conflicting situations are detected User friendly GUI
Wednesday, September 9, 2009
![Page 54: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/54.jpg)
24
Verification Tool components/process
Wednesday, September 9, 2009
![Page 55: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/55.jpg)
24
Verification Tool components/process
Wednesday, September 9, 2009
![Page 56: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/56.jpg)
25
Service Monitoring Tool
Wednesday, September 9, 2009
![Page 57: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/57.jpg)
25
Service Monitoring Tool
Checks conformance of an individual service execution to specification (contracts) at runtime.
Wednesday, September 9, 2009
![Page 58: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/58.jpg)
25
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.
Wednesday, September 9, 2009
![Page 59: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/59.jpg)
25
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.
Wednesday, September 9, 2009
![Page 60: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/60.jpg)
25
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
Wednesday, September 9, 2009
![Page 61: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/61.jpg)
26
Service Monitoring Process
Wednesday, September 9, 2009
![Page 62: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/62.jpg)
26
Service Monitoring Process
Wednesday, September 9, 2009
![Page 63: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/63.jpg)
27
Global Monitoring Tool
Wednesday, September 9, 2009
![Page 64: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/64.jpg)
27
Global Monitoring Tool
Global Monitors detect and report on violations and fulfilment of contract clauses, specially those specifying complex behaviours of contract party agents.
Wednesday, September 9, 2009
![Page 65: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/65.jpg)
27
Global Monitoring Tool
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
Wednesday, September 9, 2009
![Page 66: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/66.jpg)
27
Global Monitoring Tool
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
Wednesday, September 9, 2009
![Page 67: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/67.jpg)
27
Global Monitoring Tool
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..
Wednesday, September 9, 2009
![Page 68: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/68.jpg)
27
Global Monitoring Tool
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.
Wednesday, September 9, 2009
![Page 69: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/69.jpg)
28
Global Monitor process
Wednesday, September 9, 2009
![Page 70: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/70.jpg)
28
Global Monitor process
Gets inputs from the Observers
Wednesday, September 9, 2009
![Page 71: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/71.jpg)
28
Global Monitor process
Gets inputs from the Observers
Tracks the status of each clause of the running contract:
Wednesday, September 9, 2009
![Page 72: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/72.jpg)
28
Global Monitor process
Gets inputs from the Observers
Tracks the status of each clause of the running contract: A is pre-activation
Wednesday, September 9, 2009
![Page 73: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/73.jpg)
28
Global Monitor process
Gets inputs from the Observers
Tracks the status of each clause of the running contract: A is pre-activation B is activated but not fulfilled
Wednesday, September 9, 2009
![Page 74: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/74.jpg)
28
Global Monitor process
Gets inputs from the Observers
Tracks the status of each clause of the running contract: A is pre-activation B is activated but not fulfilled C is fulfilled
Wednesday, September 9, 2009
![Page 75: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/75.jpg)
28
Global Monitor process
Gets inputs from the Observers
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
Wednesday, September 9, 2009
![Page 76: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/76.jpg)
29
Contract Editor
Wednesday, September 9, 2009
![Page 77: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/77.jpg)
29
Contract Editor
Editor to compose contract templates and instances according to the Contracting Language
Wednesday, September 9, 2009
![Page 78: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/78.jpg)
29
Contract Editor
Editor to compose contract templates and instances according to the Contracting Language
Functions over contracts and contract templates:
Wednesday, September 9, 2009
![Page 79: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/79.jpg)
29
Contract Editor
Editor to compose contract templates and instances according to the Contracting Language
Functions over contracts and contract templates: storage
Wednesday, September 9, 2009
![Page 80: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/80.jpg)
29
Contract Editor
Editor to compose contract templates and instances according to the Contracting Language
Functions over contracts and contract templates: storage retrieval
Wednesday, September 9, 2009
![Page 81: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/81.jpg)
29
Contract Editor
Editor to compose contract templates and instances according to the Contracting Language
Functions over contracts and contract templates: storage retrieval modification
Wednesday, September 9, 2009
![Page 82: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/82.jpg)
29
Contract Editor
Editor to compose contract templates and instances according to the Contracting Language
Functions over contracts and contract templates: storage retrieval modification deletion
Wednesday, September 9, 2009
![Page 83: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/83.jpg)
29
Contract Editor
Editor to compose contract templates and instances according to the Contracting Language
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
Wednesday, September 9, 2009
![Page 84: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/84.jpg)
30
Contract Analyser
Wednesday, September 9, 2009
![Page 85: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/85.jpg)
30
Contract Analyser
Enables the administrator to inspect the runtime state and behaviour of a contract-based system
Wednesday, September 9, 2009
![Page 86: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/86.jpg)
30
Contract Analyser
Enables the administrator to inspect the runtime state and behaviour of a contract-based system
Collects information from several sources and presents them in an integrated view
Wednesday, September 9, 2009
![Page 87: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/87.jpg)
30
Contract Analyser
Enables the administrator to inspect the runtime state and behaviour of a contract-based system
Collects information from several sources and presents them in an integrated view contracts deployed in the system and their status
Wednesday, September 9, 2009
![Page 88: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/88.jpg)
30
Contract Analyser
Enables the administrator to inspect the runtime state and behaviour of a contract-based system
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
Wednesday, September 9, 2009
![Page 89: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/89.jpg)
30
Contract Analyser
Enables the administrator to inspect the runtime state and behaviour of a contract-based system
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
Wednesday, September 9, 2009
![Page 90: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/90.jpg)
30
Contract Analyser
Enables the administrator to inspect the runtime state and behaviour of a contract-based system
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
Wednesday, September 9, 2009
![Page 91: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/91.jpg)
31
Contract Analyser – Information Sources
Wednesday, September 9, 2009
![Page 92: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/92.jpg)
31
Contract Analyser – Information Sources
Wednesday, September 9, 2009
![Page 93: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/93.jpg)
[Here CTU video on Contract cycle and
analysis]
Wednesday, September 9, 2009
![Page 94: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/94.jpg)
Practical Scenarios
Wednesday, September 9, 2009
![Page 95: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/95.jpg)
34
Project Practical Scenarios
Wednesday, September 9, 2009
![Page 96: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/96.jpg)
34
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
Wednesday, September 9, 2009
![Page 97: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/97.jpg)
35
1. Modular Certification Testing
Wednesday, September 9, 2009
![Page 98: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/98.jpg)
35
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
Wednesday, September 9, 2009
![Page 99: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/99.jpg)
36
1. Modular Certi!cation Testing
Wednesday, September 9, 2009
![Page 100: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/100.jpg)
36
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
Wednesday, September 9, 2009
![Page 101: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/101.jpg)
37
1. Modular Certi!cation Testing
Test Centres
TestersTest Rooms
Candidate
Wednesday, September 9, 2009
![Page 102: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/102.jpg)
37
1. Modular Certi!cation Testing
Test Centres
TestersTest Rooms
Candidate
Wednesday, September 9, 2009
![Page 103: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/103.jpg)
37
1. Modular Certi!cation Testing
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
Wednesday, September 9, 2009
![Page 104: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/104.jpg)
38
1. Modular Certi!cation Testing
Wednesday, September 9, 2009
![Page 105: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/105.jpg)
38
1. Modular Certi!cation Testing
Wednesday, September 9, 2009
![Page 106: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/106.jpg)
39
2. Aerospace Aftermarket
Wednesday, September 9, 2009
![Page 107: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/107.jpg)
39
2. Aerospace Aftermarket
Wednesday, September 9, 2009
![Page 108: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/108.jpg)
4011/23/08
2. Aerospace Aftermarket
Aerogility tool: What-if? Scenarios & Business Simulations
AerogilityAftermarket Model
Wednesday, September 9, 2009
![Page 109: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/109.jpg)
4011/23/08
2. Aerospace Aftermarket
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
Wednesday, September 9, 2009
![Page 110: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/110.jpg)
4111/23/08
2. Aerospace Aftermarket
Currently Aerogility:
CONTRACT project enhances Aerogility:
Leading to an adaptive future:
Wednesday, September 9, 2009
![Page 111: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/111.jpg)
4111/23/08
2. Aerospace Aftermarket
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:
Wednesday, September 9, 2009
![Page 112: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/112.jpg)
4211/23/08
2. Aerospace Aftermarket
Wednesday, September 9, 2009
![Page 113: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/113.jpg)
4211/23/08
2. Aerospace Aftermarket
• 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?
Wednesday, September 9, 2009
![Page 114: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/114.jpg)
43
3. Car Insurance Market
Wednesday, September 9, 2009
![Page 115: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/115.jpg)
43
3. Car Insurance Market
Wednesday, September 9, 2009
![Page 116: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/116.jpg)
44
Repair contract – Sequence chart
3. Car Insurance Market
Wednesday, September 9, 2009
![Page 117: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/117.jpg)
44
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
3. Car Insurance Market
Wednesday, September 9, 2009
![Page 118: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/118.jpg)
45
Benefits for industry
3. Car Insurance Market
Wednesday, September 9, 2009
![Page 119: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/119.jpg)
45
Claim-handling process improved:• Saves money• More efficient
Benefits for industry
3. Car Insurance Market
Wednesday, September 9, 2009
![Page 120: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/120.jpg)
45
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
Benefits for industry
3. Car Insurance Market
Wednesday, September 9, 2009
![Page 121: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/121.jpg)
Summary
Wednesday, September 9, 2009
![Page 122: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/122.jpg)
47
CONTRACT in a NUTSHELL
Wednesday, September 9, 2009
![Page 123: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/123.jpg)
47
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
Wednesday, September 9, 2009
![Page 124: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/124.jpg)
48
Wednesday, September 9, 2009
![Page 125: EU-Contract Project](https://reader034.vdocuments.mx/reader034/viewer/2022051512/54479ae9afaf9f55178b4acf/html5/thumbnails/125.jpg)
48
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