A Calculus for Orchestration of Web Services
From MaRDI portal
Publication:5756484
DOI10.1007/978-3-540-71316-6_4zbMath1187.68070MaRDI QIDQ5756484
Francesco Tiezzi, A. Lapadula, 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
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68M11: Internet topics
Related Items
The Conversation Calculus: A Model of Service-Oriented Computation, Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines, An Observational Model for Transactional Calculus of Services Orchestration, COWS, A formal model for service-oriented interactions, On the analysis of compensation correctness, A WSDL-based type system for asynchronous WS-BPEL processes, Property specifications for workflow modelling, An accessible verification environment for UML models of services, \textsf{CaPiTo}: Protocol stacks for services, Parametric synchronizations in mobile nominal calculi, From StPowla processes to SRML models, Event based choreography, Assisting the design of a groupware system - Model checking usability aspects of thinkteam, A barred operational semantics for a subset of WS-CDL with time restrictions, Communicating by compatibility, Event-Based Service Coordination, What Do Semantics Matter When the Meat Is Overcooked?, Relational Analysis of Correlation, On the expressive power of process interruption and compensation
Uses Software