A Calculus for Orchestration of Web Services
From MaRDI portal
Publication:5756484
DOI10.1007/978-3-540-71316-6_4zbMath1187.68070OpenAlexW2162282992MaRDI QIDQ5756484
A. Lapadula, Francesco Tiezzi, Rosario Pugliese
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_4
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)
Related Items
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python, An accessible verification environment for UML models of services, Event-Based Service Coordination, What Do Semantics Matter When the Meat Is Overcooked?, Communicating by compatibility, Towards a process calculus for REST: current state of the art, A formal model for service-oriented interactions, Session types for safe web service orchestration, Relational Analysis of Correlation, \textsf{CaPiTo}: Protocol stacks for services, On the analysis of compensation correctness, Replacement freeness: a criterion for separating process calculi, Parametric synchronizations in mobile nominal calculi, A calculus of quality for robustness against unreliable communication, An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems, Enabling synchronous and asynchronous communications in CSP for SOC, A WSDL-based type system for asynchronous WS-BPEL processes, CaSPiS: a calculus of sessions, pipelines and services, Global escape in multiparty sessions, From StPowla processes to SRML models, Property specifications for workflow modelling, Failure-divergence semantics and refinement of long running transactions, Event based choreography, The stream-based service-centred calculus: a foundation for service-oriented programming, The Conversation Calculus: A Model of Service-Oriented Computation, A formal approach to the engineering of domain-specific distributed systems, MarCaSPiS: a Markovian Extension of a Calculus for Services, Assisting the design of a groupware system - Model checking usability aspects of thinkteam, On the expressive power of process interruption and compensation, COWS, A barred operational semantics for a subset of WS-CDL with time restrictions, Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines, An Observational Model for Transactional Calculus of Services Orchestration, From EU Projects to a Family of Model Checkers, The Evolution of Jolie
Uses Software
