{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:10:09Z","timestamp":1751659809115,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924076"},{"type":"electronic","value":"9783319924083"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-92408-3_9","type":"book-chapter","created":{"date-parts":[[2018,5,26]],"date-time":"2018-05-26T17:08:42Z","timestamp":1527354522000},"page":"200-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Distributed Coordination Runtime Assertions for the Peer Model"],"prefix":"10.1007","author":[{"given":"eva","family":"K\u00fchn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie Therese","family":"Radschek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nahla","family":"Elaraby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11916246_1","volume-title":"Rigorous Development of Complex Fault-Tolerant Systems","author":"J-R Abrial","year":"2006","unstructured":"Abrial, J.-R.: Train systems. In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS, vol. 4157, pp. 1\u201336. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11916246_1"},{"key":"9_CR2","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"GA Agha","year":"1990","unstructured":"Agha, G.A.: ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1990)"},{"issue":"3","key":"9_CR3","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."},{"issue":"2","key":"9_CR4","first-page":"14:1","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(2), 14:1\u201314:64 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"doi-asserted-by":"crossref","unstructured":"Chao, H., Li, H., Song, X., Wang, T., Li, X.: On evaluating and constraining assertions using conflicts in absent scenarios. In: 26th IEEE Asian Test Symposium, ATS 2017, Taipei City, Taiwan, 27\u201330 November 2017, pp. 195\u2013200 (2017)","key":"9_CR5","DOI":"10.1109\/ATS.2017.45"},{"doi-asserted-by":"crossref","unstructured":"Din, C.C., Owe, O., Bubel, R.: Runtime assertion checking and theorem proving for concurrent and distributed systems. In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7\u20139 January 2014, pp. 480\u2013487 (2014)","key":"9_CR6","DOI":"10.5220\/0004877804800487"},{"doi-asserted-by":"crossref","unstructured":"El-Hokayem, A., Falcone, Y.: Monitoring decentralized specifications. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, pp. 125\u2013135. ACM (2017)","key":"9_CR7","DOI":"10.1145\/3092703.3092723"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10270-013-0323-y","volume":"14","author":"Y Falcone","year":"2015","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems in the bip framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1), 173\u2013199 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"9_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0164-1212(99)00019-9","volume":"47","author":"RA Faruk Polat","year":"1999","unstructured":"Faruk Polat, R.A.: A multi-agent tuple-space based problem solving framework. J. Syst. Softw. 47(5), 11\u201317 (1999)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"9_CR10","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)"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/129630.376083","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM (CACM) 35(2), 96\u2013107 (1992)","journal-title":"Commun. ACM (CACM)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-319-47846-3_19","volume-title":"Formal Methods and Software Engineering","author":"E Kamburjan","year":"2016","unstructured":"Kamburjan, E., Din, C.C., Chen, T.-C.: Session-based compositional analysis for actor-based languages using futures. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 296\u2013312. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47846-3_19"},{"doi-asserted-by":"crossref","unstructured":"Kasuya, A., Tesfaye, T.: Verification methodologies in a TLM-to-RTL design flow. In: DAC 2007, pp. 199\u2013204. ACM (2007)","key":"9_CR13","DOI":"10.1109\/DAC.2007.375152"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-68265-3_11","volume-title":"Coordination Models and Languages","author":"R Khosravi","year":"2008","unstructured":"Khosravi, R., Sirjani, M., Asoudeh, N., Sahebi, S., Iravanchi, H.: Modeling and analysis of Reo connectors using alloy. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 169\u2013183. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68265-3_11"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1740001-1","DOI":"10.1142\/S0218843017400019","volume":"25","author":"E K\u00fchn","year":"2016","unstructured":"K\u00fchn, E.: Reusable coordination components: reliable development of cooperative information systems. Int. J. Coop. Inf. Syst. 25(4), 1740001-1\u20131740001-32 (2016)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-319-68972-2_8","volume-title":"Fundamentals of Software Engineering","author":"E K\u00fchn","year":"2017","unstructured":"K\u00fchn, E.: Flexible transactional coordination in the peer model. In: Dastani, M., Sirjani, M. (eds.) FSEN 2017. LNCS, vol. 10522, pp. 116\u2013131. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68972-2_8"},{"unstructured":"K\u00fchn, E., Mordinyi, R., Keszthelyi, L., Schreiber, C.: Introducing the concept of customizable structured spaces for agent coordination in the production automation domain. In: 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 625\u2013632. IFAAMAS (2009)","key":"9_CR17"},{"doi-asserted-by":"crossref","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: 2015 IEEE International Parallel and Distributed Processing Symposium, pp. 494\u2013503, May 2015","key":"9_CR18","DOI":"10.1109\/IPDPS.2015.95"},{"doi-asserted-by":"crossref","unstructured":"Newsham, Z., de Oliveira, A.B., Petkovich, J.C., Rehman, A.S.U., Tchamgoue, G.M., Fischmeister, S.: Intersert: assertions on distributed process interaction sessions. In: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) (2017)","key":"9_CR19","DOI":"10.1109\/QRS.2017.32"},{"unstructured":"Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, Technische Hochschule Darmstadt (1962)","key":"9_CR20"},{"doi-asserted-by":"crossref","unstructured":"Pham, L.H., Thi, L.L.T., Sun, J.: Assertion generation through active learning. In: 39th IEEE International Conference on Software Engineering Companion, pp. 155\u2013157. IEEE\/ACM (2017)","key":"9_CR21","DOI":"10.1109\/ICSE-C.2017.87"},{"unstructured":"Radschek, S.T.: A usable formal methods tool chain for safety critical concurrent systems design. Master\u2019s thesis, TU Wien (2018, submitted)","key":"9_CR22"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-41135-4_1","volume-title":"Tests and Proofs","author":"K Reichl","year":"2016","unstructured":"Reichl, K., Fischer, T., Tummeltshammer, P.: Using formal methods for verification and validation in railway. In: Aichernig, B.K.K., Furia, C.A.A. (eds.) TAP 2016. LNCS, vol. 9762, pp. 3\u201313. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41135-4_1"},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.infsof.2015.01.009","volume":"61","author":"T Scheller","year":"2015","unstructured":"Scheller, T., K\u00fchn, E.: Automated measurement of API usability: the API Concepts Framework. Inf. Softw. Technol. 61, 145\u2013162 (2015)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"Tjang, A., Oliveira, F., Martin, R.P., Nguyen, T.D.: A: an assertion language for distributed systems. In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006. ACM (2006)","key":"9_CR25","DOI":"10.1145\/1215995.1216003"},{"doi-asserted-by":"crossref","unstructured":"Wang, C., He, F., Song, X., Jiang, Y., Gu, M., Sun, J.: Assertion recommendation for formal program verification. In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, 4\u20138 July 2017, vol. 1, pp. 154\u2013159 (2017)","key":"9_CR26","DOI":"10.1109\/COMPSAC.2017.66"}],"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-92408-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T19:53:12Z","timestamp":1751658792000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92408-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924076","9783319924083"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92408-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"27 May 2018","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":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.discotec.org\/","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"}]}}