Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Achieving High Availability in Distributed Databases
IEEE Transactions on Software Engineering
Software process modelling and technology
Software process modelling and technology
Object models (2nd ed.): strategies, patterns, and applications
Object models (2nd ed.): strategies, patterns, and applications
A design framework for Internet-scale event observation and notification
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Client/server programming with Java and CORBA (2nd ed.)
Client/server programming with Java and CORBA (2nd ed.)
Exploiting an event-based infrastructure to develop complex distributed systems
Proceedings of the 20th international conference on Software engineering
Transactions and consistency in distributed database systems
ACM Transactions on Database Systems (TODS)
Electronic Commerce Technology Trends: Challenges and Opportunities with Cdrom
Electronic Commerce Technology Trends: Challenges and Opportunities with Cdrom
Agents in a Nutshell-A Very Brief Introduction
IEEE Transactions on Knowledge and Data Engineering
Object-Orientated Design of Digital Library Platforms for Multiagent Environments
IEEE Transactions on Knowledge and Data Engineering
Declarative Representations of Multiagent Systems
IEEE Transactions on Knowledge and Data Engineering
Software Process: Principles, Methodology, Technology
Software Process: Principles, Methodology, Technology
Efficient Model Checking Using Tabled Resolution
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
xTAO: enabling a declarative approach to the specification of multi-agent systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
A web-based framework for collaborative innovation
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
| Hi-index | 0.00 |
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.