Theoretical foundations for compensations in flow composition languages

No abstract is available for this paper.

• Publication year

  2005

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  2005-01-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1040305.1040323
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Framework for Generic Error Handling in Business Processes

  2004cited by this paper
• Towards a Formal Foundation to Orchestration Languages

  2004cited by this paper
• Formalizing Web Service Choreographies

  2004cited by this paper
• A Semantic Framework for Designer Transactions

  2004cited by this paper
• Nested Commits for Mobile Calculi: Extending Join

  2004influential reference
• An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions

  2004cited by this paper
• A Petri Net-based Model for Web Service Composition

  2003cited by this paper
• Analysis of Web Services Composition Languages: The Case of BPEL4WS

  2003cited by this paper
• A Calculus for Long-Running Transactions

  2003cited by this paper
• Web service composition languages: old wine in New bottles?

  2003cited by this paper
• Contracts and types

  2003cited by this paper
• Extending the concept of transaction compensation

  2002cited by this paper
• Transactions in transactional workflows" in advanced transaction models and architectures

  1997cited by this paper
• Transactions in Transactional Workflows

  1997cited by this paper
• (Version 1.0)

  1995cited by this paper
• An overview of workflow management: From process modeling to workflow automation infrastructure

  1995cited by this paper
• Nested Transactions: An Approach to Reliable Distributed Computing

  1985cited by this paper

• Compositional workflow modeling with priority constraints

  2021cites this paper
• Constraint-based analysis of business process models

  2020cites this paper
• Service Orchestration with Priority Constraints

  2019cites this paper
• Assertional Reasoning for Concurrent and Communicating BPEL-like Programs

  2018cites this paper
• ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions

  2018cites this paper
• A Language-Based Approach to Robust Context-Aware Software

  2018cites this paper
• Modeling of Compensation in Long-Running Transactions

  2016cites this paper
• True Concurrency in Long-running Transactions for Digital Ecosystems

  2015cites this paper
• General dynamic recovery for compensating CSP

  2014cites this paper
• Privacy preserving minimal observability for composite transactional services

  2014cites this paper
• cJoin: Join with communicating transactions†

  2014influential citation
• Especificación formal y verificación de propiedades temporales de procesos de negocios

  2014cites this paper
• Long Running Transactions Within Enterprise Resource Planning Systems

  2014cites this paper
• The semantics and verification of timed service choreography

  2014cites this paper
• Comprehensive Monitor-Oriented Compensation Programming

  2014cites this paper
• The semantics and verification of timed service choreography

  2014cites this paper
• Activity Report 2013 Team SPADES Sound Programming of Adaptive Dependable Embedded Systems

  2014cites this paper
• Minimal Observability and Privacy Preserving Compensation for Transactional Services

  2014cites this paper
• Attribute-based transactions in service oriented computing

  2014cites this paper
• Towards Efficient Abstractions for Concurrent Consensus

  2013cites this paper
• Compensation by design

  2013cites this paper
• An Operational Semantics for Model Checking Long Running Transactions

  2013cites this paper
• Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

  2013cites this paper
• Concurrent Flexible Reversibility

  2013cites this paper
• Linking the Semantics of BPEL Using Maude

  2013cites this paper
• Recovery within long-running transactions

  2013cites this paper
• Towards cost-aware service recovery

  2013cites this paper
• Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools

  2013cites this paper
• Ficklebase: Looking into the future to erase the past

  2013cites this paper
• Decidability Results for Dynamic Installation of Compensation Handlers

  2013cites this paper
• Fault tolerance via idempotence

  2013cites this paper
• Maintaining Transactional Integrity in Long Running Workflow Services: A Policy-Driven Framework

  2013cites this paper
• A Fault-Tolerant Method for Enhancing Reliability of Services Composition Application in WSNs Based on BPEL

  2013cites this paper
• On the analysis of compensation correctness

  2012cites this paper
• Controlled Reversibility and Compensations

  2012cites this paper
• Analysing Tactics in Architectural Patterns

  2012cites this paper
• Innocent Strategies as Presheaves and Interactive Equivalences for CCS 1

  2012cites this paper
• Runtime Enforcement of Information Flow Security in Tree Manipulating Processes

  2012cites this paper
• Coordination Models and Languages

  2012influential citation
• Programming compensations for system-monitor synchronisation

  2012cites this paper
• A calculus for orchestration of web services

  2012cites this paper
