{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:29Z","timestamp":1750221209568,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T00:00:00Z","timestamp":1536537600000},"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":[[2018,9,10]]},"DOI":"10.1145\/3236405.3236408","type":"proceedings-article","created":{"date-parts":[[2018,9,4]],"date-time":"2018-09-04T12:38:13Z","timestamp":1536064693000},"page":"11-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Modelling and analysis with featured modal contract automata"],"prefix":"10.1145","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[{"name":"University of Florence, Pisa, Italy"}]},{"given":"Maurice H. ter","family":"Beek","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}]}],"member":"320","published-online":{"date-parts":[[2018,9,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"volume-title":"Behavioural Contracts: A Brief Survey. In Programming Languages with Applications to Biology and Security (LNCS)","year":"2015","author":"Bartoletti M.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"Automata for Specifying and Orchestrating Service Contracts","volume":"12","author":"Basile D.","year":"2016","journal-title":"Log. Meth. Comput. Sci."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109760"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023965"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109741"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings 7th International Workshop on Formal Methods and Analysis for Software Product Line Engineering (FMSPLE'16)","volume":"206","author":"Beek M.H.","year":"2016"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_23"},{"volume":"61","volume-title":"Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems (WWV'11)","author":"Beek M.H.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_59"},{"volume":"8413","volume-title":"Proceedings 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)","author":"van Beek D.A.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2006.59"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983528"},{"key":"e_1_3_2_1_15_1","unstructured":"C.G. Cassandras and S. Lafortune. 2006. Introduction to Discrete Event Systems. Springer New York NY USA.   C.G. Cassandras and S. Lafortune. 2006. Introduction to Discrete Event Systems. Springer New York NY USA."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"volume-title":"Proceedings 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE'17)","author":"Cledou G.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_15"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"A. David et al. 2017. UPPAAL DBM Library. Retrieved Nov 1 2017 from http:\/\/people.cs.aau.dk\/~adavid\/UDBM\/  A. David et al. 2017. UPPAAL DBM Library. Retrieved Nov 1 2017 from http:\/\/people.cs.aau.dk\/~adavid\/UDBM\/","DOI":"10.5089\/9781475588262.001"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"D. Georgakopoulos and M.P. Papazoglou (Eds.). 2008. Service-oriented Computing. MIT Press Cambridge MA USA. https:\/\/mitpress.mit.edu\/books\/service-oriented-computing   D. Georgakopoulos and M.P. Papazoglou (Eds.). 2008. Service-oriented Computing. MIT Press Cambridge MA USA. https:\/\/mitpress.mit.edu\/books\/service-oriented-computing","DOI":"10.7551\/mitpress\/7431.001.0001"},{"volume-title":"Proceedings 2nd Workshop on Service-Oriented Architectures and Software Product Lines: Putting Both Together (SOAPL'08)","year":"2008","author":"G\u00fcnther S.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023963"},{"volume-title":"Clafer: Lightweight Modeling of Structure and Behavior with Variability.","year":"2016","author":"Juodisius P.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-015-0334-2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_35"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/645882.672254"},{"volume-title":"Proceedings 3rd Workshop on Service-Oriented Architectures and Software Product Lines: Enhancing Variation (SOAPL'09)","author":"Medeiros F.M.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"J. Meinicke T. Th\u00fcm R Schr\u00f6ter F. Benduhn T. Leich and G. Saake. 2017. Mastering Software Variability with FeatureIDE. Springer Cham Switzerland.   J. Meinicke T. Th\u00fcm R Schr\u00f6ter F. Benduhn T. Leich and G. Saake. 2017. Mastering Software Variability with FeatureIDE. Springer Cham Switzerland.","DOI":"10.1007\/978-3-319-61443-4"},{"key":"e_1_3_2_1_29_1","unstructured":"OASIS. 2007. Web Services Business Process Execution Language Version 2.0. Retrieved Nov 2 2017 from http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html  OASIS. 2007. Web Services Business Process Execution Language Version 2.0. Retrieved Nov 2 2017 from http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"volume-title":"Proceedings 1st Workshop on Service-Oriented Architectures and Software Product Lines: What is the Connection? (SOAPL'07)","year":"2008","author":"Raatikainen M.","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0020-3"}],"event":{"name":"SPLC '18: 22nd International Systems and Software Product Line Conference","acronym":"SPLC '18","location":"Gothenburg Sweden"},"container-title":["Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236405.3236408","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236405.3236408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:39Z","timestamp":1750210779000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236405.3236408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,10]]},"references-count":32,"alternative-id":["10.1145\/3236405.3236408","10.1145\/3236405"],"URL":"https:\/\/doi.org\/10.1145\/3236405.3236408","relation":{},"subject":[],"published":{"date-parts":[[2018,9,10]]},"assertion":[{"value":"2018-09-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}