cc pi a constraint based language for contracts with
play

Cc-Pi: A Constraint-Based Language for Contracts with Service Level - PowerPoint PPT Presentation

Dec 05, 2022 •165 likes •481 views

FLACOS'08 - Second Workshop on Formal Languages and Analysis of Contract-Oriented Software, Malta, November 26-27, 2008 Cc-Pi: A Constraint-Based Language for Contracts with Service Level Agreements Ugo Montanari Dipartimento di Informatica

  1. FLACOS'08 - Second Workshop on Formal Languages and Analysis of Contract-Oriented Software, Malta, November 26-27, 2008 Cc-Pi: A Constraint-Based Language for Contracts with Service Level Agreements Ugo Montanari Dipartimento di Informatica Università di Pisa November 27, 2008 Work in collaboration with Marzia Buscemi, IMT Lucca FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 1

  2. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 2

  3. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 3

  4. Service Level Agreements FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 4

  5. Aims I FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 5

  6. Aims II FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 6

  7. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 7

  8. Constraint Semirings FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 8

  9. Named Constraint Semirings FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 9

  10. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 10

  11. CcPi-Calculus (syntax) FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 11

  12. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 12

  13. CcPi-Calculus (semantics) FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 13

  14. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 14

  15. CcPi-Calculus (example I) FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 15

  16. CcPi-Calculus (example II) FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 16

  17. A CallBySms Service Scenario, I FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 17

  18. A CallBySms Service Scenario, II FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 18

  19. CallBySms Specification in cc-pi FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 19

  20. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 20

  21. Labelled Transition System = FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 21

  22. Open Bisimilarity FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 22

  23. Symbolic Semantics = max = FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 23

  24. Symbolic Bisimilarity FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 24

  25. Main Result FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 25

  26. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 26

  27. Pi-F Calculus FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 27

  28. Bisimilarity FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 28

  29. Mapping Pi-F Calculus into Cc-Pi Calculus FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 29

  30. Roadmap  Service Level Agreements (SLA)  Constraint semirings  Syntax  Reduction semantics  Examples  Open semantics  Mapping Pi-F calculus on Cc-Pi  Conclusion and future work FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 30

  31. Conclusion and Future Work  Cc-Pi part of EU FET GC2 project Sensoria  Reduction semantics at ESOP 2007 and symbolic semantics at ESOP 2008  Names as keys for secure retract  Efficient evaluation of constraints via locality restrictions and dynamic programming  Connection with work by Bonchi and Montanari about symbolic semantics via a normalization functor FLACOS’08, Malta - Ugo Montanari, Cc-Pi for Contracts with SLAs, November 27, 2008 31

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Contracts and the Object Constraint Language Perdita Stevens School of Informatics University of

Contracts and the Object Constraint Language Perdita Stevens School of Informatics University of

