{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,24]],"date-time":"2023-02-24T05:47:48Z","timestamp":1677217668158},"reference-count":26,"publisher":"IGI Global","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7,1]]},"abstract":"<p>Web services are very dynamic, they are all around us and we use them every day without even knowing it. In this paper, the authors define a formal model for dynamic Web services composition and they investigate how it can be used to specify and analyse backward recovery procedures, updating partner services in case of failure. First, they propose Recursive and Dynamic Timed Automata (RDTA) model, interpreted over composite service configurations, which provide a natural way to design stateful and dynamic Web services. Then, the authors define the concurrent semantics of this timed automata extension in terms of real-time rewrite theories. Analysis of the model is carried out in the Real-Time Maude system, based on checking relevant properties.<\/p>","DOI":"10.4018\/ijertcs.2014070103","type":"journal-article","created":{"date-parts":[[2015,4,9]],"date-time":"2015-04-09T11:54:43Z","timestamp":1428580483000},"page":"42-67","source":"Crossref","is-referenced-by-count":1,"title":["RDTA"],"prefix":"10.4018","volume":"5","author":[{"given":"Fateh","family":"Latreche","sequence":"first","affiliation":[{"name":"LIRE Laboratory, Constantine 2 University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[{"name":"LIRE Laboratory, Constantine 2 University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2432","reference":[{"key":"ijertcs.2014070103-0","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ijertcs.2014070103-1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.36.3"},{"key":"ijertcs.2014070103-2","first-page":"61","article-title":"Analysis of timed recursive state machines.","author":"M.Benerecetti","year":"2010","journal-title":"17th International Symposium on Temporal Representation and Reasoning (TIME)"},{"key":"ijertcs.2014070103-3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40213-5_8"},{"key":"ijertcs.2014070103-4","doi-asserted-by":"crossref","unstructured":"Colombo, C. & Pace, G. J. (2013).Recovery within long-running transactions. ACM Computing Surveys, 45(3),28:1\u201328:35.","DOI":"10.1145\/2480741.2480745"},{"key":"ijertcs.2014070103-5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17881-8_9"},{"key":"ijertcs.2014070103-6","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_12"},{"key":"ijertcs.2014070103-7","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_17"},{"key":"ijertcs.2014070103-8","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_13"},{"key":"ijertcs.2014070103-9","first-page":"364","article-title":"Asynchronous timed web service-aware choreography analysis.","author":"N.Guermouche","year":"2009","journal-title":"Proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE \u201909"},{"key":"ijertcs.2014070103-10","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"ijertcs.2014070103-11","doi-asserted-by":"crossref","unstructured":"Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., & Jmaiel, M. (2009). Specifying and monitoring temporal \u200eproperties in web services compositions. ECOWS\u02bc09 - 7th IEEE European Conference on Web Services \u200e\u200e(pp. 148-157). Washington: IEEE Computer Society.\u200e","DOI":"10.1109\/ECOWS.2009.15"},{"key":"ijertcs.2014070103-12","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ijertcs.2014070103-13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40229-6_12"},{"key":"ijertcs.2014070103-14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00357-7"},{"key":"ijertcs.2014070103-15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ijertcs.2014070103-16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"ijertcs.2014070103-17","first-page":"241","article-title":"Transparent runtime adaptability for BPEL processes.","author":"A.Mosincat","year":"2008","journal-title":"Proceedings of the 6th International Conference on Service-Oriented Computing, ICSOC\u201908"},{"key":"ijertcs.2014070103-18","author":"P. C.\u00d6lveczky","year":"2007","journal-title":"Real-Time Maude 2.3 Manual"},{"key":"ijertcs.2014070103-19","author":"P. C.\u00d6lveczky","year":"2001","journal-title":"Specifying and analyzing real-time object systems in Real-\u200eTime \u200eMaude: Department of Information Technology"},{"key":"ijertcs.2014070103-20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.06.005"},{"key":"ijertcs.2014070103-21","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.020"},{"key":"ijertcs.2014070103-22","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9001-5"},{"key":"ijertcs.2014070103-23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_23"},{"key":"ijertcs.2014070103-24","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2013.05.001"},{"key":"ijertcs.2014070103-25","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050009"}],"container-title":["International Journal of Embedded and Real-Time Communication Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=126440","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T17:27:40Z","timestamp":1654104460000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijertcs.2014070103"}},"subtitle":["Recursive and Dynamic Timed Automata for Web Services Composition Analysis"],"short-title":[],"issued":{"date-parts":[[2014,7,1]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,7]]}},"URL":"https:\/\/doi.org\/10.4018\/ijertcs.2014070103","relation":{},"ISSN":["1947-3176","1947-3184"],"issn-type":[{"value":"1947-3176","type":"print"},{"value":"1947-3184","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,1]]}}}