{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:34:20Z","timestamp":1743114860717,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244421"},{"type":"electronic","value":"9783642244438"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24443-8_11","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T04:34:12Z","timestamp":1317875652000},"page":"85-96","source":"Crossref","is-referenced-by-count":0,"title":["F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database"],"prefix":"10.1007","author":[{"given":"Mourad","family":"Kaddes","sequence":"first","affiliation":[]},{"given":"Majed","family":"Abdouli","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Amanton","sequence":"additional","affiliation":[]},{"given":"Mouez","family":"Ali","sequence":"additional","affiliation":[]},{"given":"Rafik","family":"Bouaziz","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Sadeg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/185827.185843","volume":"19","author":"P.K. Chrysanthis","year":"1994","unstructured":"Chrysanthis, P.K., Ramamritham, K.: Synthesis of Extended transaction Models Using ACTA. ACM Transactions, Database Syst.\u00a019(3), 450\u2013490 (1994)","journal-title":"ACM Transactions, Database Syst."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Xiong, M., Ramamirthan, K.: Towards the Specification and Analysis of Transactions in Real-Time Active Databases. In: RTBD 1997, Burlington Vermont, USA, pp. 327\u2013348 (1997)","DOI":"10.1007\/978-1-4615-6069-2_18"},{"key":"11_CR3","unstructured":"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)"},{"key":"11_CR4","unstructured":"Schwarz, K., Turker, C., Saake, G.: Transitive Dependencies in Transaction Closures. In: Database Engineering and Applications Symposium, Cardiff, Wales, UK, July 8-10 (1998)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/BFb0057723"},{"key":"11_CR6","unstructured":"Abdouli, M.: Study of Extended Transaction Model Adaptation to Real-time DBMS. PhD Thesis, Le Havre university, France (2006) (in French)"},{"key":"11_CR7","unstructured":"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)"},{"key":"11_CR8","unstructured":"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)"},{"issue":"4","key":"11_CR9","first-page":"1325","volume":"44","author":"M. Hamdaoui","year":"1995","unstructured":"Hamdaoui, M., Ramanathan, P.: A Dynamic Priority Assignment Technique for Streams with (m,k)-Firm Deadlines. IEEE Transactions on Computers\u00a044(4), 1325\u20131337 (1995)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR10","unstructured":"Koren, G., Shasha, D.: Skip-over: Algorithms and complexity for overloaded system that allows skips. In: Real-Time System Symposium, pp. 110\u2013117 (1995)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013296 (2005)","DOI":"10.1109\/RTCSA.2005.63"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Amirijoo, M., Hansson, J., Son, S.H.: Specification and Management of QoS in Real-Time Databases Supporting Imprecise Computations. Transactions on Computers\u00a055(3) (March 2006)","DOI":"10.1109\/TC.2006.45"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/EMRTS.2003.1212729"},{"key":"11_CR14","unstructured":"Purimetla, B., Sivasankaran, R.M., Ramamaritham, K., Stankovic, J.A.: Real-time databases: issues and applications. In: Hill, P. (ed.) Principles of RTS (1994)"},{"key":"11_CR15","unstructured":"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)"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/TC.2003.1183951","volume":"52","author":"B. Kao","year":"2003","unstructured":"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.\u00a052, 373\u2013389 (2003)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"11_CR17","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/s11241-008-9055-4","volume":"40","author":"M. Xiong","year":"2008","unstructured":"Xiong, M., Ramamritham, K.: On earliest deadline first scheduling for temporal consistency maintenance. Real-Time Systems\u00a040(2), 208\u2013237 (2008)","journal-title":"Real-Time Systems"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-45251-6_14","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"S. Dupuy-Chessa","year":"2001","unstructured":"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.\u00a02021, pp. 242\u2013258. Springer, Heidelberg (2001)"},{"key":"11_CR19","unstructured":"Ali, M.: Verification Et Validation Formelles de Modeles UML: Approches et outils Editions universitaires europ\u00e9ennes (December 2010) ISBN-10: 6131551359"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24443-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T14:14:55Z","timestamp":1741788895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24443-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244421","9783642244438"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24443-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}