Skip to main content
SpringerLink
Log in

Transaction-based coordination of software agents

  • Conference paper
  • First Online:
Book cover Database and Expert Systems Applications (DEXA 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1460))

Included in the following conference series:

Abstract

Cooperative software agents provide a novel framework for building distributed applications. Central to the model is the support for sophisticated coordination and close cooperation among different agents working together towards accomplishing a specified task. In this paper, we focus on expressing and enforcing correctness properties of the coordination and interaction among agents. We build on transaction concepts from database systems to formalize the proposed correctness properties and introduce methods for enforcing them in the context of mobile object systems.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Special Issue on Intelligent Agents. Communications of the ACM, 37(7), 1994.

    Google Scholar 

  2. Special Issue on Internet-based Agents. IEEE Internet Computing, 1(4), 1997.

    Google Scholar 

  3. D. Agrawal, J. Bruno, A. Abbadi, and V. Krishnaswamy. Relative Serializability: An Approach for Relaxing the Atomicity of Transactions. In Proceedings of the 13th ACM Symposium on Principles of Database Systems, pages 139–149, 1994.

    Google Scholar 

  4. P. Attie, M. Singh, A. Sheth, and M. Rusinkiewicz. Specifying and Enforcing Intertask Dependencies. In Proceedings of the 9th International Conference on Very Large Database Systems, pages 134–144, 1993.

    Google Scholar 

  5. P. K. Batra, M. Rusinkiewics, and D. Georgakopoulos. A Decentralized Deadlock-free Concurrency Control Method for Multidatabase Transactions. In Proceedings of the 12th International Conference on Distributed Computing Systems, June 1992.

    Google Scholar 

  6. P. A. Bernstein, V. Hadjilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addisson-Wesley, 1987.

    Google Scholar 

  7. A. Biliris, S. Dar, N. Gehani, H. V. Jagadish, and K. Ramamritham. ASSET: A System for Supporting Extended Transactions. In Proceedings of the 1994 SIGMOD Conference, pages 44–54, May 1994.

    Google Scholar 

  8. Y. Breitbart, H. Garcia-Molina, and A. Silberschatz. Overview of Multidatabase Transaction Management. VLDB Journal, 1(2):181–239, 1992.

    Article  Google Scholar 

  9. D. Chess, B. Grosof, C. Harrison, D. Levine, C. Parris, and G. Tsudik. Itinerant Agents for Mobile Computing. IEEE Personal Communications, 2(5), 1995.

    Google Scholar 

  10. P. K. Chrysanthis and K. Ramamritham. Synthesis of extended transaction models using acta. ACM Transactions on Database Systems, 19(3):450–491, 1994.

    Article  Google Scholar 

  11. A. K. Elmagarmid, editor. Database Transaction Models for Advanced Applications. Morgan Kaufmann, 1992.

    Google Scholar 

  12. A. A. Farrag and M. T. Ozsu. Using Semantic Knowledge of Transactions to Increase Concurrency. ACM Transactions on Database Systems, 14(4):503–525, 1989.

    Article  Google Scholar 

  13. D. Georgakopoulos, M. F. Hornick, and A. P. Sheth. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3(2), 1995.

    Google Scholar 

  14. J. Klein. Advanced Rule Driven Transaction Management. In Proceedings of the IEEE COMPCON, 1991.

    Google Scholar 

  15. E. Pitoura and B. Bhargava. A Framework for Providing Consistent and Recoverable Agent-Based Access to Heterogeneous Mobile Databases. ACM SIGMOD Record, 24(3):44–49, September 1995.

    Article  Google Scholar 

  16. E. Pitoura and G. Samaras. Data Management for Mobile Computing. Kluwer Academic Publishers, 1998.

    Google Scholar 

  17. M. Rusinkiewicz and A. Sheth. Specification and Execution of Transactional Work-flows. In W. Kim, editor, Modern Database Systems, pages 592–620. Addison Wesley, 1995.

    Google Scholar 

  18. J. Vitek and C. Tschudin, editors. Mobile Object Systems: Towards the Programmable Internet. Springer Verlag, LNCS 1222, 1997.

    Google Scholar 

  19. A. Wolski and J. Veijalainen. Achieving Serializability in Presence of Failures in a Heterogeneous Multidatabase. In Proceedings of the Parbase90 Conference, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Ioannina, GR 45110, Ioannina, Greece

    Evaggelia Pitoura

Authors
  1. Evaggelia Pitoura
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerald Quirchmayr Erich Schweighofer Trevor J.M. Bench-Capon

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pitoura, E. (1998). Transaction-based coordination of software agents. In: Quirchmayr, G., Schweighofer, E., Bench-Capon, T.J. (eds) Database and Expert Systems Applications. DEXA 1998. Lecture Notes in Computer Science, vol 1460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054504

Download citation

  • DOI: https://doi.org/10.1007/BFb0054504

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64950-2

  • Online ISBN: 978-3-540-68060-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation