{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:22:42Z","timestamp":1725560562877},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221241"},{"type":"electronic","value":"9783540259329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25932-9_2","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:16:46Z","timestamp":1280261806000},"page":"17-36","source":"Crossref","is-referenced-by-count":5,"title":["A Logic-Based Infrastructure for Reconfiguring Applications"],"prefix":"10.1007","author":[{"given":"Marco","family":"Castaldi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Costantini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Gentile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arianna","family":"Tocchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc. of 2nd International Workshop on component-based Software Development in Computational Logic (COCL 1999), PLI 1999, Paris, France (1999)"},{"key":"2_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 1. Springer, Heidelberg (2002)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/3-540-44958-2_36","volume-title":"Modeling and Using Context","author":"S. Costantini","year":"2003","unstructured":"Costantini, S., Tocchio, A.: Context-based commmonsense reasoning in the dali logic programmming language. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds.) CONTEXT 2003. LNCS, vol.\u00a02680, pp. 443\u2013450. Springer, Heidelberg (2003)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Castaldi, M., Carzaniga, A., Inverardi, P., Wolf, A.L.: A light-weight infrastructure for reconfiguring applications. In: Proceedings of 11th Software Configuration Management Workshop, Portland, USA (2003)","DOI":"10.1007\/3-540-39195-9_17"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Porcarelli, S., Castaldi, M., Di Giandomenico, F., Inverardi, P., Bondavalli, A.: An approach to manage reconfiguration in fault-tolerant distributed systems. In: Proceedings of ICSE Workshop on Software Architectures for Dependable Systems, Portland, USA (2003)","DOI":"10.1007\/978-3-540-25939-8_8"},{"key":"2_CR6","unstructured":"Castaldi, M., Ryan, N.D.: Supporting component-based development by enriching the traditional api. In: Proceedings of 4th European GCSE Young Researchers Workshop 2002, in conjunction with NoDE, Erfurt, Germany (2002)"},{"key":"2_CR7","unstructured":"Castaldi, M., Angelis, G.D., Inverardi, P.: A reconfiguration language for remote analysis and application adaptation. In: Proceedings of ICSE Workshop on Remote Analysis and Measurement of Software Systems, Portland, USA (2003)"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/5254.769885","volume":"13","author":"P. Oreizy","year":"1999","unstructured":"Oreizy, P., Gorlick, M., Taylor, R., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D., Wolf, A.: An architecture-based approach to selfadaptive software. IEEE Intelligent Systems\u00a013, 54\u201362 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Wermelinger, M.: Towards a chemical model for software architecture reconfiguration. In: Proceedings of the 4th International Conference on Configurable Distributed Systems (1998)","DOI":"10.1109\/CDS.1998.675764"},{"key":"2_CR10","unstructured":"Garlan, D., Schmerl, B., Chang, J.: Using gauges for architecture-based monitoring and adaptation. In: Proc. of Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia (2001)"},{"key":"2_CR11","unstructured":"Shrivastava, S.K., Wheater, S.M.: Architectural support for dynamic reconfiguration of large scale distributed applications. Technical Report 645, Department of Computing Science, University of Newcastle upon Tyne (1998)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Bidan, C., Issarny, V., Saridakis, T., Zarras, A.: A dynamic reconfiguration service for corba. In: Proc. of the 4th International Conference on Configurable Distributed Systems, Annapolis, Maryland, USA, pp. 35\u201342 (1998)","DOI":"10.1109\/CDS.1998.675756"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Batista, T., Rodriguez, N.: Dynamic reconfiguration of component-based applications. In: Proceedings of Internation Symposium on Software Engineering for Parallel and Distributed Systems (2000)","DOI":"10.1109\/PDSE.2000.847848"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"de La Rocque Rodriguez, N., Ierusalimschy, R.: Dynamic reconfiguration of CORBA-based applications. In: Proceedings of Conference on Current Trends in Theory and Practice of Informatics (1999)","DOI":"10.1007\/3-540-47849-3_6"},{"key":"2_CR15","unstructured":"Almeida, J.P.A., Wegman, M., Pires, L.F., van Sinderen, M.: An approach to dynamic reconfiguration of distributed systems based on object-middleware. In: Proceedings of 19th Brasilian Symposium on Computer Networks (2001)"},{"key":"2_CR16","unstructured":"The common object request broker: Architecture and specification. Omg official specification, Object Management Group (2002)"},{"key":"2_CR17","unstructured":"Endler, M.: A language for implementing generic dynamic reconfigurations of distributed programs. In: Proceedings of 12th Brazilian Symposium on Computer Networks (1994)"},{"key":"2_CR18","volume-title":"Proc. of ESEC\/FSE 2001","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.: A graph based architectural (re)configuration language. In: Proc. of ESEC\/FSE 2001, ACM Press, New York (2001)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011248605761","volume":"15","author":"C.M. Jonker","year":"2001","unstructured":"Jonker, C.M., Lam, R.A., Treur, J.: A reusable multi-agent architecture for active intelligent websites. Journal of Applied Intelligence\u00a015, 7\u201324 (2001)","journal-title":"Journal of Applied Intelligence"},{"key":"2_CR20","unstructured":"SISCtus home page: http:\/\/www.sics.se\/sicstus\/"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"2_CR22","volume-title":"The Simple Book: An Introduction to Networking Management","author":"M.T. Rose","year":"1996","unstructured":"Rose, M.T.: The Simple Book: An Introduction to Networking Management. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"2_CR23","unstructured":"Bellissard, L., de Palma, N., Riveill, M.: Dynamic reconfiguration of agent-based applications. In: Proceedings of European Research Seminar on Advances in Distributed Systems (1999)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/PDSE.1997.596843","volume-title":"Proc. of the 2nd Intl. Workshop on Software Engineering for Parallel and Distributed Systems","author":"M. Wermelinger","year":"1997","unstructured":"Wermelinger, M.: A hierarchical architecture model for dynamic reconfiguration. In: Proc. of the 2nd Intl. Workshop on Software Engineering for Parallel and Distributed Systems, pp. 243\u2013254. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"2_CR25","unstructured":"Castaldi, M.: Lira: a practitioner approach. Technical report, University of L\u2019Aquila (2002)"},{"key":"2_CR26","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G.: Jade a fipa-compliant agent framework. In: Proceedings of PAAM 1999, London, UK, pp. 97\u2013108 (1999), Project URL: http:\/\/sharon.cselt.it\/projects\/jade\/"},{"key":"2_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-25932-9_5","volume-title":"Declarative Agent Languages and Technologies","author":"C.T. Son","year":"2004","unstructured":"Son, C.T., Pontelli, E., Ranjan, D., Milligan, B., Gupta, G.: An agent-based domain specific framework for rapid prototyping of applications in evolutionary biology. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 76\u201396. Springer, Heidelberg (2004)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45241-9_13","volume-title":"Practical Aspects of Declarative Languages","author":"E. Denti","year":"2001","unstructured":"Denti, E., Omicini, A., Ricci, A.: tuprolog: A light-weight prolog for internet applications and infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, p. 184. Springer, Heidelberg (2001)"},{"key":"2_CR29","unstructured":"tuProlog web page: http:\/\/www.lia.deis.unibo.it\/Research\/2P\/"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25932-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:32:51Z","timestamp":1559316771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25932-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221241","9783540259329"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25932-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}