Filters








34 Hits in 3.7 sec

CaSPiS: a calculus of sessions, pipelines and services

MICHELE BOREALE, ROBERTO BRUNI, ROCCO DE NICOLA, MICHELE LORETI
2014 Mathematical Structures in Computer Science  
We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems.  ...  CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions.  ...  of CaSPiS.  ... 
doi:10.1017/s0960129512000953 fatcat:dunskvqzfvdmrpjgxcyxejkfoa

Implementing Session Centered Calculi [chapter]

Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2008 Lecture Notes in Computer Science  
In this paper we show how to implement a service oriented calculus, CaSPiS (Calculus of Services with Pipelines and Sessions) using the Java framework IMC, where recurrent mechanisms for network applications  ...  in Java of a CaSPiS process.  ...  x | f ( F) V ::= u | f ( V ) CaSPiS CaSPiS (Calculus of Services with Pipelines and Sessions) [3] is a core calculus equipped with linguistic constructs for handling sessions and that relies on three  ... 
doi:10.1007/978-3-540-68265-3_2 fatcat:qjz72twyfjedzlzohfbkunxnby

Sessions and Pipelines for Structured Service Programming [chapter]

Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2008 Lecture Notes in Computer Science  
We present CaSPiS, a process calculus where the notions of session and pipelining play a central role. Sessions are two-sided and can be equipped with protocols executed by each side.  ...  The calculus is also equipped with operators for handling (unexpected) termination of the partner's side of a session.  ...  We thank the members of the SENSORIA project involved in Workpackage 2, Core Calculi for Service Oriented Computing, for stimulating discussions on Services and Calculi.  ... 
doi:10.1007/978-3-540-68863-1_3 fatcat:tzskacashfclhppxajz263aw4m

A Type System for Client Progress in a Service-Oriented Calculus [chapter]

Lucia Acciai, Michele Boreale
2008 Lecture Notes in Computer Science  
The interplay of sessioning and data-orchestration primitives makes the design of a type system for CaSPiS challenging.  ...  We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications.  ...  CaSPiS (Calculus of Sessions and Pipelines, [2] ) is a language currently being considered in SENSORIA as a candidate core calculus for SOC programming.  ... 
doi:10.1007/978-3-540-68679-8_40 fatcat:lgkqiqluunewfbe2asbrregrvq

MarCaSPiS: a Markovian Extension of a Calculus for Services

Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2009 Electronical Notes in Theoretical Computer Science  
In this paper we show a versatile technique for the definition of Structural Operational Semantics of MarCaSPiS, a Markovian extension of one of such calculi, namely the Calculus of Sessions and Pipelines  ...  , CaSPiS.  ...  CaSPiS: A Calculus of Sessions and Pipelines CaSPiS (Calculus of Sessions and Pipelines) [3] is a core calculus where sessions and pipelines are viewed as natural tools for structuring client-service  ... 
doi:10.1016/j.entcs.2009.07.071 fatcat:bpjfsnrk2ngk5lqng6pwdiyi74

Static Detection of Logic Flaws in Service-Oriented Applications [chapter]

Chiara Bodei, Linda Brodo, Roberto Bruni
2009 Lecture Notes in Computer Science  
We investigate this issue, by using the CaSPiS calculus to model services, and by providing a Control Flow Analysis able to detect and prevent some possible misuses.  ...  Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones.  ...  A fresh session name r and two polarised session ends r − P and r + Q are generated (on client and service sides, resp.) upon each service invocation s.P of the service s.Q.  ... 
doi:10.1007/978-3-642-03459-6_5 fatcat:yb6yedmufngsdjs3mxs455c4fu

Preface: Special issue on objects and services

IVAN LANESE, DAVIDE SANGIORGI
2014 Mathematical Structures in Computer Science  
There is not a universal definition of objects and services, and of their difference.  ...  Recent years have seen a lot of research on the foundations of objects and services, or more broadly, of component-based distributed systems.  ...  The paper 'CaSPiS: A Calculus of Sessions, Pipelines and Services', by Boreale, Bruni, De Nicola and Loreti, presents CaSPiS, a calculus for modelling services based on the concept of binary session.  ... 
doi:10.1017/s0960129512000898 fatcat:gq4mwrdli5hzljw3tyrsku2aim

Formal Aspects of Component Software (FACS 2010 selected and extended papers)

Luís Soares Barbosa, Markus Lumpe
2014 Science of Computer Programming  
CaSPiS is a service-oriented process calculus in which pipelines serve as a means to orchestrate the data flow arising from session activities.  ...  of Graph Transformations for Service Programming with Sessions and Pipelines."  ...  In this scenario, system adaptation captures the process of migrating a deadlock-prone solution to a deadlock-free and starvation-free one.  ... 
doi:10.1016/j.scico.2014.03.010 fatcat:euxsvofacjfhdmrb6unokikrji

