{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:10:39Z","timestamp":1766049039301},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003012"},{"type":"electronic","value":"9783030003029"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/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-030-00302-9_8","type":"book-chapter","created":{"date-parts":[[2018,9,6]],"date-time":"2018-09-06T18:06:10Z","timestamp":1536257170000},"page":"216-244","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour"],"prefix":"10.1007","author":[{"given":"Tony","family":"Clark","sequence":"first","affiliation":[]},{"given":"Vinay","family":"Kulkarni","sequence":"additional","affiliation":[]},{"given":"Souvik","family":"Barat","sequence":"additional","affiliation":[]},{"given":"Balbir","family":"Barn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,7]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ager, M.S., Biernacki, D., Danvy, O., Midtgaard, J.: A functional correspondence between evaluators and abstract machines. In: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, pp. 8\u201319. ACM (2003)","DOI":"10.1145\/888251.888254"},{"key":"8_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, USA (1986)"},{"key":"8_CR3","unstructured":"Allen, J.: Effective Akka. O\u2019Reilly Media Inc. (2013)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bharat, S., Kulkarni, V., Clark, T., Barn, B.: A simulation-based aid for organisational decision-making. In: Maciaszek, L.A., Cardoso, J.S., Ludwig, A., van Sinderen, M., Cabello, E. (eds.) Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016), ICSOFT-PT, Lisbon, Portugal, 24\u201326 July 2016, vol. 2, pp. 109\u2013116. SciTePress (2016)","DOI":"10.5220\/0005992401090116"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 44\u201357. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24622-0_5"},{"key":"8_CR6","unstructured":"Bulling, N., Dastani, M., Knobbout, M.: Monitoring norm violations in multi-agent systems. In Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, pp. 491\u2013498. International Foundation for Autonomous Agents and Multiagent Systems (2013)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Cahn, A., Hoyos, J., Hulse, M., Keller, E.: Software-defined energy communication networks: from substation automation to future smart grids. In: 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm), pp. 558\u2013563. IEEE (2013)","DOI":"10.1109\/SmartGridComm.2013.6688017"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-23820-3_3","volume-title":"Runtime Verification","author":"I Cassar","year":"2015","unstructured":"Cassar, I., Francalanza, A.: Runtime adaptation for actor systems. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 38\u201354. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_3"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-33693-0_12","volume-title":"Integrated Formal Methods","author":"I Cassar","year":"2016","unstructured":"Cassar, I., Francalanza, A.: On implementing a monitor-oriented programming framework for actor systems. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 176\u2013192. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33693-0_12"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: MOP: an efficient and generic runtime verification framework. In: ACM SIGPLAN Notices, vol. 42, pp. 569\u2013588. ACM (2007)","DOI":"10.1145\/1297105.1297069"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-29860-8_29","volume-title":"Runtime Verification","author":"C Colombo","year":"2012","unstructured":"Colombo, C., Francalanza, A., Gatt, R.: Elarva: a monitoring tool for Erlang. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 370\u2013374. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_29"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S.: Hope for the best, prepare for the worst: multi-tier control for adaptive systems. In: Proceedings of the 36th International Conference on Software Engineering, pp. 688\u2013699. ACM (2014)","DOI":"10.1145\/2568225.2568264"},{"issue":"10","key":"8_CR13","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1002\/spe.4380221005","volume":"22","author":"PS Dodd","year":"1992","unstructured":"Dodd, P.S., Ravishankar, C.H.: Monitoring and debugging distributed real-time programs. Softw., Pract. Exper. 22(10), 863\u2013877 (1992)","journal-title":"Softw., Pract. Exper."},{"key":"8_CR14","unstructured":"Fotrousi, F., Fricker, S.A.: QoE probe: a requirement-monitoring tool. In: REFSQ Workshops (2016)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-662-49630-5_9","volume-title":"Foundations of Software Science and Computation Structures","author":"A Francalanza","year":"2016","unstructured":"Francalanza, A.: A theory of monitors. In: Jacobs, B., L\u00f6ding, C. (eds.) FoSSaCS 2016. LNCS, vol. 9634, pp. 145\u2013161. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49630-5_9"},{"key":"8_CR16","unstructured":"Goodloe, A.E., Pike, L.: Monitoring distributed real-time systems: a survey and future directions (2010)"},{"issue":"2","key":"8_CR17","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala Actors: unifying thread-based and event-based programming. Theoret. Comput. Sci. 410(2), 202\u2013220 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Havelund","year":"2002","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing monitors for safety properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 342\u2013356. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_24"},{"issue":"11","key":"8_CR19","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1089\/tmj.2014.0025","volume":"20","author":"J Juen","year":"2014","unstructured":"Juen, J., Cheng, Q., Prieto-Centurion, V., Krishnan, J.A., Schatz, B.: Health monitors for chronic disease by gait analysis with mobile phones. Telemed. e-Health 20(11), 1035\u20131041 (2014)","journal-title":"Telemed. e-Health"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Kulkarni, V., Barat, S., Clark, T., Barn, B.: Toward overcoming accidental complexity in organisational decision-making. In: 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, 30 September\u20132 October 2015, pp. 368\u2013377 (2015)","DOI":"10.1109\/MODELS.2015.7338268"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"M\u00fcller, H., Bosse, S., Wirth, M., Turowski, K.: Collaborative software performance engineering for enterprise applications. In: Proceedings of the 50th Hawaii International Conference on System Sciences (2017)","DOI":"10.24251\/HICSS.2017.047"},{"key":"8_CR22","unstructured":"Pradella, M., San Pietro, P., Spoletini, P., Morzenti, A.: Practical model checking of LTL with past. In: ATVA03: 1st Workshop on Automated Technology for Verification and Analysis (2003)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-14107-2_19","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"L Renggli","year":"2010","unstructured":"Renggli, L., G\u00eerba, T., Nierstrasz, O.: Embedding languages without breaking tools. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 380\u2013404. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14107-2_19"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-89247-2_4","volume-title":"Runtime Verification","author":"G Ro\u015fu","year":"2008","unstructured":"Ro\u015fu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties: this time with calls and returns. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 51\u201368. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89247-2_4"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of the 26th International Conference on Software Engineering, pp. 418\u2013427. IEEE Computer Society (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"issue":"4","key":"8_CR26","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.entcs.2006.02.006","volume":"144","author":"O Sokolsky","year":"2006","unstructured":"Sokolsky, O., Sammapun, U., Lee, I., Kim, J.: Run-time checking of dynamic properties. Electron. Notes Theoret. Comput. Sci. 144(4), 91\u2013108 (2006)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: isolation-typed actors for Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 104\u2013128. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70592-5_6"},{"key":"8_CR28","unstructured":"Yasutake, S., Watanabe, T.: Actario: a framework for reasoning about actor systems. In: Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE) (2015)"}],"container-title":["Lecture Notes in Computer Science","Programming with Actors"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00302-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T03:44:17Z","timestamp":1604893457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00302-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003012","9783030003029"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00302-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}