Title | ||
---|---|---|
F-RT-ETM: toward analysis and formalizing real time transaction and data in real-time database |
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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-24443-8_11 | MEDI |
Keywords | Field | DocType |
extended real time transaction,framework acta,z language,possible interaction,real-time database,uml class diagram,new interaction,account temporal characteristic,real time environment,extended transaction model,capture concept,real time,transaction,meta model,temporal data | Data mining,Computer science,Transaction model,Formal description,Temporal database,Database transaction,Metamodeling,Real-time database,Class diagram | Conference |
Volume | ISSN | Citations |
6918 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 13 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mourad Kaddes | 1 | 0 | 2.37 |
Majed Abdouli | 2 | 3 | 4.81 |
Laurent Amanton | 3 | 14 | 8.58 |
Mouez Ali | 4 | 1 | 2.18 |
Rafik Bouaziz | 5 | 130 | 40.11 |
Bruno Sadeg | 6 | 55 | 15.65 |