{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:51:09Z","timestamp":1743033069762,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319534794"},{"type":"electronic","value":"9783319534800"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-53480-0_81","type":"book-chapter","created":{"date-parts":[[2017,2,22]],"date-time":"2017-02-22T05:12:19Z","timestamp":1487740339000},"page":"821-830","source":"Crossref","is-referenced-by-count":0,"title":["Coupling Event-B\/ProB for the Analysis of the Software Architecture Evolution Described in PDDL"],"prefix":"10.1007","author":[{"given":"Farah","family":"Fourati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed Tahar","family":"Bhiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riadh","family":"Robbana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,23]]},"reference":[{"key":"81_CR1","doi-asserted-by":"crossref","unstructured":"Barnes, J.M., Pandey, A., Garlan, D.: Automated planning for software architecture evolution. In: 2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE), pp. 213\u2013223. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693081"},{"key":"81_CR2","unstructured":"McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: Pddl-the planning domain definition language (1998)"},{"key":"81_CR3","unstructured":"www.icaps-conference.org (2016)"},{"key":"81_CR4","doi-asserted-by":"crossref","unstructured":"Howey, R., Long, D., Fox, M.: Val: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004, pp. 294\u2013301. IEEE (2004)","DOI":"10.1109\/ICTAI.2004.120"},{"key":"81_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"1","key":"81_CR6","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10009-009-0132-3","volume":"12","author":"D Plagge","year":"2010","unstructured":"Plagge, D., Leuschel, M.: Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more. Int. J. Softw. Tools Technol. Transf. 12(1), 9\u201321 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"6","key":"81_CR7","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"81_CR8","unstructured":"M\u00e9hus, J.-E., Batista, T., Buisson, J.: ACME vs PDDL: support for dynamic reconfiguration of software architectures. arXiv preprint arXiv:1206.0122 (2012)"},{"key":"81_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-43652-3_1","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"L Voisin","year":"2014","unstructured":"Voisin, L., Abrial, J.R.: The rodin platform has turned ten. In: Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. LNCS, vol. 8477, pp. 1\u20138. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-43652-3_1"}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Systems Design and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-53480-0_81","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T07:07:06Z","timestamp":1498374426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-53480-0_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319534794","9783319534800"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-53480-0_81","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017]]}}}