Towards a Process Calculus for Rest: Current State of the Art

Dariusz Dwornikowski, Andrzej Stroiński, Jerzy Brzeziński
2015 Foundations of Computing and Decision Sciences  
In order to address problems of modeling and verification of Web services, several process calculi have been proposed for SOAP-based Web services but none for the RESTful Web services based systems.  ...  Finally, basing on the survey, requirements for a new process calculus specific for REST are defined.  ...  To do this CaSPiS exploits sessions and pipelines, which are inspired by π-calculus and Orc [29] respectively.  ... 
doi:10.1515/fcds-2015-0015 fatcat:lwxcsr2pezemzdshu3atwfx674

An Algebra of Hierarchical Graphs and its Application to Structural Encoding

R. Bruni, F. Gadducci, A. Lluch Lafuente
2010 Scientific Annals of Computer Science  
Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models  ...  In particular, we propose the use of our graph formalism as a convenient way to describe configurations in process calculi equipped with inherently hierarchical features such as sessions, locations, transactions  ...  Definition 20 (CaSPiS syntax) Let Z be a set of session names, S a set of service names and V a set of value names.  ... 
doaj:27b278d55a0346fdaea8169a1c7176e6 fatcat:tfiubj7a5nat3dbmq32vvozeha

Sensoria Results Applied to the Case Studies [chapter]

Maurice H. ter Beek
2011 Lecture Notes in Computer Science  
These languages are developed on two levels of abstraction: an architectural level (e.g., UML4SOA, SRML) and a programming level (e.g., COWS, SOCK/Jolie, CaSPiS).  ...  , sCOWS) in order to develop verification techniques (e.g., CMC-UMC, PEPA software toolkit) for the analysis of behavioral, performance and QoS properties of services.  ...  The Calculus of Services with Pipelines and Sessions (CaSPiS) is a calculus for service-oriented applications based on the notions of sessions and of pipelines.  ... 
doi:10.1007/978-3-642-20401-2_32 fatcat:4wvndyw5sbcbbnm6v7xmpbhgfm

Static Analysis Techniques for Session-Oriented Calculi [chapter]

Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo T. Vieira
2011 Lecture Notes in Computer Science  
In the S project, core calculi have been adopted as a linguistic means to model and analyze service oriented applications.  ...  In particular, it presents a type system for client progress and control flow analysis in CaSPiS and type systems for conversation fidelity and progress in CC.  ...  Language Fragment We consider here a sub-calculus of the close-free fragment of CaSPiS [6] , that we call CaSPiS − , where return prefixes have always an empty continuation and service protocols do not  ... 
doi:10.1007/978-3-642-20401-2_10 fatcat:k427ypstujg6fdon4rkvsdexdu

Calculi for Service-Oriented Computing [chapter]

Roberto Bruni
2009 Lecture Notes in Computer Science  
About Links The π-calculus has two basic entities  ...  n .X Orchestration Calculus Orc is an elegant language proposed by Cook and Misra as a basic programming model for structured orchestration of services: A site call can be a RMI, a call to a monitor  ...  composition via pipelining (á la Orc) Session termination: r ⊲ k P, close , ◮ P, †(k ) local session termination: autonomous + on partner's request the local closure of a session activates partner's handler  ... 
doi:10.1007/978-3-642-01918-0_1 fatcat:fx2q24d2ibf4vndae2dmy2fq5m

Graph Representation of Sessions and Pipelines for Structured Service Programming [chapter]

Roberto Bruni, Zhiming Liu, Liang Zhao
2012 Lecture Notes in Computer Science  
Graph Representation of CaSPiS 2010 Graph Representation Session and Pipeline P S r • Graph transformation rules  ...  Graph Representation of CaSPiS 2010 Outline 1 The calculus CaSPiS Syntax Operational semantics (reduction) 2 Algebra of hierarchical graphs Grammar and semantic model Graph transformation by  ... 
doi:10.1007/978-3-642-27269-1_15 fatcat:47naitw7qbf6pns2xmlbtmqf7q

Hierarchical Models for Service-Oriented Systems [chapter]

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari
2011 Lecture Notes in Computer Science  
We present our approach to the denotation and representation of hierarchical graphs: a suitable algebra of hierarchical graphs and two domains of interpretations.  ...  sessions, transactions, locations) and linking (e.g. shared channels, resources, names) are key aspects.  ...  Other explicit hierarchies for edge containment are given by session nesting (S), service definition (D), service invocation (I) and pipelining (F ).  ... 
doi:10.1007/978-3-642-20401-2_16 fatcat:gkmgvqosxnbfxmlz7c7qm4kkzy
« Previous Showing results 1 — 15 out of 34 results