Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abdulla, P.A., Mayr, R.: Minimal Cost Reachability/Coverability in Priced Timed Petri Nets. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 348–363. Springer, Heidelberg (2009)
Acu, B., Reisig, W.: Compensation in Workflow Nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 65–83. Springer, Heidelberg (2006)
Alur, R., et al.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
Alur, R., La Torre, S., Pappas, G.J.: Optimal Paths in Weighted Timed Automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 49–62. Springer, Heidelberg (2001)
Andrews, T., et al.: Business process execution language for web services, version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation (2003)
Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces, pp. 148–159 (2005)
Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)
Biswas, D.: Compensation in the World of Web Services Composition. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 69–80. Springer, Heidelberg (2005)
Bonet, P., et al.: PIPE v2. 5: A Petri net tool for performance modelling. In: Proc. 23rd Latin American Conference on Informatics (CLEI 2007). Citeseer (2007)
Bunting, D., et al.: Web Services Composite Application Framework (WS-CAF). Ver1. 0 (2003)
Butler, M., Ferreira, C.: A process compensation language, pp. 61–76 (2000)
Butler, M., Hoare, T., Ferreira, C.: A Trace Semantics for Long-Running Transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) CSP25. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)
Cabrera, F., Copeland, G., Cox, B., Freund, T., Klein, J., Storey, T., Thatte, S.: Web services transaction (WS-transaction). In: Microsoft, IBM etc (2002)
Choi, S., et al.: A framework for ensuring consistency of Web Services Transactions. Information and Software Technology 50(7-8), 684–696 (2008)
Coleman, J.: Examining BPEL’s compensation construct. In: Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), p. 122 (2005)
Fischer, J., Majumdar, R.: Ensuring consistency in long running transactions. In: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, pp. 54–63. ACM (2007)
Garcia-Molina, H., Salem, K.: Sagas. ACM SIGMOD Record 16(3), 249–259 (1987)
Gray, J.: The transaction concept: Virtues and limitations. In: Proceedings of the Very Large Database Conference, pp. 144–154. Citeseer (1981)
Greenfield, P., et al.: Compensation is not enough. In: Proceedings of the 7th International Conference on Enterprise Distributed Object Computing, p. 232. IEEE Computer Society, Washington, DC (2003)
Holliday, M.A., et al.: A generalized timed Petri net model for performance analysis. IEEE Transactions on Software Engineering (12), 1297–1310 (1987)
Kramer, J., McGee, J.: Concurrency: State Models and Java Programs (1999)
Li, J., Zhu, H., Pu, G., He, J.: Looking into compensable transactions. In: 31st IEEE Software Engineering Workshop, SEW 2007, pp. 154–166. IEEE (2007)
Lin, L., Liu, F.: Compensation with dependency in web services compositions. In: International Conference on Next Generation Web Services Practices, NWeSP 2005, pp. 183–188. IEEE (2006)
Massuthe, P., Schmidt, K.: Operating guidelines-an automata-theoretic foundation for the service-oriented architecture. In: Fifth International Conference on Quality Software (QSIC 2005), pp. 452–457. IEEE (2005)
Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing. Communications of the ACM 46(10), 25–28 (2003)
Pires, P.F., et al.: Webtransact: A framework for specifying and coordinating reliable web services compositions (2002)
Potts, M., et al.: Business Transaction Protocol Primer. OASIS Committee Supporting Document (2002)
Reisig, W.: Simple Composition of Nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 23–42. Springer, Heidelberg (2009)
Vardi, M.: An Automata-Theoretic Approach to Linear Temporal Logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol. 1043, pp. 238–266. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhou, G. (2012). Model Checking Inconsistency Recovery Costs. In: Pallis, G., et al. Service-Oriented Computing - ICSOC 2011 Workshops. ICSOC 2011. Lecture Notes in Computer Science, vol 7221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31875-7_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-31875-7_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31874-0
Online ISBN: 978-3-642-31875-7
eBook Packages: Computer ScienceComputer Science (R0)