{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:47:59Z","timestamp":1740142079471,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11334-018-0320-y","type":"journal-article","created":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T01:44:32Z","timestamp":1544751872000},"page":"273-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A model-driven approach for the generation of configurations for highly available software systems"],"prefix":"10.1007","volume":"14","author":[{"given":"Pejman","family":"Salehi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelwahab","family":"Hamou-Lhadj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Toeroe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,14]]},"reference":[{"key":"320_CR1","unstructured":"Baudry B, Dinh-Trong T, Mottu JM, Simmonds D, France R, Ghosh S, Fleurey F, Le Traon Y (2006) Model transformation testing challenges. In: Proceedings of IMDT workshop in conjunction with ECMDA\u201906, Bilbao"},{"issue":"6","key":"320_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B Baudry","year":"2010","unstructured":"Baudry B, Ghosh S, Fleurey F, France R, Traon YL, Mottu JM (2010) Barriers to systematic model transformation testing. Commun ACM 53(6):139\u2013143","journal-title":"Commun ACM"},{"key":"320_CR3","volume-title":"Black-box testing: techniques for functional testing of software and systems","author":"B Beizer","year":"1995","unstructured":"Beizer B (1995) Black-box testing: techniques for functional testing of software and systems. Wiley, New York"},{"key":"320_CR4","doi-asserted-by":"crossref","unstructured":"Buskens R, Gonzalez OJ (2006) Model-centric development of highly available software systems. In: Proceedings of international conference on dependable systems and networks, Philadelphia","DOI":"10.1007\/978-3-540-74035-3_8"},{"key":"320_CR5","doi-asserted-by":"crossref","unstructured":"Cabot J, Claris\u00f3 R, Riera D (2008) Verification of UML\/OCL class diagrams using constraint programming. In: MoDeVVa 2008. ICST workshop, pp 73\u201380","DOI":"10.1109\/ICSTW.2008.54"},{"issue":"9","key":"320_CR6","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J Cabot","year":"2009","unstructured":"Cabot J, Teniente E (2009) Incremental integrity checking of UML\/OCL conceptual schemas. J Syst Softw 82(9):1459\u20131478","journal-title":"J Syst Softw"},{"key":"320_CR7","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J Cabot","year":"2010","unstructured":"Cabot J, Claris\u00f3 R, Guerra E, de Lara J (2010) Verification and validation of declarative model-to-model transformations through invariants. J Syst Softw 83:283\u2013302","journal-title":"J Syst Softw"},{"key":"320_CR8","doi-asserted-by":"crossref","unstructured":"Ciancone A, Filieri A, Mirandola R (2010) MANTra: towards model transformation testing. In: Proceeding of the 7th international conference on the quality of information and communications technology, Porto, pp 97\u2013105","DOI":"10.1109\/QUATIC.2010.15"},{"key":"320_CR9","unstructured":"Eclipse Foundation, Eclipse model transformation project. \n                    http:\/\/projects.eclipse.org\/projects\/modeling.mmt.atl\n                    \n                  . Accessed Oct 2015"},{"key":"320_CR10","unstructured":"Eclipse Foundation, Eclipse modeling framework (EMF). \n                    http:\/\/www.eclipse.org\/modeling\/emf\/\n                    \n                  . Accessed Oct 2015"},{"key":"320_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig H, Ehrig K, Ermel C, Hermann F, Taentzer G (2007) Information preserving bidirectional model transformations. In: Proceeding of FASE\u201907, vol 4422, LNCS. Springer, Berlin, pp 72\u201386","DOI":"10.1007\/978-3-540-71289-3_7"},{"key":"320_CR12","unstructured":"Hinrich T, Love N, Petrie C, Ramshaw L, Sahai A, Singhal S (2004) Using object-oriented constraint satisfaction for automated configuration generation. In: DSOM 2004. LNCS, vol 3278, pp 159\u2013170"},{"issue":"1\u20132","key":"320_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault F, Allilaire F, B\u00e9zivin J, Kurtev I (2008) ATL: a model transformation tool. Sci Comput Program 72(1\u20132):31\u201339","journal-title":"Sci Comput Program"},{"key":"320_CR14","doi-asserted-by":"crossref","unstructured":"Kanso A, Toeroe M, Khendek F, Hamou-Lhadj A (2008) Automatic generation of AMF compliant configurations. In: Nanya T, Maruyama F, Pataricza A, Malek M (eds) ISAS 2008. LNCS, vol 5017. Springer, Heidelberg, pp 155\u2013170","DOI":"10.1007\/978-3-540-68129-8_13"},{"key":"320_CR15","doi-asserted-by":"crossref","unstructured":"Kanso A, Toeroe M, Hamou-Lhadj A, Khendek F (2009) Generating AMF configurations from software vendor constraints and user requirements. In: Proceedings of the 4th international conference on availability, reliability and security (ARES 2009). IEEE, Los Alamitos, pp 454\u2013461","DOI":"10.1109\/ARES.2009.27"},{"key":"320_CR16","unstructured":"K\u00fcster JM (2004) Systematic validation of model transformations. In: The 3rd UML workshop in software model engineering (WiSME 2004). \n                    http:\/\/www.metamodel.com\/wisme-2004\/accept\/4.pdf"},{"issue":"3","key":"320_CR17","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"JM K\u00fcster","year":"2006","unstructured":"K\u00fcster JM (2006) Definition and validation of model transformations. Softw Syst Model 5(3):233\u2013259","journal-title":"Softw Syst Model"},{"key":"320_CR18","doi-asserted-by":"crossref","unstructured":"K\u00f6vi A, Varr\u00f3 D (2007) An eclipse-based framework for AIS service configurations. In: Proceedings of 4th international service availability symposium, ISAS 2007, pp 110\u2013126","DOI":"10.1007\/978-3-540-72736-1_10"},{"key":"320_CR19","doi-asserted-by":"crossref","unstructured":"Lengyel L, Madari I, Asztalos M, Levendovszky T (2010) Validating query\/view\/transformation relations. In: Proceeding of 2010 workshop on model-driven engineering, verification, and validation, Oslo, pp 7\u201312","DOI":"10.1109\/MoDeVVa.2010.12"},{"key":"320_CR20","unstructured":"McGill MJ, Cheng BHC (2007) Test-driven development of a model transformation with jemtte. Technical report, Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University"},{"key":"320_CR21","doi-asserted-by":"crossref","unstructured":"Mottu JM, Baudry B, Traon YL (2008) Model transformation testing: oracle issue. In: Proceeding of MoDeVVa workshop colocated with ICST 2008, Lillehammer","DOI":"10.1109\/ICSTW.2008.27"},{"key":"320_CR22","unstructured":"Object Management Group, Meta object facility (MOF) 2.0 query\/view\/transformation, V1.1 formal\/2011-01-01. \n                    http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"320_CR23","unstructured":"OpenSAF Foundation, \n                    http:\/\/www.opensaf.org\/\n                    \n                  . Accessed Oct 2015"},{"key":"320_CR24","unstructured":"Piedad F, Hawkins M (2001) High availability: design, techniques, and processes. Prentice-Hall, Upper Saddle River. ISBN 9780130962881"},{"key":"320_CR25","unstructured":"Service Availability Forum\u2122. \n                    http:\/\/www.saforum.org\n                    \n                  , accessed October 2015"},{"key":"320_CR26","unstructured":"Service Availability Forum\u2122, Overview SAI-overview-B.05.03. \n                    http:\/\/www.saforum.org\/link\/linkshow.asp?link_id=222259&assn_id=16627"},{"key":"320_CR27","unstructured":"Service Availability Forum\u2122, Application interface specification. availability management framework SAI-AIS-AMF-B.04.01"},{"key":"320_CR28","unstructured":"Service Availability Forum, Application interface specification. Software Management Framework SAI-AIS-SMF-A.01.01"},{"key":"320_CR29","doi-asserted-by":"crossref","unstructured":"Salehi P, Khendek F, Toeroe M, Hamou-Lhadj A (2009) Checking service instance protection for AMF configurations. In: Proceeding of the 3rd IEEE international conference on secure software integration and reliability improvement, Shanghai, pp 269\u2013274","DOI":"10.1109\/SSIRI.2009.25"},{"key":"320_CR30","unstructured":"Salehi P, Khendek F, Hamou-Lhadj A, Toeroe M (2011) AMF configurations: checking for service protection using heuristics. In: Proceeding of the 7th international conference on network and service management, Paris, pp 1\u20138"},{"key":"320_CR31","unstructured":"Salehi P, Hamou-Lhadj A, Toeroe M, Khendek F (2014) A model driven approach for availability management framework configurations generation. USPTO#: US8752003 B2, Patent filled 2011, granted 2014"},{"key":"320_CR32","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.csi.2015.09.009","volume":"1","author":"P Salehi","year":"2015","unstructured":"Salehi P, Hamou-Lhadj A, Toeroe M, Khendek F (2015) A precise UML domain specific modeling language for service availability management. J Comput Stand Interfaces 1:4. \n                    https:\/\/doi.org\/10.1016\/j.csi.2015.09.009","journal-title":"J Comput Stand Interfaces"},{"key":"320_CR33","doi-asserted-by":"crossref","unstructured":"Sahai A, Singhal S, Machiraju V, Joshi R (2004) Automated generation of resource configurations through policies. In: 5th IEEE international workshop on policies for distributed systems and networks","DOI":"10.1109\/POLICY.2004.1309156"},{"key":"320_CR34","doi-asserted-by":"crossref","unstructured":"Sen S, Baudry B, Mottu JM (2008) On combining multi-formalism knowledge to select models for model transformation testing. In: Proceeding of the 1st international conference on software testing, verification, and validation, Lillehammer, pp 328\u2013337","DOI":"10.1109\/ICST.2008.62"},{"key":"320_CR35","doi-asserted-by":"crossref","unstructured":"Szatm\u00e1ri Z, K\u00f6vi A, Reitenspiess M (2008) Applying MDA approach for the SA forum platform. In: 2nd workshop on middleware-application interaction. ACM","DOI":"10.1145\/1394272.1394278"},{"key":"320_CR36","doi-asserted-by":"crossref","unstructured":"Turenne M, Kanso A, Gherbi A, Razzook S (2014) A tool chain for generating the description files of highly available software. In: Proceeding of the 29th international conference on automated software engineering, Vasteras, pp 867\u2013870","DOI":"10.1145\/2642937.2648626"},{"key":"320_CR37","doi-asserted-by":"crossref","unstructured":"Turenne M, Kanso A, Gherbi A, Barrett R (2014) Automatic generation of description files for highly available services. In: Proceeding of the 6th international workshop on software engineering for resilient systems, Budapest, pp 40\u201354","DOI":"10.1007\/978-3-319-12241-0_4"},{"key":"320_CR38","unstructured":"Varro D, Pataricza A (2003) Automated formal verification of model transformations. In: Proceeding of the UML\u201903 workshop, Number TUM-I0323 in Technical Report, Technische Universit\u00e4t M\u00fcnchen, pp 63\u201378"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-018-0320-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-018-0320-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-018-0320-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,13]],"date-time":"2019-12-13T19:17:37Z","timestamp":1576264657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-018-0320-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["320"],"URL":"https:\/\/doi.org\/10.1007\/s11334-018-0320-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2018,12]]},"assertion":[{"value":"2 December 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}