Abstract
Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and the comparison of these models become delicate. Moreover, these models capture only one subset of interaction which can be found in the spectrum of the possible interactions. In front of this established fact, the framework ACTA was introduced. Our contribution in this field is twofold: (i) we extend ACTA by adding many dependencies for capturing a new interaction between transactions in real time environment, and we extend ACTA to take into account temporal characteristics of real-time data item (ii) we presented a meta-model that capture concept of an extended real time transaction model by using UML class diagram and its formal description using Z language.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Chrysanthis, P.K., Ramamritham, K.: Synthesis of Extended transaction Models Using ACTA. ACM Transactions, Database Syst. 19(3), 450–490 (1994)
Xiong, M., Ramamirthan, K.: Towards the Specification and Analysis of Transactions in Real-Time Active Databases. In: RTBD 1997, Burlington Vermont, USA, pp. 327–348 (1997)
Schwarz, K., Turker, C., Saake, G.: Analyzing and Formalizing Dependencies in Generalized Transaction Structures. In: Proc. of Int. Workshop on Issues and Applications of Database Technology, Berlin, Germany, July 6-9 (1998)
Schwarz, K., Turker, C., Saake, G.: Transitive Dependencies in Transaction Closures. In: Database Engineering and Applications Symposium, Cardiff, Wales, UK, July 8-10 (1998)
Schwarz, K., Turker, C., Saake, G.: Extending Transaction Closures by N-ary Termination Dependencies. In: Symposium on Advances in Databases and Information System (Adibis 1998), Poznan, Poland, September 8-11 (1998)
Abdouli, M.: Study of Extended Transaction Model Adaptation to Real-time DBMS. PhD Thesis, Le Havre university, France (2006) (in French)
Kaddes, M., Abdouli, M., Bouaziz, R.: Adding New Dependencies to Acta Framework. In: Proceedings of 22nd European Simulation and Modelling (ESM 2008), Le Havre, France, October 27-29 (2008)
Haubert, J., Sadeg, B., Amanton, L.: (m-k) firm real-time distributed transactions. In: Proc. of the 16th WIP Euromicro Conference on Real-Time Systems, ECRTS (2004)
Hamdaoui, M., Ramanathan, P.: A Dynamic Priority Assignment Technique for Streams with (m,k)-Firm Deadlines. IEEE Transactions on Computers 44(4), 1325–1337 (1995)
Koren, G., Shasha, D.: Skip-over: Algorithms and complexity for overloaded system that allows skips. In: Real-Time System Symposium, pp. 110–117 (1995)
Bouazizi, E., Duvallet, E., Sadeg, E.: Multi-Versions Data for Improvement of QoS in RTDBS. In: Proceedings of 11th IEEE International Conference on Real-Time and Embedded Computing Systems and Applications (IEEE RTCSA 2005), Hong Kong, China, August 17-19, pp. 293–296 (2005)
Amirijoo, M., Hansson, J., Son, S.H.: Specification and Management of QoS in Real-Time Databases Supporting Imprecise Computations. Transactions on Computers 55(3) (March 2006)
Amirijoo, M., Hansson, J., Son, S.H.: Specification and Management of QoS in Imprecise Real-Time Databases. In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), p. 63 (2003)
Purimetla, B., Sivasankaran, R.M., Ramamaritham, K., Stankovic, J.A.: Real-time databases: issues and applications. In: Hill, P. (ed.) Principles of RTS (1994)
Kang, K., Son, S.H., Stankovic, J.A., Abdelzaher, T.F.: A QoS-Sensitive Approach for Timeliness and Freshness Guarantees In Real-Time Databases. In: The 14th Euromicro Conference on Real-Time Systems (2002)
Kao, B., Lam, K., Adelberg, B., Cheng, R., Lee, T.: Maintaining Temporal Consistency of Discrete Objects in Soft Real-Time Database Systems. IEEE Trans. Comput. 52, 373–389 (2003)
Xiong, M., Ramamritham, K.: On earliest deadline first scheduling for temporal consistency maintenance. Real-Time Systems 40(2), 208–237 (2008)
Dupuy-Chessa, S., Bousquet, L.D.: Validation of UML Models Thanks to Z and Lustre. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 242–258. Springer, Heidelberg (2001)
Ali, M.: Verification Et Validation Formelles de Modeles UML: Approches et outils Editions universitaires européennes (December 2010) ISBN-10: 6131551359
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
Kaddes, M., Abdouli, M., Amanton, L., Ali, M., Bouaziz, R., Sadeg, B. (2011). F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database. In: Bellatreche, L., Mota Pinto, F. (eds) Model and Data Engineering. MEDI 2011. Lecture Notes in Computer Science, vol 6918. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24443-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-24443-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24442-1
Online ISBN: 978-3-642-24443-8
eBook Packages: Computer ScienceComputer Science (R0)