CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The SCIRun computational steering software system
Modern software tools for scientific computing
Reasoning in description logics
Principles of knowledge representation
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
ADEPT: an agent-based approach to business process management
ACM SIGMOD Record
Object-Oriented Software Construction
Object-Oriented Software Construction
Techniques for High-Performance Computational Steering
IEEE Concurrency
Multiagent System Engineering: The Coordination Viewpoint
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
NetSolve: A Network Server for Solving Computational Science Problems
NetSolve: A Network Server for Solving Computational Science Problems
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We present a multi-agent systems approach to distributed event-data processing as it is pervasive in scientific computing environments. The task investigated is the one of configuration and execution of event-data processing pipelines to be assembled from single computational services (agents) that perform an asynchronous mapping of streams of inputs to streams of outputs, where the specification is given by characterizing the final output of a pipeline. Comprehensive declarative descriptions of the capabilities of single agents in such systems can be shown to be computationally intractable because of the complexity of the mapping between inputs and outputs of individual agents. We therefore investigate the consequences of circumventing this problem by publishing just the output capabilities of agents, performing the transformation of output requirements to input requirements opaquely within individual agents, and utilizing recursive runtime contracting to configure complete data processing pipelines. The information loss entailed by this kind of information propagation opens up the possibility of pipeline misconfigurations that in turn lead to runtime exceptions when constraints between interfaces that were not explicitly enforced by the published capability descriptions are violated. We characterize the ensuing coordination needs and related design requirements for such kinds of multi-agent systems and propose the introduction of social laws as a promising principled solution approach to be further researched.