SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Theoretical Computer Science
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Optimal Paths in Weighted Timed Automata
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
A Process Compensation Language
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
WWW '05 Proceedings of the 14th international conference on World Wide Web
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Compensation with Dependency in Web Services Composition
NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
The transaction concept: virtues and limitations (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Looking into Compensable Transactions
SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
A framework for ensuring consistency of Web Services Transactions
Information and Software Technology
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Compensation in the world of web services composition
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
| Hi-index | 0.00 |
Typically, when services become inconsistent from a business viewpoint, it is expected that compensation be used to recover from the inconsistency, by undoing the executed operations. In reality, compensation may incur additional costs, however existing approaches to recovery do not take such costs fully into account. We identify some major underlying gaps in SOC (Service Oriented Computing) related to compensation modelling, inconsistency identification, recovery and cost calculation. To make services more reasonable and predictable in dealing with inconsistencies from a cost perspective. We propose a cost-aware compensation framework modelling service compensations and compositions by a Petri Net-based model, reasoning about inconsistency recovery behaviours by model checking the LTL properties corresponding to business rules, and computing costs of recovery behaviours by parameterised cost calculation.