Service oriented computing from a process algebraic perspective

DOI10.1016/J.JLAP.2006.05.002MaRDI QIDQ861292zbMATH OpenOpenAlexFDO

Authors Mario Bravetti, Gianluigi Zavattaro

Publication date 9 January 2007

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2006.05.002

zbMATH Keywords

service compositionprocess calculiservice oriented computing

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A perspective on service orchestration
• The Conversation Calculus: A Model of Service-Oriented Computation
• Services as a Paradigm of Computation
• Service-oriented logic programming
• Logical foundations of services

Cites work

• scientific article; zbMATH DE number 1670867 (Why is no real title available?)
• A calculus for long-running transactions.
• A generic type system for the pi-calculus
• CONCUR 2005 – Concurrency Theory
• Communicating Sequential Processes. The First 25 Years
• Coordination Models and Languages
• Foundations of Software Science and Computational Structures
• Fundamental Approaches to Software Engineering
• Generative communication in Linda
• Process algebra with timing
• Quantitative information in the tuple space coordination model
• Semantic subtyping for the pi-calculus
• Theoretical foundations for compensations in flow composition languages

Cited in

(21)

• On the expressiveness of multiplicities in data-based coordination languages
• Enabling synchronous and asynchronous communications in CSP for SOC
• Concurrent objects à la carte
• A full operational semantics for asynchronous relational networks
• Property specifications for workflow modelling
• Objects and session types
• The Conversation Calculus: A Model of Service-Oriented Computation
• Approaching simple and powerful service-computing¹
• Services as a Paradigm of Computation
• Service net algebra based on logic Petri nets
• From StPowla processes to SRML models
• Dynamic error handling in service oriented applications
• Logical foundations of services
• Process calculi for modelling mobile, service-oriented, and collective autonomic systems
• Towards a process calculus for REST: current state of the art
• Models for trustworthy service and process oriented systems
• A barred operational semantics for a subset of WS-CDL with time restrictions
• A perspective on service orchestration
• Service-oriented logic programming
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Communicating by compatibility

Describes a project that uses

Uses Software

• Linda

This page was built for publication: Service oriented computing from a process algebraic perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861292)