Abstract
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.
The research described in this paper was supported by the Natural Sciences and Engineering Research Council of Canada (NSERC), the Brazilian National Research Council (CNPq), Human Resources Development Canada (HRDC) and IBM Canada.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Connalen, J., Building Web Applications with UML, Addison-Wesley, 2000.
Orfali, R., Hankey, D., Client/Server Programming with Java and Corba, John Wiley, 1998.
Yesha, Y., Kou, W., Directions and Trends for E-Commerce Research, Electronic Commerce Technology Trends: Challenges and Opportunities, IBM Press, February 2000.
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.
Husmann, E., Schmitt, T., Schuler, T., Agents are Watching,Intelligent Enterprise Magazine, online publication, http://www.intelligententerprise.com/000908/feat2.shtml/ebusiness
Rosenblum, D., Wolf, A., A Design Framework for Internet-Scale Event Observation and Notification, SIGSOFT Foundations on Software Engineering (FSE), 1997.
Nwana, H.S. Software Agents: An Overview. In: The Knowledge Engineering Review, October/November 1996, Volume 11, Number 3, pages 205–244.
Bray, T. et al., Extensible Markup Language (XML) 1.0, W3C Recommendation, http://www.w3.ort/TR.
Clark, J., XSL Transformations (XSLT) Specification 1.0, W3C Recommendation, http://www.w3.org/TR.
Coad, P. North, D., Mayfield, M., Object Models: Strategies, Patterns, and Applications, Prentice Hall, 1997.
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.
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.
Davidson, S., Garcia-Molina, H., Skeen, D., Consistency in Partitioned Networks, ACM Computer Surveys, vol. 17, no. 3, pp. 341–370, 1985.
Garcia-Molina, H., Kogan, B., Achieving High Availability in Distributed Databases, IEEE Transactions on Software Engineering, vol. 14, no. 7, 1988.
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.
Derniame, J.C., Kaba, B.A., Wastell, D. (Eds), Software Process: Principles, Methodology, and Technology, Springer-Verlag LNCS 1500, 1999.
Finkelstein, F., Kramer, J., and Nuseibeh, B., (Eds), Software Process Modeling and Technology, Research Studies Press Ltd., 1994.
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.
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.
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.
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.
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.
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.
Singh, M., Huhns, N., Stephens, L., Declarative Representations of Multiagent Systems, IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 5, 1993.
Banchereau, J., The Long Arm of the Immune System, Scientific American, pp. 55–59, November 2002.
Clarke, E.M., Grumberg, O., Peled, D., Model Checking, MIT Press, 2000.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alencar, P., Cowan, D., Mulholland, D., Oliveira, T. (2003). Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents1. In: Garcia, A., Lucena, C., Zambonelli, F., Omicini, A., Castro, J. (eds) Software Engineering for Large-Scale Multi-Agent Systems. SELMAS 2002. Lecture Notes in Computer Science, vol 2603. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-35828-5_17
Download citation
DOI: https://doi.org/10.1007/3-540-35828-5_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08772-4
Online ISBN: 978-3-540-35828-2
eBook Packages: Springer Book Archive