• Using formal methods to develop WS-BPEL applications

  2012cites this paper
• Static Typing and Dynamic Versioning for Safe Pessimistic Concurrency Control

  2012cites this paper
• Modelling and verification of compensating transactions using the SPIN tool

  2012cites this paper
• LTS Semantics for Compensation-Based Processes

  2012cites this paper
• A Formal Diagrammatic Approach to Compensable Workflow Modelling

  2012cites this paper
• First-Order Dynamic Logic for Compensable Processes

  2012cites this paper
• THÈSE préparée dans le cadre d'une cotutelle entre L' UNIVERSITÉ DE GRENOBLE et L'UNIVERSITÁ DI BOLOGNA

  2012cites this paper
• Web Service Composition -- BPEL vs cCSP Process Algebra

  2012cites this paper
• An animation tool for exploring transactions in a DE

  2012cites this paper
• Separating compensation concerns and programming them with compensating automata

  2012cites this paper
• An aggregation composition compensation method based on paired net

  2012cites this paper
• Failure-divergence semantics and refinement of long running transactions

  2012cites this paper
• The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

  2012cites this paper
• An animation tool for exploring transactions in a DE

  2012cites this paper
• Safer asynchronous runtime monitoring using compensations

  2012cites this paper
• Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

  2011cites this paper
• A Compensating Transaction Example in Twelve Notations

  2011cites this paper
• Science of Computer Programming

  2011cites this paper
• Fault in the Future

  2011cites this paper
• Advanced Mechanisms for Service Combination and Transactions

  2011cites this paper
• Model-Driven Development of Long Running Transactions

  2011cites this paper
• Signal Calculus Revisited

  2011cites this paper
• Hierarchical Models for Service-Oriented Systems

  2011cites this paper
• A WSDL-based type system for asynchronous WS-BPEL processes

  2011cites this paper
• Failure-Divergence Refinement of Compensating Communicating Processes

  2011cites this paper
• Modelling and Analysing QoS for Real-Time Interactive Applications on the Cloud

  2011cites this paper
• 2 A Language for Distributed Concurrent Objects

  2011cites this paper
• Linking denotational semantics with operational semantics for web services

  2010cites this paper
• Deriving Relationship Between Semantic Models - An Approach for cCSP

  2010cites this paper
• An Extended cCSP with Stable Failures Semantics

  2010cites this paper
• A Model for Web Service Coordination in Long-Running Transactions

  2010cites this paper
• On Realizing Quick Compensation Transactions in Cloud Computing

  2010cites this paper
• Communicating Transactions - (Extended Abstract)

  2010cites this paper
• Static vs Dynamic SAGAs

  2010influential citation
• Primitives for Contract-based Synchronization

  2010cites this paper
• Lightweight checkpointing for concurrent ML

  2010cites this paper
• On GS-Monoidal Theories for Graphs with Nesting

  2010cites this paper
• Research of cross-organizational services composition consistency using CSP trace semantic

  2010cites this paper
• Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools

  2010cites this paper
• Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

  2010cites this paper
• Compensation-Aware Runtime Monitoring

  2010cites this paper
• An Algebra of Hierarchical Graphs and its Application to Structural Encoding

  2010cites this paper
• A compositional semantic theory for service composition

  2010cites this paper
• Research on Long Running Transaction Consistency Based on CSP Trace Semantic

  2010cites this paper
• A Java Inspired Semantics for Transactions in SOC

  2010cites this paper
• A Calculus of Contracting Processes

  2010cites this paper
• Comparing goal-oriented and procedural service orchestration

  2010cites this paper
• A probabilistic BPEL-like language

  2010cites this paper
• Compensations in an imperative programming language

  2010cites this paper
• An Algebra of Hierarchical Graphs

  2010cites this paper
• A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions

  2010influential citation
• Execution Analysis of Failure Recovery for Reliable Web Services Transaction

  2010cites this paper
• A Flexible Failure Mechanisms for Reliable Web Services Transaction

  2010cites this paper
• Liveness of communicating transactions

  2010cites this paper
• Process algebraic support for web service composition

  2010cites this paper
• Error Handling: From Theory to Practice

  2010cites this paper
• A calculus for modeling and analyzing conversations in service-oriented computing

  2010cites this paper
• A petri net-based failure handling model for composition transactions

  2010cites this paper
• Liveness of Communicating Transactions (Extended Abstract)

  2010cites this paper