Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents1
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.
KeywordsSoftware 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.
- 1.Connalen, J., Building Web Applications with UML, Addison-Wesley, 2000.Google Scholar
- 2.Orfali, R., Hankey, D., Client/Server Programming with Java and Corba, John Wiley, 1998.Google Scholar
- 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.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.Husmann, E., Schmitt, T., Schuler, T., Agents are Watching,Intelligent Enterprise Magazine, online publication, http://www.intelligententerprise.com/000908/feat2.shtml/ebusiness
- 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.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.Bray, T. et al., Extensible Markup Language (XML) 1.0, W3C Recommendation, http://www.w3.ort/TR.
- 9.Clark, J., XSL Transformations (XSLT) Specification 1.0, W3C Recommendation, http://www.w3.org/TR.
- 10.Coad, P. North, D., Mayfield, M., Object Models: Strategies, Patterns, and Applications, Prentice Hall, 1997.Google Scholar
- 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
- 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.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.Derniame, J.C., Kaba, B.A., Wastell, D. (Eds), Software Process: Principles, Methodology, and Technology, Springer-Verlag LNCS 1500, 1999.Google Scholar
- 17.Finkelstein, F., Kramer, J., and Nuseibeh, B., (Eds), Software Process Modeling and Technology, Research Studies Press Ltd., 1994.Google Scholar
- 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.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.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.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
- 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.Banchereau, J., The Long Arm of the Immune System, Scientific American, pp. 55–59, November 2002.Google Scholar
- 27.Clarke, E.M., Grumberg, O., Peled, D., Model Checking, MIT Press, 2000.Google Scholar
- 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
- 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