Abstract
This research has developed the concept of invariant rules for monitoring data in a service-oriented environment that allows concurrent data accessibility with relaxed isolation. The invariant rule approach is an extension of the assurance point concept, where an assurance point is a logical and physical checkpoint that is used to store critical data values and to check pre and post conditions related to service execution. Invariant rules provide a stronger way of monitoring constraints and guaranteeing that a condition holds for a specific duration of execution as defined by starting and ending assurance points, using the change notification capabilities of Delta-Enabled Grid Services. This paper outlines the specification of invariant rules as well as the invariant monitoring system for activating invariants, evaluating invariant rule conditions, and deactivating invariants. The system is supported by an invariant evaluation web service that uses materialized views for more efficient re-evaluation of invariant rule conditions. The research includes a performance analysis of the invariant evaluation Web Service. The strength of the invariant rule technique is that it provides a way to monitor data consistency in an environment where the coordinated locking of data items across multiple service executions is not possible.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)
Blake, L.: The Design and Implementation of Delta-enabled Grid Services. Arizona State University (2006)
Charfi, A., Mezini, M.: Aspect-Oriented Workflow Languages. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 183–200. Springer, Heidelberg (2006)
Charfi, A., Mezini, M.: Ao4bpel: An Aspect-Oriented Extension to BPEL. World Wide Web 10(3), 309–344 (2007)
Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems, 6th edn. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (2010)
Garcia-Molina, H., Salem, K.: Sagas. ACM SIGMOD Record 16, 249–259 (1987)
Jang, J., Fekete, A., Greenfield, P.: Delivering Promises for Web Services Applications. In: IEEE International Conference on Web Services, Salt Lake City, Utah, USA (2007)
Jin, Y.: An Architecture and Execution Environment for Component Integration Rules. PhD Dissertation, Arizona State University (2004)
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: An Overview of AspectJ. In: Lee, S.H. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–354. Springer, Heidelberg (2001)
Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary Design of JML: A Behavioral Interface Specification Language for Java. ACM SIGSOFT Software Engineering Notes 31, 1–38 (2006)
Luckham, D.: Programming with Specifications: An Introduction to ANNA. In: A Language for Specifying Ada Programs. Springer, New York (1990)
Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Mikalsen, T., Tai, S., Rouvellou, I.: Transactional Attitudes: Reliable Composition of Autonomous Web Services. In: Conference Transactional Attitudes: Reliable Composition of Autonomous Web Services (2002)
Shrestha, R.: Using Assurance Points and Integration Rules for Recovery in Service Composition. MS Thesis, Texas Tech University (2010)
Shuman, M.: A Database Service for Checking Invariants. Technical Report, Department of Computer Science, Texas Tech University (2010)
Tumma, M.: Oracle Streams: High Speed Replication and Data Sharing. Rampant TechPress (2004)
Urban, S.D., Dietrich, S.W., Na, Y., Jin, Y., Sundermier, A., Saxena, A.: The IRules Project: Using Active Rules for the Integration of Distributed Software Components. In: Proceedings of the 9th IFIP Working Conference on Database Semantics: Semantic Issues in E-Commerce Systems, Hong Kong, pp. 265–286 (April 2001)
Urban, S.D., Xiao, Y., Blake, L., Dietrich, S.W.: Monitoring Data Dependencies in Concurrent Process Execution through Delta-Enabled Grid Services. International Journal of Web and Grid Services 5, 85–106 (2009)
Urban, S., Gao, L., Shrestha, R., Courter, A.: Achieving Recovery in Service Composition with Assurance Points and Integration Rules. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6426, pp. 428–437. Springer, Heidelberg (2010)
Wächter, H., Reuter, A.: The Contract Model. Universität, Fakultät Informatik (1991)
Worah, D., Sheth, A.: Transactions in Transactional Workflows. In: Kershberg, S.J.a.L. (ed.) Advanced Transaction Models and Architectures, pp. 3–34 (1997)
Zhao, W., Moser, L.E., Melliar-Smith, P.M.: A Reservation-Based Coordination Protocol for Web Services. In: IEEE International Conference on Web Services. IEEE Computer Society, Orlando (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Urban, S.D., Courter, A., Gao, L., Shuman, M. (2011). Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants. In: Olken, F., Palmirani, M., Sottara, D. (eds) Rule-Based Modeling and Computing on the Semantic Web. RuleML 2011. Lecture Notes in Computer Science, vol 7018. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24908-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-24908-2_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24907-5
Online ISBN: 978-3-642-24908-2
eBook Packages: Computer ScienceComputer Science (R0)