Ugo montanari universit di pisa
Download
1 / 28

Ugo Montanari Università di Pisa - PowerPoint PPT Presentation


  • 79 Views
  • Uploaded on

Modeling a Service and Session Calculus with Hierarchical Graph Transformation Joint work with Roberto Bruni and Andrea Corradini, second part. Ugo Montanari Università di Pisa. GraMoT, International Colloquium on Graph and Model Transformation

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Ugo Montanari Università di Pisa' - mika


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Ugo montanari universit di pisa

Modeling a Service and Session Calculus with Hierarchical Graph TransformationJoint work with Roberto Bruni and Andrea Corradini, second part

Ugo Montanari

Università di Pisa

GraMoT, International Colloquium on Graph and Model Transformation

on the occasion of the 65th birthday of Hartmut Ehrig

February 11 –12, 2010, Technische Universität Berlin


Service oriented systems
Service-Oriented Systems Graph Transformation

Selling servicesis the biggest growth business in the IT industry

Service

autonomous, platform-independent computational entity that can be described, published, categorised, discovered

services can be dynamically assembled for developing

massively distributed, interoperable, evolvable systems and applications

Service-Oriented Computing

Common to develop systems using methods from a “static” point-of-view of component architecture

SoC emphasises dynamic communication, semantics and quality assurance

Service-Oriented Computing Challenges

Specifying and querying services

Correctness and consistency

Composition of services requires availability and reliability

Design for verifiable SLAs

Functional and non-functional properties

Evaluating and implementing security, sustained performance, adaptive behaviour, …

Deployment and re-engineering

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


2 the sensoria project
2. The Graph TransformationSENSORIA Project

IST-FET Integrated Project 2005-2009/10

Coordinator: LMU München

19 Partners: U. Pisa, Florence, Bologna, Trento, Leicester, Edinburgh, Imperial College, University College, Lisbon, Warsaw, Budapest, DTU, ISTI Pisa, FAST, S&N, Telecom Italia, MIP Politecnico di Milano , ATX Technologies SA, Cirquent (replacing FAST since 1.1.2008)

Novel comprehensive approach to engineering of software systems for Service-Oriented Overlay Computers

integrating

foundational theories, techniques, and methods and

pragmatic software engineering

Application areas

e-finance automotive systems

e-learning telecommunications

www.sensoria-ist.eu

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Sensoria wp structure and approach
SENSORIA Graph Transformation WP Structure and Approach

Case Studies (WP8)

Transform (WP7)

Quantitative Analysis (WP4)

Qualitative Analysis (WP3)

SENSORIA

Development Env.

Legacy

Code (WP6)

www.sensoria-ist.eu

SENSORIA Development Process (WP7)

Deployment

Runtime

(WP6)

Service-oriented

Modelling (WP1)

Service-oriented

Calculi (WP2+5)

Dissemination, Demonstration, Training, Project Managmnt (WP9-12)

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Hierarchical graph models of extended core calculi
Hierarchical Graph Models of Extended Core Calculi Graph Transformation

  • Why graph models?

    • More natural for distributed systems

    • Built-in structural axioms

    • Uniform treatment of most ordinary process algebras (e.g. via the SHR approach)

  • Why hierarchical?

    • Nested structures: ambients, block structure, sessions, transactions, etc.

    • Interaction between siblings, without referring to the closest common ancestor

  • Yet another graph model?

    • Bigraphs by Robin Milner (2003)

      • place graph for localities and link graph for connectivity

      • Semantics via reduction rules and minimal contexts

    • Gs-monoidal graphs (gs-graphs) by Ferrari and Montanari (1997)

      • Based on gs-monoidal categories by Corradini and Gadducci

    • Sensoria approach based on ADR metamodel

  • An algebra of hierarchical graphs and its graphical representations

    • Top view & side view (see presentation by Andrea Corradini)

  • Applications to Sensoria

    • Transaction workflows (Sagas)

    • Service sessions (CaSPiS)

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Key ingredients of caspis
Key Ingredients of CaSPiS Graph Transformation

  • Service definition

    • s.P

  • Service invocation

    • s.Q

  • Session

    • bi-directional, nested

    • (r)(r Q | r P)

s.P

s.Q

Q

P

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Intra session communication i
Intra-Session Communication I Graph Transformation

  • Abstraction

    • (?x)P

  • Concretion

    • vQ

  • Intra-session

    communication

(?x)P

vQ

(?x)P

vQ

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Intra session communication ii
Intra-Session Communication II Graph Transformation

  • Abstraction

    • (?x)P

  • Concretion

    • vQ

  • Intra-session

    communication

(?x)P

vQ

P[v/x]

Q

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Inter session communication i
Inter-Session Communication I Graph Transformation

  • CaSPiS allows only for a controlled form of inter-session communication

    • vQ

vQ

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Inter session communication ii
Inter-Session Communication II Graph Transformation

  • CaSPiS allows only a for limited form of inter-session communication

    • vQ

v

Q

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Example successor i
Example: Successor I Graph Transformation

!succ.(?x) x+1

succ. 5(?n) n

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Example successor ii
Example: Successor II Graph Transformation

!succ.(?x) x+1

5(?n) n

(?x) x+1

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Example successor iii
Example: Successor III Graph Transformation

!succ.(?x) x+1

(?n) n

5+1

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Example successor iv
Example: Successor IV Graph Transformation

!succ.(?x) x+1

(?n) n

6

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Example successor v
Example: Successor V Graph Transformation

!succ.(?x) x+1

6

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Example successor vi
Example: Successor VI Graph Transformation

!succ.(?x) x+1

6

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Sessions are permeable to service invocation i
Sessions are Permeable to Service Invocation I Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Sessions are permeable to service invocation ii
Sessions are Permeable to Service Invocation II Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Sessions are permeable to service invocation iii
Sessions are Permeable to Service Invocation III Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Pipeline i
Pipeline I Graph Transformation

P

(?x)Q

7

5

11

(?x)Q

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Pipeline ii
Pipeline II Graph Transformation

  • Pipeline

    • P > Q

P

(?x)Q

7

Q[11/x]

5

(?x)Q

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Pipeline
Pipeline Graph Transformation

  • Pipeline

    • P > Q

P

(?x)Q

Q[11/x]

Q[7/x]

(?x)Q

Q[5/x]

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Syntax and stuctural axioms of caspis
Syntax and Stuctural Axioms of CaSPiS Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Caspis encoding over the design algebra i
CaSPiS encoding over the Design Algebra, I Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Caspis encoding over the design algebra ii
CaSPiS encoding over the Design Algebra, II Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part

25


Transformation rules for caspis reduction semantics i
Transformation Rules for CaSPiS Reduction Semantics, I Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Transformation rules for caspis reduction semantics ii
Transformation Rules for CaSPiS Reduction Semantics, II Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


Transformation rules for caspis reduction semantics iii
Transformation Rules for CaSPiS Reduction Semantics, III Graph Transformation

GraMoT, February 11 – 12, 2010, TUB, Ugo Montanari, Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2nd part


ad