A calculus for orchestration of web services

Pugliese, Rosario; Tiezzi, Francesco

doi:10.1016/j.jal.2011.11.002

Cited by 33 publications

(20 citation statements)

References 73 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An early work featuring behavioural types for access control is [68], which presents a type system for COWS (Calculus for Orchestration of Web Services) [79], a formalism for specifying and combining services, as well as modelling their dynamic behaviour. The COWS language provides a primitive for killing processes, possibly provoking the abortion of ongoing sessions.…”

Section: Access Controlmentioning

confidence: 99%

Combining behavioural types with security analysis

Bartoletti

Castellani

Deniélou

et al. 2015

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems. This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties

show abstract

Section: Access Controlmentioning

confidence: 99%

Combining behavioural types with security analysis

Bartoletti

Castellani

Deniélou

et al. 2015

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…This architecture aims to build a network of interoperable and collaborative applications, independent of platform, called web services (Pugliese & Tiezzi, 2011). The geospatial world is also moving away from the traditional desktop application paradigm to processing and accessing data on-the-fly from the Web using web processing services, as outlined by ell et al (2014).…”

Section: Orchestrationmentioning

confidence: 99%

Search and Orchestration of Data and Processes in a Federated Environment

Reed

Tan

et al. 2015

Int. Arch. Photogramm. Remote Sens. Spatial Inf. Sci.

View full text Add to dashboard Cite

Commission VI, WG VI/5 KEY WORDS: Search, Federation, Orchestration, OGC, W3C, Semantic Web, Artificial Intelligence ABSTRACT:This paper describes on-going research on streamlining the access and use of spatial data and processes in Australia. Spatial data in Australia is available on-line at many levels of government from local authorities, state and territories (jurisdictions), and nationally from the Commonwealth and other sources. Much of this data is available via Open Geospatial Consortium and World Wide Web Consortium standard web services. This abstract discusses three related research topics that have been identified by a wide range of stakeholders through a comprehensive consultation process. These are search and discovery, federation and orchestration of data and processes. The commonality across the three research topics is that they all require Semantic Web and Artificial Intelligence methods and embrace the various standards, and if needed, propose modifications to such standards.

show abstract

“…Like other other π-calculus variants, this formalism does not allow for abortion of conversations. The COWS approach (see for instance [19]) introduces a complete language for the orchestration of services. COWS allows for definition of stateful services, and proposes correlations variables that implement correlations of messages as in BPEL, a wait operation to suspend processes for a chosen time and a kill operation, that terminates terms within a delimited scope.…”

Section: B Chinese Wall Propertiesmentioning

confidence: 99%

Sessions with an Unbounded Number of Agents

Akshay

Hélouët

Mukund

2014

2014 14th International Conference on Application of Concurrency to System Design

View full text Add to dashboard Cite

Abstract-In web-based business systems, agents engage in structured interactions, called sessions. Sessions are logical units of computations, like transactions. However, unlike transactions, sessions cannot be isolated from each other. Thus, one has to verify such systems in the presence of both intended and unintended interference between sessions.The main challenge in building a tractable model of sessions is that there is no a priori bound on the number of concurrently active agents and sessions in the system. Realistic specifications require agents to compare entities across sessions, but this has to be modelled without assigning an unbounded set of unique identities to active agents and sessions.We propose a model called session systems that allows for an arbitrary number of concurrently active agents and sessions. Agents are equipped with a limited ability to remember partners across sessions. Configurations are represented as graphs and the operational semantics is described through graph-rewriting. We show that, under reasonable restrictions, session systems are well-structured systems. This provides an effective verification algorithm for simple coverability properties. We then show how to use this result to verify more elaborate business rules such as avoidance of conflicts of interest and the Chinese Wall Property.

show abstract

A calculus for orchestration of web services

Cited by 33 publications

References 73 publications

Combining behavioural types with security analysis

Combining behavioural types with security analysis

Search and Orchestration of Data and Processes in a Federated Environment

Sessions with an Unbounded Number of Agents

Contact Info

Product

Resources

About