{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:37:13Z","timestamp":1725910633157},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319680330"},{"type":"electronic","value":"9783319680347"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68034-7_2","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T17:32:45Z","timestamp":1505323965000},"page":"20-38","source":"Crossref","is-referenced-by-count":3,"title":["A Component-Oriented Framework for Autonomous Agents"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Kapp\u00e9","sequence":"first","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"key":"2_CR1","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). doi: 10.1007\/978-3-642-38230-7_8"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-16561-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"C Baier","year":"2010","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S., Leister, W.: Design and verification of systems with exogenous coordination using vereofy. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 97\u2013111. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16561-0_15"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61, 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b95712","volume-title":"Semirings for Soft Constraint Solving and Programming","year":"2004","unstructured":"Bistarelli, S. (ed.): Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962. Springer, Heidelberg (2004). doi: 10.1007\/b95712"},{"key":"2_CR5","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Constraint solving over semirings. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 624\u2013630 (1995)"},{"issue":"2","key":"2_CR6","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":"2_CR7","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of Logic, Methodology and Philosophy of Science, pp. 1\u201311. Stanford University Press, Stanford (1962)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Casanova, P., Garlan, D., Schmerl, B.R., Abreu, R.: Diagnosing unobserved components in self-adaptive systems. In: Proceedings of Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 75\u201384 (2014)","DOI":"10.1145\/2593929.2593946"},{"issue":"1\u20132","key":"2_CR9","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. Discrete Event Dyn. Syst. 10(1\u20132), 33\u201386 (2000)","journal-title":"Discrete Event Dyn. Syst."},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","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, vol. 8265, pp. 68\u201379. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-45114-0_6"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Goessler, G., Astefanoaei, L.: Blaming in component-based real-time systems. In: Proceedings of Embedded Software (EMSOFT), pp. 7:1\u20137:10 (2014)","DOI":"10.1145\/2656045.2656048"},{"key":"2_CR12","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). doi: 10.1007\/978-3-319-28766-9_6"},{"issue":"3","key":"2_CR13","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 Theor. Comput. Sci. 238(3), 189\u2013205 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-51237-3_14","volume-title":"Logic at Botik \u201989","author":"H H\u00fcttel","year":"1989","unstructured":"H\u00fcttel, H., Larsen, K.G.: The use of static constructs in a model process logic. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik 1989. LNCS, vol. 363, pp. 163\u2013180. Springer, Heidelberg (1989). doi: 10.1007\/3-540-51237-3_14"},{"key":"2_CR15","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":"2_CR16","unstructured":"Kapp\u00e9, T.: Logic for Soft Component Automata. Master\u2019s thesis, Leiden University, Leiden, The Netherlands (2016). http:\/\/liacs.leidenuniv.nl\/assets\/Masterscripties\/CS-studiejaar-2015-2016\/Tobias-Kappe.pdf"},{"key":"2_CR17","unstructured":"Kapp\u00e9, T., Arbab, F., Talcott, C.: A component-oriented framework for autonomous agents (2017). https:\/\/arxiv.org\/abs\/1708.00072"},{"key":"2_CR18","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":"2_CR19","doi-asserted-by":"crossref","unstructured":"Koehler, C., Clarke, D.: Decomposing port automata. In: Proceedings ACM Symposium on Applied Computing (SAC), pp. 1369\u20131373 (2009)","DOI":"10.1145\/1529282.1529587"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Mason, I.A., Nigam, V., Talcott, C., Brito, A.: A framework for analyzing adaptive autonomous aerial vehicles. In: Proceedings of Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim) (2017)","DOI":"10.1007\/978-3-319-74781-1_28"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Muller, D.E., Saoudi, A., Schupp, P.E.: Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time. In: Proceedings of Symposium on Logic in Computer Science (LICS), pp. 422\u2013427 (1988)","DOI":"10.1109\/LICS.1988.5139"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Neidig, J., Lunze, J.: Decentralised Diagnosis of Automata Networks. IFAC Proceedings Volumes, vol. 38(1), pp. 400\u2013405 (2005)","DOI":"10.3182\/20050703-6-CZ-1902.01869"},{"issue":"1","key":"2_CR23","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1017\/S0960129504004517","volume":"15","author":"JJMM Rutten","year":"2005","unstructured":"Rutten, J.J.M.M.: A coinductive calculus of streams. Math. Struct. Comput. Sci. 15(1), 93\u2013147 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"2_CR24","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. Contr. Sys. Techn. 4(2), 105\u2013124 (1996)","journal-title":"IEEE Trans. Contr. Sys. Techn."},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Talcott, C.L., Arbab, F., Yadav, M.: Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. In: Software, Services, and Systems \u2013 Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, pp. 273\u2013290 (2015)","DOI":"10.1007\/978-3-319-15545-6_18"},{"key":"2_CR26","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). doi: 10.1007\/978-3-319-34096-8_1"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-60915-6_6","volume-title":"Logics for Concurrency","author":"MY Vardi","year":"1996","unstructured":"Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol. 1043, pp. 238\u2013266. Springer, Heidelberg (1996). doi: 10.1007\/3-540-60915-6_6"},{"issue":"4","key":"2_CR28","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.entcs.2007.06.015","volume":"176","author":"M Wirsing","year":"2007","unstructured":"Wirsing, M., Denker, G., Talcott, C.L., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. Electr. Notes Theor. Comput. Sci. 176(4), 181\u2013197 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68034-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T12:36:50Z","timestamp":1570106210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68034-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319680330","9783319680347"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68034-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}