Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Checking that finite state concurrent programs satisfy their linear specification
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Kleene-Schützenberger theorem for formal power series in partially commuting variables
Information and Computation
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
The Book of Traces
Web Services and Business Transactions
World Wide Web
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Process Compensation Language
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Building Reliable Web Services Compositions
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Communications of the ACM - Service-oriented computing
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
WWW '05 Proceedings of the 14th international conference on World Wide Web
Consistency for web services applications
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Towards TransactionalWeb Services
CECW '05 Proceedings of the Seventh IEEE International Conference on E-Commerce Technology Workshops
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
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Cost-algebraic heuristic search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
A theory of regular MSC languages
Information and Computation
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A survey of transactional issues for Web Service composition and recovery
International Journal of Web and Grid Services
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Hi-index | 0.00 |
We present a semi-automated approach and framework for cost-aware recovery from service inconsistency arising due to unreliable service actions. A range of costs such as time are parameterised and modelled generically using cost algebras. With respect to a user-provided business specification, we distinguish end-state consistency, which must be achieved at service completion, from strong consistency, which may be momentarily violated. Our approach ensures optimal end-state consistency for services where action failure may lead to temporary violations of strong consistency or end-state consistency. Enterprises could not otherwise optimally and dynamically handle strong consistency violation, especially with respect to a variety of costs. Our approach provides quantitative analysis by defining a service model as an high-level message sequence chart (hMSC), annotating service actions with costs, then interpreting the model as a weighted (Mazurkiewicz) trace language, catering for costs in the presence of true concurrency. We devise a framework and method which checks such a model and ensures service end-state consistency optimally by concatenating the traces of recovery strategies (expressed by MSCs) from an enterprise service repository. We evaluate our approach using a popular online shop case study.