{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:47Z","timestamp":1750306667867,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T00:00:00Z","timestamp":1401667200000},"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":[[2014,6,2]]},"DOI":"10.1145\/2593770.2593777","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"25-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Coordination of software components with BIP: application to OSGi"],"prefix":"10.1145","author":[{"given":"Simon","family":"Bliudze","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anastasia","family":"Mavridou","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radoslaw","family":"Szymanek","sequence":"additional","affiliation":[{"name":"Crossing-Tech, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alina","family":"Zolotukhina","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","first-page":"426","volume-title":"Application and Theory of Petri Nets","author":"Aalst W.","year":"1997","unstructured":"W. Aalst . Verification of workflow nets . In P. Az\u00e9ma and G. Balbo, editors, Application and Theory of Petri Nets 1997 , volume 1248 of Lecture Notes in Computer Science , pages 407\u2013 426 . Springer, 1997. W. Aalst. Verification of workflow nets. In P. Az\u00e9ma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407\u2013426. Springer, 1997."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . Actors: a model of concurrent computation in distributed systems . MIT Press , MA , USA, 1986 . G. Agha. Actors: a model of concurrent computation in distributed systems. MIT Press, MA, USA, 1986."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_30"},{"key":"e_1_3_2_1_8_1","volume-title":"On behavioral types for OSGi: From theory to implementation. CoRR, abs\/1306.6115","author":"Blech J. O.","year":"2013","unstructured":"J. O. Blech , H. Rue\u00df , and B. Sch\u00e4tz . On behavioral types for OSGi: From theory to implementation. CoRR, abs\/1306.6115 , 2013 . J. O. Blech, H. Rue\u00df, and B. Sch\u00e4tz. On behavioral types for OSGi: From theory to implementation. CoRR, abs\/1306.6115, 2013."},{"key":"e_1_3_2_1_9_1","volume-title":"Integration of BIP into Connectivity Factory: Implementation. Technical report","author":"Bliudze S.","year":"2013","unstructured":"S. Bliudze , A. Mavridou , R. Szymanek , and A. Zolotukhina . Integration of BIP into Connectivity Factory: Implementation. Technical report , 2013 . https:\/\/infoscience.epfl.ch\/record\/196996. S. Bliudze, A. Mavridou, R. Szymanek, and A. Zolotukhina. Integration of BIP into Connectivity Factory: Implementation. Technical report, 2013. https:\/\/infoscience.epfl.ch\/record\/196996."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.26"},{"key":"e_1_3_2_1_11_1","first-page":"67","volume-title":"Software Composition, LNCS","author":"Bliudze S.","year":"2011","unstructured":"S. Bliudze and J. Sifakis . Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems . In S. Apel and E. Jackson, editors, Software Composition, LNCS , pages 51\u2013 67 , Berlin \/ Heidelberg, 2011 . Springer . S. Bliudze and J. Sifakis. Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. In S. Apel and E. Jackson, editors, Software Composition, LNCS, pages 51\u201367, Berlin \/ Heidelberg, 2011. Springer."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_14_1","volume-title":"Java reflection in action","author":"Forman I. R.","year":"2004","unstructured":"I. R. Forman , N. Forman , D. J. V. Ibm , I. R. Forman , and N. Forman . Java reflection in action , 2004 . I. R. Forman, N. Forman, D. J. V. Ibm, I. R. Forman, and N. Forman. Java reflection in action, 2004."},{"key":"e_1_3_2_1_15_1","volume-title":"Community experience distilled","author":"Gupta M.","year":"2012","unstructured":"M. Gupta . Akka Essentials . Community experience distilled . Packt Publishing , 2012 . M. Gupta. Akka Essentials. Community experience distilled. Packt Publishing, 2012."},{"key":"e_1_3_2_1_16_1","volume-title":"Concurrent Programming in Java: Design Principles and Patterns","author":"Lea D.","year":"1999","unstructured":"D. Lea . Concurrent Programming in Java: Design Principles and Patterns . Addison-Wesley , 1999 . D. Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison-Wesley, 1999."},{"key":"e_1_3_2_1_17_1","volume-title":"INRIA","author":"Mekontso Tchinda H. A.","year":"2011","unstructured":"H. A. Mekontso Tchinda , N. Stouls , and J. Ponge . Sp\u00e9cification et substitution de services OSGi. Rapport de recherche RR-7733 , INRIA , Sept. 2011 . H. A. Mekontso Tchinda, N. Stouls, and J. Ponge. Sp\u00e9cification et substitution de services OSGi. Rapport de recherche RR-7733, INRIA, Sept. 2011."},{"key":"e_1_3_2_1_18_1","volume-title":"Apr.","author":"Alliance Gi","year":"2007","unstructured":"OS Gi Alliance . OSGi service Platform Core Specification , Apr. 2007 . Release 4, Version 4.15. OSGi Alliance. OSGi service Platform Core Specification, Apr. 2007. Release 4, Version 4.15."},{"key":"e_1_3_2_1_19_1","unstructured":"OSGi Alliance. Coordinator service http:\/\/www.osgi.org\/javadoc\/r5\/enterprise\/org\/ osgi\/service\/coordinator\/Coordinator.html. (Accessed on 18\/02\/2014.).  OSGi Alliance. Coordinator service http:\/\/www.osgi.org\/javadoc\/r5\/enterprise\/org\/ osgi\/service\/coordinator\/Coordinator.html. (Accessed on 18\/02\/2014.)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.32"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 6th International Workshop on Modeling in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593770.2593777","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593770.2593777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:44Z","timestamp":1750230044000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593770.2593777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":20,"alternative-id":["10.1145\/2593770.2593777","10.1145\/2593770"],"URL":"https:\/\/doi.org\/10.1145\/2593770.2593777","relation":{},"subject":[],"published":{"date-parts":[[2014,6,2]]},"assertion":[{"value":"2014-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}