Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents1

  • P.S.C. Alencar
  • D.D. Cowan
  • D. Mulholland
  • T. Oliveira
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2603)


Currently Web systems usually involve application and database servers that support user interfaces and static distributed databases. However, applications such as e-commerce require data and service networks that contain many types of active content and dynamic business processes. In this context, a key challenge has been to manage data content and business processes in a flexible way, often in real-time, through operations which augment, refine, interconnect, ensure consistency, and monitor data and processes. In this paper we present an approach to monitor data consistency and business processing based on declarative agents. Because of its declarative nature, the approach facilitates the use, programming and management of such agent-based systems and allows for different distributed database and Web user interface structures to be interoperable. The approach also relates business events to technical events while conveying to the users meaningful business events, and agents that deal with various levels of abstraction of a business object, that can orchestrate and monitor data change and business processing.


Software agents data management software design events data consistency business process distributed databases Web-based user interfaces monitoring events e-business e-commerce. 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Connalen, J., Building Web Applications with UML, Addison-Wesley, 2000.Google Scholar
  2. 2.
    Orfali, R., Hankey, D., Client/Server Programming with Java and Corba, John Wiley, 1998.Google Scholar
  3. 3.
    Yesha, Y., Kou, W., Directions and Trends for E-Commerce Research, Electronic Commerce Technology Trends: Challenges and Opportunities, IBM Press, February 2000.Google Scholar
  4. 4.
    Chen, D., Chung, J., Internet Based Electronic Business Framework and Business to Business Standards, Topics in Electronic Commerce, Second International Symposium (ISEC), Lecture Notes in Computer Science, vol. 2040, pp. 158–169, Springer-Verlag, 2001.Google Scholar
  5. 5.
    Husmann, E., Schmitt, T., Schuler, T., Agents are Watching,Intelligent Enterprise Magazine, online publication,
  6. 6.
    Rosenblum, D., Wolf, A., A Design Framework for Internet-Scale Event Observation and Notification, SIGSOFT Foundations on Software Engineering (FSE), 1997.Google Scholar
  7. 7.
    Nwana, H.S. Software Agents: An Overview. In: The Knowledge Engineering Review, October/November 1996, Volume 11, Number 3, pages 205–244.Google Scholar
  8. 8.
    Bray, T. et al., Extensible Markup Language (XML) 1.0, W3C Recommendation, http://www.w3.ort/TR.
  9. 9.
    Clark, J., XSL Transformations (XSLT) Specification 1.0, W3C Recommendation,
  10. 10.
    Coad, P. North, D., Mayfield, M., Object Models: Strategies, Patterns, and Applications, Prentice Hall, 1997.Google Scholar
  11. 11.
    Silva, V., Garcia, A., Brandao, A., Chavez, C., Lucena, C., Alencar, P., Taming Agents and Objects in Software Engineering, (this volume, pp. 1–28), 2003.Google Scholar
  12. 12.
    Traiger, I., Gray, J., Galtieri, C., Lindsay, B., Transactions and Consistency in Distributed Database Systems, ACM Transactions on Database Systems, vol. 7, pp. 323–342, 1982.zbMATHCrossRefGoogle Scholar
  13. 13.
    Davidson, S., Garcia-Molina, H., Skeen, D., Consistency in Partitioned Networks, ACM Computer Surveys, vol. 17, no. 3, pp. 341–370, 1985.CrossRefGoogle Scholar
  14. 14.
    Garcia-Molina, H., Kogan, B., Achieving High Availability in Distributed Databases, IEEE Transactions on Software Engineering, vol. 14, no. 7, 1988.Google Scholar
  15. 15.
    Osterweil, L.J., Software Processes are Software Too, Proceedings of the Ninth International Conference on Software Engineering (ICSE’87), pp. 2–14, Monterey, California, IEEE Computer Society Press, 1987.Google Scholar
  16. 16.
    Derniame, J.C., Kaba, B.A., Wastell, D. (Eds), Software Process: Principles, Methodology, and Technology, Springer-Verlag LNCS 1500, 1999.Google Scholar
  17. 17.
    Finkelstein, F., Kramer, J., and Nuseibeh, B., (Eds), Software Process Modeling and Technology, Research Studies Press Ltd., 1994.Google Scholar
  18. 18.
    Kalali, B., Alencar, P.S.C. Alencar, Cowan, D.D., WSNF: Designing a Web Service Notification Framework for Web Services, accepted by the International Workshop on Web Services: Research, Standardization, and Deployment, WS-RSD’02, USA, 2002.Google Scholar
  19. 19.
    Hayes-Roth, B., Larsson, J., A Domain-Specific Software Architecture for a Class of Intelligent Patient Monitoring Agents, J. Theoretical and Experimental Artificial Intelligence, 1995.Google Scholar
  20. 20.
    Jones, P., Jacobs, J., Cooperative Problem-Solving in Human-Machine Systems: Theory, Models, and Intelligent Associate Systems, IEE Transactions on Syestems, Man and Cybernetics, 2000.Google Scholar
  21. 21.
    Cugola, G., Di Nitto, E., Fuggetta, A., Exploiting and Event-Based Infrastructure to Develop Complex Distributed Systems, Proceedings of the International Conference on Software Engineering, pp. 261–270, 1998.Google Scholar
  22. 22.
    Hayes, C., Agents in a Nutshell-A Very Brief Introduction, IEEE Transactions on Knowledge and Data Engineering, vol. 11, no. 1, pp. 127–132, 1999.CrossRefGoogle Scholar
  23. 23.
    Zincir-Heywood, A., Heywood, M., Chatwin, C., Object-Oriented Design of Digital Library Platforms for Multiagent Environments, IEEE Transactions on Knowledge and Data Engineering, vol. 14, no. 2, pp. 281–295, 2002.CrossRefGoogle Scholar
  24. 24.
    Singh, M., Huhns, N., Stephens, L., Declarative Representations of Multiagent Systems, IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 5, 1993.Google Scholar
  25. 25.
    Banchereau, J., The Long Arm of the Immune System, Scientific American, pp. 55–59, November 2002.Google Scholar
  26. 27.
    Clarke, E.M., Grumberg, O., Peled, D., Model Checking, MIT Press, 2000.Google Scholar
  27. 28.
    Clarke, E. M., Emerson, E. A., Sistla, A. P., Automatic Verification of Finite-State Concurrent systems Using Temporal Logic Specifications, ACM TOPLAS 8(2):244–263, April 1986.Google Scholar
  28. 29.
    Ramakrishna, Y. S., Ramakrishna, C. R., Ramakrishna, I. V., Smolka, S. A., Swift, T. W., and Warren, D. S., Efficient Model Checking Using Tabled Resolution, in Grumberg, editor, Computer Aided Verification (CAV’97), LNCS 1243, Haifa, Israel, Springer-Verlag, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • P.S.C. Alencar
    • 1
  • D.D. Cowan
    • 1
  • D. Mulholland
    • 1
  • T. Oliveira
    • 1
  1. 1.School of Computer ScienceUniversity of WaterlooWaterloo

Personalised recommendations