{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:46Z","timestamp":1750308706290,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1145\/2422518.2422522","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T12:58:22Z","timestamp":1357217902000},"page":"17-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Satisfying requirements for pervasive service compositions"],"prefix":"10.1145","author":[{"given":"Luca","family":"Cavallaro","sequence":"first","affiliation":[{"name":"LERO, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pete","family":"Sawyer","sequence":"additional","affiliation":[{"name":"Lancaster University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sykes","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nelly","family":"Bencomo","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.44"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2010.6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.22"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244801"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10383-4_11"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.31"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.12.002"},{"key":"e_1_3_2_1_9_1","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"van Lamsweerde A.","year":"2009","unstructured":"A. van Lamsweerde , Requirements Engineering: From System Goals to UML Models to Software Specifications . John Wiley & Sons , 2009 . A. van Lamsweerde, Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, 2009."},{"key":"e_1_3_2_1_10_1","volume-title":"Automatic Service Categorisation through Machine Learning in Emergent Middleware,\" in FMCO - Formal Methods for Components and Objects","author":"Bennaceur A.","year":"2011","unstructured":"A. Bennaceur , V. Issarny , R. Johansson , A. Moschitti , R. Spalazzese , and D. Sykes , \" Automatic Service Categorisation through Machine Learning in Emergent Middleware,\" in FMCO - Formal Methods for Components and Objects , 2011 . A. Bennaceur, V. Issarny, R. Johansson, A. Moschitti, R. Spalazzese, and D. Sykes, \"Automatic Service Categorisation through Machine Learning in Emergent Middleware,\" in FMCO - Formal Methods for Components and Objects, 2011."},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-642-18275-4_19","volume-title":"Model Checking, and Abstract Interpretation","author":"Howar F.","year":"2011","unstructured":"F. Howar , B. Steffen , and M. Merten , \" Automata learning with automated alphabet abstraction refinement,\" in Verification , Model Checking, and Abstract Interpretation , ser. Lecture Notes in Computer Science , R. Jhala and D. Schmidt, Eds. Springer Berlin \/ Heidelberg , 2011 , vol. 6538 , pp. 263 -- 277 . F. Howar, B. Steffen, and M. Merten, \"Automata learning with automated alphabet abstraction refinement,\" in Verification, Model Checking, and Abstract Interpretation, ser. Lecture Notes in Computer Science, R. Jhala and D. Schmidt, Eds. Springer Berlin \/ Heidelberg, 2011, vol. 6538, pp. 263--277."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2011.65"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.21"},{"key":"e_1_3_2_1_14_1","volume-title":"Towards an architecture for runtime interoperability,\" in ISoLA (2)","author":"Bennaceur A.","year":"2010","unstructured":"A. Bennaceur , G. S. Blair , F. Chauvel , G. Huang , N. Georgantas , P. Grace , F. Howar , P. Inverardi , V. Issarny , M. Paolucci , A. Pathak , R. Spalazzese , B. Steffen , and B. Souville , \" Towards an architecture for runtime interoperability,\" in ISoLA (2) , 2010 . A. Bennaceur, G. S. Blair, F. Chauvel, G. Huang, N. Georgantas, P. Grace, F. Howar, P. Inverardi, V. Issarny, M. Paolucci, A. Pathak, R. Spalazzese, B. Steffen, and B. Souville, \"Towards an architecture for runtime interoperability,\" in ISoLA (2), 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11678564_12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.37"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370020"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-012-0194-z"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810329"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.25"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0101-0"}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the 7th Workshop on Models@run.time"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2422518.2422522","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2422518.2422522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:02Z","timestamp":1750277642000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2422518.2422522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":22,"alternative-id":["10.1145\/2422518.2422522","10.1145\/2422518"],"URL":"https:\/\/doi.org\/10.1145\/2422518.2422522","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]},"assertion":[{"value":"2012-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}