Structured Communication-Centred Programming for Web Services

DOI10.1007/978-3-540-71316-6_2zbMath1187.68064OpenAlexW1780016311MaRDI QIDQ5756486

Kohei Honda, Marco Carbone, Nobuko Yoshida

Publication date: 4 September 2007

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_2

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items

Non-local configuration of component interfaces by constraint satisfaction, Unnamed Item, Self-adaptation and secure information flow in multiparty communications, Global Protocol Implementations via Attribute-Based Communication, Security protocols as choreographies, Subtyping Supports Safe Session Substitution, POETS: process-oriented event-driven transaction systems, Session types revisited, Conversation types, An accessible verification environment for UML models of services, An interface theory for service-oriented design, Functional choreographic programming, Event-Based Service Coordination, A Theory of Formal Choreographic Languages, A predicate transformer for choreographies. Computing preconditions in choreographic programming, Choreographies, logically, Declarative choreographies and liveness, Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets, Contracts for cross-organizational workflows as timed dynamic condition response graphs, The Paths to Choreography Extraction, On the Undecidability of Asynchronous Session Subtyping, Parametric synchronizations in mobile nominal calculi, An algebraic theory for web service contracts, Deriving session and union types for objects, Separation Logic Semantics for Communicating Processes, A WSDL-based type system for asynchronous WS-BPEL processes, Building distributed controllers for systems with priorities, A core model for choreographic programming, CaSPiS: a calculus of sessions, pipelines and services, Asynchronous Session Types and Progress for Object Oriented Languages, Event based choreography, Coordination Via Types in an Event-Based Framework, Amalgamating sessions and methods in object-oriented languages with generics, The stream-based service-centred calculus: a foundation for service-oriented programming, The Conversation Calculus: A Model of Service-Oriented Computation, Realizable temporal logics for web service choreography, MarCaSPiS: a Markovian Extension of a Calculus for Services, A theory of contracts for strong service compliance, Objects and session types, Session-Based Communication Optimisation for Higher-Order Mobile Processes, A Gentle Introduction to Multiparty Asynchronous Session Types, A type system for Discretionary Access Control, Enforcing Availability in Failure-Aware Communicating Systems, PiStache: Implementing π-Calculus in Scala, Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines, The Evolution of Jolie, Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus, Theoretical Aspects of Communication-Centred Programming