F-RT-ETM: toward analysis and formalizing real time transaction and data in real-time database

Authors:
Mourad Kaddes;Majed Abdouli;Laurent Amanton;Mouez Ali;Rafik Bouaziz;Bruno Sadeg
Affiliations:
Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Sakeit Ezzeit, Tunisia and UFR Sciences et Techniques, Université du Havre, Le Havre Cedex, France;Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Sakeit Ezzeit, Tunisia;UFR Sciences et Techniques, Université du Havre, Le Havre Cedex, France;Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Sakeit Ezzeit, Tunisia;Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Sakeit Ezzeit, Tunisia;UFR Sciences et Techniques, Université du Havre, Le Havre Cedex, France
Venue:
MEDI'11 Proceedings of the First international conference on Model and data engineering
Year:
2011

Citing 11
Cited 0

Synthesis of extended transaction models using ACTA

ACM Transactions on Database Systems (TODS)
A Dynamic Priority Assignment Technique for Streams with (m, k)-Firm Deadlines

IEEE Transactions on Computers
Maintaining Temporal Consistency of Discrete Objects in Soft Real-Time Database Systems

IEEE Transactions on Computers
Extending Transaction Closures by N-ary Termination Dependencies

ADBIS '98 Proceedings of the Second East European Symposium on Advances in Databases and Information Systems
Validation of UML Models Thanks to Z and Lustre

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A QoS-Sensitive Approach for Timeliness and Freshness Guarantees in Real-Time Databases

ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Skip-Over: algorithms and complexity for overloaded systems that allow skips

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Transitive Dependencies in Transaction Closures

IDEAS '98 Proceedings of the 1998 International Symposium on Database Engineering & Applications
Multi-Versions Data for Improvement of QoS in RTDBS

RTCSA '05 Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Specification and Management of QoS in Real-Time Databases Supporting Imprecise Computations

IEEE Transactions on Computers
On earliest deadline first scheduling for temporal consistency maintenance

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

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.