{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:54:09Z","timestamp":1743094449050,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319597454"},{"type":"electronic","value":"9783319597461"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59746-1_5","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T15:56:23Z","timestamp":1495814183000},"page":"78-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Development Tools for Rule-Based Coordination Programming in LINC"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Louvel","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Pacull","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[]},{"given":"Adja Ndeye","family":"Sylla","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,27]]},"reference":[{"key":"5_CR1","first-page":"1","volume":"1122","author":"F Arbab","year":"1998","unstructured":"Arbab, F.: What do you mean, coordination. Bull. Dutch Assoc. Theor. Comput. Sci. NVTI 1122, 1\u201318 (1998)","journal-title":"Bull. Dutch Assoc. Theor. Comput. Sci. NVTI"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45523-X_2","volume-title":"Multiset Processing","author":"J-P Ban\u0103tre","year":"2001","unstructured":"Ban\u0103tre, J.-P., Fradet, P., M\u00e9tayer, D.: Gamma and the chemical reaction model: fifteen years after. In: Calude, C.S., P\u0102un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2000. LNCS, vol. 2235, pp. 17\u201344. Springer, Heidelberg (2001). doi:10.1007\/3-540-45523-X_2"},{"key":"5_CR4","volume-title":"Concurrency Control and Recovery in Database Systems","author":"PA Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems, vol. 370. Addison-Wesley, New York (1987)"},{"issue":"4","key":"5_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/4236.865084","volume":"4","author":"G Cabri","year":"2000","unstructured":"Cabri, G., Leonardi, L., Zambonelli, F.: Mars: a programmable coordination architecture for mobile agents. IEEE Internet Comput. 4(4), 26\u201335 (2000)","journal-title":"IEEE Internet Comput."},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-662-43376-8_3","volume-title":"Coordination Models and Languages","author":"J Cano","year":"2014","unstructured":"Cano, J., Delaval, G., Rutten, E.: Coordination of ECA rules by verification and control. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 33\u201348. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-43376-8_3"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Commun. ACM 32, 444\u2013458 (1989)","journal-title":"Commun. ACM"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-07425-2_20","volume-title":"Ad-hoc, Mobile, and Wireless Networks","author":"J Collins","year":"2014","unstructured":"Collins, J., Bagrodia, R.: Mobile application development with MELON. In: Guo, S., Lloret, J., Manzoni, P., Ruehrup, S. (eds.) ADHOC-NOW 2014. LNCS, vol. 8487, pp. 265\u2013278. Springer, Cham (2014). doi:10.1007\/978-3-319-07425-2_20"},{"key":"5_CR9","volume-title":"Rule-based Programming with OPS5","author":"T Cooper","year":"1988","unstructured":"Cooper, T., Wogrin, N.: Rule-based Programming with OPS5, vol. 988. Morgan Kaufmann, San Fransisco (1988)"},{"doi-asserted-by":"crossref","unstructured":"Costa, P., Mottola, L., Murphy, A.L., Picco, G.P.: Teenylime: transiently shared tuple space middleware for wireless sensor networks. In: Proceedings of the International Workshop on Middleware for Sensor Networks, pp. 43\u201348. ACM (2006)","key":"5_CR10","DOI":"10.1145\/1176866.1176874"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/1755951.1755898","volume":"45","author":"G Delaval","year":"2010","unstructured":"Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. SIGPLAN Not. 45(4), 57\u201366 (2010)","journal-title":"SIGPLAN Not."},{"issue":"Ice","key":"5_CR12","first-page":"3","volume":"86","author":"K Dokter","year":"2016","unstructured":"Dokter, K., Jongmans, S.-S., Arbab, F., Bliudze, S.: Combine and conquer: relating BIP and Reo. J. Logical Algebr. Methods Program. 86(Ice), 3\u201320 (2016)","journal-title":"J. Logical Algebr. Methods Program."},{"doi-asserted-by":"crossref","unstructured":"Ducreux, L.F., Guyon-Gardeux, C., Louvel, M., Pacull, F., Thior, S.R., Vergara-Gallego, M.I.: Rapid prototyping of complete systems, the case study of a smart parking. In: 2015 International Symposium on Rapid System Prototyping (RSP), vol. 2016, February, pp. 133\u2013139, Amsterdam (2015)","key":"5_CR13","DOI":"10.1109\/RSP.2015.7416558"},{"doi-asserted-by":"crossref","unstructured":"Boutin, V., et al.: Energy optimisation using analytics and coordination, the example of lifts. In 19th IEEE Conference on Emerging Technologies and Factory Automation (2014)","key":"5_CR14","DOI":"10.1109\/ETFA.2014.7005132"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.future.2013.12.023","volume":"35","author":"H Fernandez","year":"2014","unstructured":"Fernandez, H., Tedeschi, C., Priol, T.: Rule-driven service coordination middleware for scientific applications. Future Gener. Comput. Syst. 35, 1\u201313 (2014)","journal-title":"Future Gener. Comput. Syst."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-662-49498-1_13","volume-title":"Programming Languages and Systems","author":"T Garnock-Jones","year":"2016","unstructured":"Garnock-Jones, T., Felleisen, M.: Coordinated concurrent programming in syndicate. In: Thiemann, P. (ed.) ESOP 2016. LNCS, vol. 9632, pp. 310\u2013336. Springer, Heidelberg (2016). doi:10.1007\/978-3-662-49498-1_13"},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. (TOPLAS) 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-642-38493-6_6","volume-title":"Coordination Models and Languages","author":"SMK Gueye","year":"2013","unstructured":"Gueye, S.M.K., Palma, N., Rutten, E.: Component-based autonomic managers for coordination control. In: Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 75\u201389. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38493-6_6"},{"issue":"5","key":"5_CR19","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1109\/TSE.2006.47","volume":"32","author":"C Julien","year":"2006","unstructured":"Julien, C., Roman, G.-C.: Egospaces: facilitating rapid development of context-aware mobile applications. IEEE Trans. Softw. Eng. 32(5), 281\u2013298 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"5_CR20","doi-asserted-by":"publisher","first-page":"1740001","DOI":"10.1142\/S0218843017400019","volume":"25","author":"E K\u00fchn","year":"2017","unstructured":"K\u00fchn, E.: Reusable coordination components: reliable development of cooperative information systems. Int. Jo. Cooper. Inf. Syst. 25(4), 1740001 (2017)","journal-title":"Int. Jo. Cooper. Inf. Syst."},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-38493-6_9","volume-title":"Coordination Models and Languages","author":"E K\u00fchn","year":"2013","unstructured":"K\u00fchn, E., Cra\u00df, S., Joskowicz, G., Marek, A., Scheller, T.: Peer-based programming model for coordination patterns. In: Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 121\u2013135. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38493-6_9"},{"unstructured":"Kuhn, E., Riemer, J., Mordinyi, R., Lechner, L.: Integration of XVSM spaces with the web to meet the challenging interaction demands in pervasive scenarios. Ubiquit. Comput. Commun. J. CPE, 20\u201331 (2008). SI (Special issue of Coordination in Pervasive Environments)","key":"5_CR22"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-662-43376-8_6","volume-title":"Coordination Models and Languages","author":"M Louvel","year":"2014","unstructured":"Louvel, M., Pacull, F.: LINC: a compact yet powerful coordination environment. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 83\u201398. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-43376-8_6"},{"doi-asserted-by":"crossref","unstructured":"Louvel, M., Pacull, F., Vergara-Gallego, M.I.: Coordination scheme editor for building management systems. In: IECON 2016 42nd Annual Conference of the IEEE, pp. 7052\u20137057. IEEE (2016)","key":"5_CR24","DOI":"10.1109\/IECON.2016.7793354"},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1538942.1538945","volume":"18","author":"M Mamei","year":"2009","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4), 15 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-45343-4_11","volume-title":"Engineering Multi-Agent Systems","author":"A Molesini","year":"2013","unstructured":"Molesini, A., Omicini, A., Viroli, M., Zambonelli, F.: Engineering pervasive multiagent systems in SAPERE. In: Cossentino, M., Fallah Seghrouchni, A., Winikoff, M. (eds.) EMAS 2013. LNCS, vol. 8245, pp. 196\u2013214. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-45343-4_11"},{"issue":"3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"AL Murphy","year":"2006","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime: a coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. 15(3), 279\u2013328 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"01","key":"5_CR28","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S026988891000041X","volume":"26","author":"A Omicini","year":"2011","unstructured":"Omicini, A., Viroli, M.: Coordination models and languages: from parallel computing to self-organisation. Knowl. Eng. Rev. 26(01), 53\u201359 (2011)","journal-title":"Knowl. Eng. Rev."},{"unstructured":"Omicini, A., Zambonelli, F.: TuCSon: a coordination model for mobile information agents. In: Proceedings of the 1st Workshop on Innovative Internet Information Systems, vol. 138 (1998)","key":"5_CR29"},{"issue":"3","key":"5_CR30","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for internet application development. Auton. Agents Multiagent Syst. 2(3), 251\u2013269 (1999)","journal-title":"Auton. Agents Multiagent Syst."},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"GA Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Adv. Comput. 46, 329\u2013400 (1998)","journal-title":"Adv. Comput."},{"issue":"3","key":"5_CR32","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1057\/jos.2012.27","volume":"7","author":"D Pianini","year":"2013","unstructured":"Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with alchemist. J. Simul. 7(3), 202\u2013215 (2013)","journal-title":"J. Simul."},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA a low level analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 465\u2013474. Springer, Heidelberg (2000). doi:10.1007\/3-540-44988-4_27"},{"unstructured":"Sylla, A.N., Louvel, M., Pacull, F.: Coordination rules generation from coloured petri net models. In: PNSE@ Petri Nets, pp. 325\u2013326 (2015)","key":"5_CR34"},{"doi-asserted-by":"crossref","unstructured":"Sylla, A.N., Louvel, M., Rutten, E.: Combining transactional and behavioural reliability in adaptive middleware. In: Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, p. 5. ACM (2016)","key":"5_CR35","DOI":"10.1145\/3008167.3008172"},{"unstructured":"Vergara-Gallego, M.I., Mokrenko, O., Louvel, M., Lesecq, S., Pacull, F.: Implementation of an energy management control strategy for WSNs using the LINC middleware. In: Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, pp. 53\u201358 (2016)","key":"5_CR36"},{"issue":"2","key":"5_CR37","first-page":"14:1","volume":"6","author":"M Viroli","year":"2011","unstructured":"Viroli, M., Casadei, M., Montagna, S., Zambonelli, F.: Spatial coordination of pervasive services through chemical-inspired tuple spaces. CM Trans. Auton. Adapt. Syst. 6(2), 14:1\u201314:24 (2011)","journal-title":"CM Trans. Auton. Adapt. Syst."},{"issue":"2","key":"5_CR38","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.entcs.2006.10.049","volume":"180","author":"M Viroli","year":"2007","unstructured":"Viroli, M., Omicini, A.: Respect nets: towards an analysis methodology for respect specifications. Electron. Notes Theor. Comput. Sci. 180(2), 123\u2013144 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59746-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:57:16Z","timestamp":1618973836000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59746-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319597454","9783319597461"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59746-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"27 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Neuch\u00e2tel","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2017.discotec.org\/calls\/coordination-2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}