{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:14:21Z","timestamp":1725974061176},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900889"},{"type":"electronic","value":"9783319900896"}],"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-319-90089-6_13","type":"book-chapter","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:37:52Z","timestamp":1525379872000},"page":"189-207","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Soft Agents to Soft Component Automata and Back"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Talcott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,7]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-46000-4_6","volume-title":"Coordination Models and Languages","author":"F Arbab","year":"2002","unstructured":"Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 22\u201339. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46000-4_6"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-38230-7_8","volume-title":"Web Services and Formal Methods","author":"F Arbab","year":"2013","unstructured":"Arbab, F., Santini, F.: Preference and similarity-based behavioral discovery of services. In: ter Beek, M.H., Lohmann, N. (eds.) WS-FM 2012. LNCS, vol. 7843, pp. 118\u2013133. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38230-7_8"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-16310-4_14","volume-title":"Rewriting Logic and Its Applications","author":"K Bae","year":"2010","unstructured":"Bae, K., Meseguer, J.: The linear temporal logic of rewriting Maude model checker. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol. 6381, pp. 208\u2013225. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16310-4_14"},{"key":"13_CR4","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/b95712","volume-title":"Semirings for Soft Constraint Solving and Programming","author":"S Bistarelli","year":"2004","unstructured":"Bistarelli, S.: Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/b95712"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-57666-4_9","volume-title":"Formal Aspects of Component Software","author":"S Bistarelli","year":"2017","unstructured":"Bistarelli, S., Martinelli, F., Matteucci, I., Santini, F.: A formal and run-time framework for the adaptation of local behaviours to match a global property. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 134\u2013152. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57666-4_9"},{"key":"13_CR6","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Constraint solving over semirings. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 624\u2013630 (1995)"},{"issue":"2","key":"13_CR7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"13_CR8","unstructured":"Why BNSF railway is using drones to inspect thousands of miles of rail lines. http:\/\/fortune.com\/2015\/05\/29\/bnsf-drone-program\/ . Accessed 11 Mar 2016"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Choi, J.S., McCarthy, T., Yadav, M., Kim, M., Talcott, C., Gressier-Soudan, E.: Application patterns for cyber-physical systems. In: IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, pp. 52\u201359 (2013)","DOI":"10.1109\/CPSNA.2013.6614246"},{"key":"13_CR10","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-319-11569-6_43","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"J-S Choi","year":"2014","unstructured":"Choi, J.-S., McCarthy, T., Kim, M., Stehr, M.-O.: Adaptive wireless networks as an example of declarative fractionated systems. In: Stojmenovic, I., Cheng, Z., Guo, S. (eds.) MindCare 2014. LNICST, vol. 131, pp. 549\u2013563. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11569-6_43"},{"key":"13_CR11","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude: A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude: A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Das, J., Cross, G., Qu, C., Makineni, A., Tokekar, P., Mulgaonkar, Y., Kumar, V.: Devices, systems, and methods for automated monitoring enabling precision agriculture. In: IEEE International Conference on Automation Science and Engineering (2015)","DOI":"10.1109\/CoASE.2015.7294123"},{"issue":"1\u20132","key":"13_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R Debouk","year":"2000","unstructured":"Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discret. Event Dyn. Syst. 10(1\u20132), 33\u201386 (2000)","journal-title":"Discret. Event Dyn. Syst."},{"key":"13_CR14","unstructured":"Autonomous Taxi Drones. https:\/\/www.forbes.com\/sites\/parmyolson\/2017\/02\/14\/dubai-autonomous-taxi-drones-ehang\/#54543d934702 . Accessed 11 Mar 2017"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-45114-0_6","volume-title":"Advances in Artificial Intelligence and Its Applications","author":"F Gadducci","year":"2013","unstructured":"Gadducci, F., H\u00f6lzl, M., Monreale, G.V., Wirsing, M.: Soft constraints for lexicographic orders. In: Castro, F., Gelbukh, A., Gonz\u00e1lez, M. (eds.) MICAI 2013. LNCS (LNAI), vol. 8265, pp. 68\u201379. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45114-0_6"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Goessler, G., Astefanoaei, L.: Blaming in component-based real-time systems. In: International Conference on Embedded Software, EMSOFT 2014, pp. 7:1\u20137:10 (2014)","DOI":"10.1145\/2656045.2656048"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-319-28766-9_6","volume-title":"Trustworthy Global Computing","author":"G G\u00f6ssler","year":"2016","unstructured":"G\u00f6ssler, G., Stefani, J.-B.: Fault ascription in concurrent systems. In: Ganty, P., Loreti, M. (eds.) TGC 2015. LNCS, vol. 9533, pp. 79\u201394. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28766-9_6"},{"key":"13_CR18","unstructured":"H\u00f6lzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? In: Seventh International Workshop on Rewriting Logic and Its Applications (WRLA\u20192008). Electronic Notes in Theoretical Computer Science. Elsevier (2008)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241\u2013261. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24933-4_12"},{"issue":"3","key":"13_CR20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.entcs.2009.05.020","volume":"238","author":"MM H\u00f6lzl","year":"2009","unstructured":"H\u00f6lzl, M.M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? Electr. Notes Theoret. Comput. Sci. 238(3), 189\u2013205 (2009)","journal-title":"Electr. Notes Theoret. Comput. Sci."},{"key":"13_CR21","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/j.scico.2017.03.006","volume":"146","author":"ST Jongmans","year":"2017","unstructured":"Jongmans, S.T., Kapp\u00e9, T., Arbab, F.: Constraint automata with memory cells and their composition. Sci. Comput. Program. 146, 50\u201386 (2017)","journal-title":"Sci. Comput. Program."},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Kapp\u00e9, T., Arbab, F., Talcott, C.L.: A compositional framework for preference-aware agents. In: Proceedings of Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS), pp. 21\u201335 (2016)","DOI":"10.4204\/EPTCS.232.6"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-68034-7_2","volume-title":"Formal Aspects of Component Software","author":"T Kapp\u00e9","year":"2017","unstructured":"Kapp\u00e9, T., Arbab, F., Talcott, C.: A component-oriented framework for autonomous agents. In: Proen\u00e7a, J., Lumpe, M. (eds.) FACS 2017. LNCS, vol. 10487, pp. 20\u201338. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68034-7_2"},{"key":"13_CR24","unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. In: Fundamentals of Collective Adaptive Systems. European Commission (2009)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-29320-7_13","volume-title":"Fundamentals of Software Engineering","author":"M Kim","year":"2012","unstructured":"Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 190\u2013205. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29320-7_13"},{"issue":"12","key":"13_CR26","doi-asserted-by":"crossref","first-page":"2453","DOI":"10.1016\/j.scico.2013.01.011","volume":"78","author":"M Kim","year":"2013","unstructured":"Kim, M., Stehr, M.O., Talcott, C.L.: A distributed logic for networked cyber-physical systems. Sci. Comput. Program. 78(12), 2453\u20132467 (2013)","journal-title":"Sci. Comput. Program."},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Vijay Kumar Lab. http:\/\/www.kumarrobotics.org\/ . Accessed 11 Mar 2016","DOI":"10.1007\/978-81-322-2553-9_2"},{"key":"13_CR28","unstructured":"Robots that Fly and Cooperate (2015). TED talk: https:\/\/www.ted.com\/talks\/vijay_kumar_robots_that_fly_and_cooperate?language=en . Accessed 07 Mar 2016"},{"key":"13_CR29","unstructured":"Liquid Robotics. http:\/\/liquidr.com . Accessed 11 Mar 2016"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-34096-8_4","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"M Loreti","year":"2016","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 83\u2013119. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_4"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Mason, I.A., Talcott, C.L.: IOP: the InterOperability platform & IMaude: an interactive extension of Maude. In: Fifth International Workshop on Rewriting Logic and Its Applications (WRLA\u20192004). Electronic Notes in Theoretical Computer Science. Elsevier (2004)","DOI":"10.1016\/j.entcs.2004.06.016"},{"key":"13_CR32","unstructured":"The Maude System. http:\/\/maude.cs.uiuc.edu . Accessed 15 Nov 2014"},{"issue":"1","key":"13_CR33","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Neidig, J., Lunze, J.: Decentralised diagnosis of automata networks. In: IFAC Proceedings, vol. 38, no. 1, pp. 400\u2013405 (2005)","DOI":"10.3182\/20050703-6-CZ-1902.01869"},{"issue":"1\u20132","key":"13_CR35","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"PC \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of real-time Maude. High.-Order Symb. Comput. 20(1\u20132), 161\u2013196 (2007)","journal-title":"High.-Order Symb. Comput."},{"key":"13_CR36","unstructured":"Invetory Robotics. http:\/\/www.pinc.com\/inventory-robotics-cycle-counting-drones . Accessed 11 Apr 2017"},{"issue":"2","key":"13_CR37","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4(2), 105\u2013124 (1996)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"13_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-642-54624-2_20","volume-title":"Specification, Algebra, and Software","author":"M-O Stehr","year":"2014","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 402\u2013433. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_20"},{"key":"13_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-24933-4_7","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M-O Stehr","year":"2011","unstructured":"Stehr, M.-O., Talcott, C., Rushby, J., Lincoln, P., Kim, M., Cheung, S., Poggio, A.: Fractionated software for networked cyber-physical systems: research directions and long-term vision. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 110\u2013143. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24933-4_7"},{"key":"13_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-15545-6_18","volume-title":"Software, Services, and Systems","author":"C Talcott","year":"2015","unstructured":"Talcott, C., Arbab, F., Yadav, M.: Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 273\u2013290. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15545-6_18"},{"key":"13_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-34096-8_1","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"C Talcott","year":"2016","unstructured":"Talcott, C., Nigam, V., Arbab, F., Kapp\u00e9, T.: Formal specification and analysis of robust adaptive distributed cyber-physical systems. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 1\u201335. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_1"}],"container-title":["Lecture Notes in Computer Science","It's All About Coordination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90089-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T09:12:30Z","timestamp":1571303550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90089-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900889","9783319900896"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90089-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}