Skip to main content

A Logic-Based Infrastructure for Reconfiguring Applications

  • Conference paper
Declarative Agent Languages and Technologies (DALT 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2990))

Included in the following conference series:

Abstract

This paper proposes the DALI Multiagent System, which is a logic programming environment for developing agent-based applications, as a tool for component-based software management based on coordination. In particular, we show the usefulness of the integration between DALI and the agent-based Lira system, which is a Light-weight Infrastructure for Reconfiguring Applications. We argue that using intelligent agents for managing component-based software systems makes it possible to: (i) perform monitoring and supervision upon complex properties of a system, such as for instance performance; (ii) perform global reconfigurations dynamically, through the cooperation of intelligent agents.

We acknowledge the support of MIUR 40% project Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps and by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-37004 WASP project.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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. 2424, p. 1. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. 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. 2680, pp. 443–450. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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 13, 54–62 (1999)

    Google Scholar 

  9. Wermelinger, M.: Towards a chemical model for software architecture reconfiguration. In: Proceedings of the 4th International Conference on Configurable Distributed Systems (1998)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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–42 (1998)

    Google Scholar 

  13. Batista, T., Rodriguez, N.: Dynamic reconfiguration of component-based applications. In: Proceedings of Internation Symposium on Software Engineering for Parallel and Distributed Systems (2000)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. The common object request broker: Architecture and specification. Omg official specification, Object Management Group (2002)

    Google Scholar 

  17. Endler, M.: A language for implementing generic dynamic reconfigurations of distributed programs. In: Proceedings of 12th Brazilian Symposium on Computer Networks (1994)

    Google Scholar 

  18. Wermelinger, M., Lopes, A., Fiadeiro, J.: A graph based architectural (re)configuration language. In: Proc. of ESEC/FSE 2001, ACM Press, New York (2001)

    Google Scholar 

  19. Jonker, C.M., Lam, R.A., Treur, J.: A reusable multi-agent architecture for active intelligent websites. Journal of Applied Intelligence 15, 7–24 (2001)

    Article  MATH  Google Scholar 

  20. SISCtus home page: http://www.sics.se/sicstus/

  21. Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)

    Article  Google Scholar 

  22. Rose, M.T.: The Simple Book: An Introduction to Networking Management. Prentice-Hall, Englewood Cliffs (1996)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. 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–254. IEEE Computer Society Press, Los Alamitos (1997)

    Chapter  Google Scholar 

  25. Castaldi, M.: Lira: a practitioner approach. Technical report, University of L’Aquila (2002)

    Google Scholar 

  26. Bellifemine, F., Poggi, A., Rimassa, G.: Jade a fipa-compliant agent framework. In: Proceedings of PAAM 1999, London, UK, pp. 97–108 (1999), Project URL: http://sharon.cselt.it/projects/jade/

  27. 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. 2990, pp. 76–96. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  28. 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. 1990, p. 184. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  29. tuProlog web page: http://www.lia.deis.unibo.it/Research/2P/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Castaldi, M., Costantini, S., Gentile, S., Tocchio, A. (2004). A Logic-Based Infrastructure for Reconfiguring Applications. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25932-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22124-1

  • Online ISBN: 978-3-540-25932-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics