RT-ETM: Toward Analysis and Formalizing Transaction and Data Models in Realtime Databases.
Mourad Kaddes, Laurent Amanton, Bruno Sadeg, Mouez Ali, Majed Abdouli, Rafik Bouaziz · Int. J. Web Appl. · 2011
Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and 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 interaction. 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 interaction between transactions in real time environment on the one hand. We extend ACTA to take into account temporal characteristics of real-time data item, On the other hand, and (ii) we propose a meta-model, called RT- ETM, that capture concept of an extended real-time transaction model by using UML class diagram and its formal description using Z language.