Contracts and the Object Constraint Language Perdita Stevens School of Informatics University of Edinburgh Plan 1. Introducing the use of contracts in development 2. Contracts in English 3. Contracts in the Object Constraint Language (part of

651 views • 29 slides
Natural language processing using constraint-based grammars Ann Copestake University of Cambridge

Natural language processing using constraint-based grammars Ann Copestake University of Cambridge

Natural language processing using constraint-based grammars Ann Copestake University of Cambridge Computer Laboratory Center for the Study of Language and Information, Stanford aac@cl.cam.ac.uk Overview of course NLP applications.

1.05k views • 86 slides
XQuake as a Constraint-Based Mining Language Valerio Grossi, Andrea Romei Motivation and

XQuake as a Constraint-Based Mining Language Valerio Grossi, Andrea Romei Motivation and

U NIVERSITY OF P ISA D EPARTMENT OF C OMPUTER S CIENCE XQuake as a Constraint-Based Mining Language Valerio Grossi, Andrea Romei Motivation and objective Das Bild kann zurzeit nicht angezeigt werden. The amount of information coding XML

292 views • 14 slides
A Controlled Language for the Specification of Contracts Gordon Pace Michael Rosner University

A Controlled Language for the Specification of Contracts Gordon Pace Michael Rosner University

A Controlled Language for the Specification of Contracts Gordon Pace Michael Rosner University of Malta G. Pace and M. Rosner (UoM) Controlled Natural Language Contracts CNL June 2009 1 / 33 Outline Motivation Contracts Language Logic

518 views • 48 slides
Constraint-Based Refactoring Rename Field Problem Proven Correct Solution Constraint- Based

Constraint-Based Refactoring Rename Field Problem Proven Correct Solution Constraint- Based

Constraint- Based Refactoring Hansruedi Patzen Refactoring Constraint-Based Refactoring Rename Field Problem Proven Correct Solution Constraint- Based Refactoring Hansruedi Patzen 1 Constraint Rules Generalize Type Implementation

608 views • 22 slides
Hybrid integration of rules and ontologies: A constraint-based fram ew ork Jakob Henriksson, Jan

Hybrid integration of rules and ontologies: A constraint-based fram ew ork Jakob Henriksson, Jan

Hybrid integration of rules and ontologies: A constraint-based fram ew ork Jakob Henriksson, Jan Ma uszy ski RuleML 2006, Athens, GA The objective Define a scheme that from given Rule language R (e.g. Datalog, Xcerpt)

346 views • 32 slides
Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization

Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization

Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems Ferdinando Fioretto 1 Hong Xu 2 Sven Koenig 2 T. K. Satish Kumar 2 fjoretto@umich.edu, hongx@usc.edu, skoenig@usc.edu, tkskwork@gmail.com

779 views • 45 slides
From Interval Computations Constraint-Based Set . . . to Constraint-Related Set From Main Idea

From Interval Computations Constraint-Based Set . . . to Constraint-Related Set From Main Idea

Interval Part: Outline Straightforward . . . Discussion Reason for Excess Width From Interval Computations Constraint-Based Set . . . to Constraint-Related Set From Main Idea to . . . Implementing . . . Computations: Towards Limitations of

541 views • 21 slides
Tractable Constraint Languages Zion Schell Based on Chapter 11 of Rina Dechter's Constraint

Tractable Constraint Languages Zion Schell Based on Chapter 11 of Rina Dechter's Constraint

Tractable Constraint Languages Zion Schell Based on Chapter 11 of Rina Dechter's Constraint Processing by David Cohen and Peter Jeavons Zion Schell Tractable Constraint Languages - 1 4-15-13 Disclaimer This chapter is a bit weird It

1.03k views • 74 slides
Specification and Analysis of Contracts Lecture 6 Challenges in Defining a Good Language for

Specification and Analysis of Contracts Lecture 6 Challenges in Defining a Good Language for

Specification and Analysis of Contracts Lecture 6 Challenges in Defining a Good Language for Contracts Gerardo Schneider gerardo@ifi.uio.no http://folk.uio.no/gerardo/ Department of Informatics, University of Oslo SEFM School, Oct. 27 - Nov.

958 views • 72 slides
Project-based carbon contracts: a sketch Jrn Richstein Why carbon contracts for innovative

Project-based carbon contracts: a sketch Jrn Richstein Why carbon contracts for innovative

German Institute for Economic Research DIW Berlin Project-based carbon contracts: a sketch Jrn Richstein Why carbon contracts for innovative projects? Projects face valley of death once they successfully leave the pilot project

352 views • 7 slides
Natural Language Processing: Part II Overview of Natural Language Processing (L90): ACS Lecture

Natural Language Processing: Part II Overview of Natural Language Processing (L90): ACS Lecture

Natural Language Processing: Part II Overview of Natural Language Processing (L90): ACS Lecture 5: Constraint-based grammars Natural Language Processing: Part II Overview of Natural Language Processing (L90): ACS Lecture 5: Constraint-based

730 views • 30 slides
Constraint Programming Overview based on Examples Marco Chiarandini Department of Mathematics

Constraint Programming Overview based on Examples Marco Chiarandini Department of Mathematics

DM841 Discrete Optimization Part I Lecture 2 Constraint Programming Overview based on Examples Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Outline 1. An Initial Example 2. Constraint

2.09k views • 185 slides
A New Constraint-based Framework for Qualitative Reasoning Krzysztof Apt CWI & University of

A New Constraint-based Framework for Qualitative Reasoning Krzysztof Apt CWI & University of

A New Constraint-based Framework for Qualitative Reasoning Krzysztof Apt CWI & University of Amsterdam (Joint work with Sebastian Brand) Constraint-based Qualitative Reasoning p.1/26

300 views • 26 slides
Structuring International Contracts: Choice of Law, Jurisdiction and Language, Arbitration

Structuring International Contracts: Choice of Law, Jurisdiction and Language, Arbitration

Presenting a live 90-minute webinar with interactive Q&A Structuring International Contracts: Choice of Law, Jurisdiction and Language, Arbitration Clauses, and Terms of Art WEDNESDAY, JULY 12, 2017 1pm Eastern | 12pm Central |

862 views • 82 slides
WEM Reform: Constraint Development Responsibilities PSO-WG Meeting 3 February 2019 1

WEM Reform: Constraint Development Responsibilities PSO-WG Meeting 3 February 2019 1

WEM Reform: Constraint Development Responsibilities PSO-WG Meeting 3 February 2019 1 Constraint technical framework Constraint Limit advice equations 2. Constraint formulation 1. Power system 3. Constraint model library 4. Dispatch

523 views • 12 slides
A Resource Allocation-centric A Resource Allocation-centric Grid Operation Model Grid Operation

A Resource Allocation-centric A Resource Allocation-centric Grid Operation Model Grid Operation

Polish Infrastructure Polish Infrastructure for Supporting Computational Science for Supporting Computational Science in the European Research Space in the European Research Space A Resource Allocation-centric A Resource Allocation-centric

306 views • 9 slides
Standardised SLAs: how far can we go? DIHC, Euro-Par 2013, Aachan John Kennedy Intel Labs

Standardised SLAs: how far can we go? DIHC, Euro-Par 2013, Aachan John Kennedy Intel Labs

Standardised SLAs: how far can we go? DIHC, Euro-Par 2013, Aachan John Kennedy Intel Labs Europe Before we begin AMD AT&T Microelectronics Digital Equipment Harris Semiconductor Hewlett-Packard IBM

1.01k views • 31 slides
1 Dependability Management Achieving dependability in WS Architectures Testing web services

1 Dependability Management Achieving dependability in WS Architectures Testing web services

Setting the scene Deutsche Bank AG has agreed to outsource two internal business processes to Accenture Ltd. as part of Dependability of its ambitious program to cut costs and Web Service Architectures increase efficiency by moving

357 views • 7 slides
SenaaS: An Event-driven Sensor Virtualization Approach for Internet of

SenaaS: An Event-driven Sensor Virtualization Approach for Internet of

UNIVERSITY OF OSLO SenaaS: An Event-driven Sensor Virtualization Approach for Internet of Things Cloud Sarfraz Alam , M. M. R. Chowdhury, Josef Noll Connected Life Research Group UNIK/UIO,

1.07k views • 18 slides
ICENI: An integrated Grid middleware to support e-science Dr Steven Newhouse, Technical Director

ICENI: An integrated Grid middleware to support e-science Dr Steven Newhouse, Technical Director

ICENI: An integrated Grid middleware to support e-science Dr Steven Newhouse, Technical Director London e-Science Centre Department of Computing, Imperial College London London e-Science Centre Enabling the e-Scientist Established

197 views • 18 slides
Economics of cybersecurity Metrics in prac?ce Carlos Gan

Economics of cybersecurity Metrics in prac?ce Carlos Gan

Economics of cybersecurity Metrics in prac?ce Carlos Gan Del. University of Technology Types of metrics Controls Vulnerabili?es Incidents (Prevented)

234 views • 20 slides
Providing a Remotely Manageable Runtime Environment for IoT Services (Mid talk Masters Thesis)

Providing a Remotely Manageable Runtime Environment for IoT Services (Mid talk Masters Thesis)

Chair of Network Architectures and Services Department of Informatics Technical University of Munich Providing a Remotely Manageable Runtime Environment for IoT Services (Mid talk Masters Thesis) Fabian Buske Advisor(s): Marc-Oliver Pahl,

341 views • 22 slides
*Viktor Yarmolenko Rizos Sakellariou School of Computer Science The University of Manchester

*Viktor Yarmolenko Rizos Sakellariou School of Computer Science The University of Manchester

3rd International Workshop on Middleware for Grid Computing 28-29 November 2005 Grenoble France *Viktor Yarmolenko Rizos Sakellariou School of Computer Science The University of Manchester Manchester, UK *corresponding author:

437 views • 16 slides

More recommend