INCOME/STAR: methodology and tools for the development of distributed information systems
Information Systems - Special issue: distributed information systems in business and management
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
DOC.COM: a framework for effective negotiation support in electronic marketplaces
Computer Networks: The International Journal of Computer and Telecommunications Networking
Business Process Engineering: Reference Models for Industrial Enterprises
Business Process Engineering: Reference Models for Industrial Enterprises
Electronic Markets for Architects—The Architecture of Electronic Markets
Information Systems Frontiers
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Analyzing goal models: different approaches and how to choose among them
Proceedings of the 2011 ACM Symposium on Applied Computing
Tracking over collaborative business processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
SNet reloaded: roles, monitoring and agent evolution
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
Hi-index | 0.00 |
Inter-organizational networks of people, information and communication systems are often described by the interplay between individual goals and actions and the strategic dependencies among individuals and subgroups. Our research aims at improving requirements engineering for such networks by not just representing these goals and dependencies statically, but also by studying the dynamic interactions between both. In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet was the automatic translation of extended i* models into the action language ConGolog. While this allowed the simulation of agent networks specified in i*, the resulting agents were purely reactive, which limits the usefulness of the system, in particular as a decision-support tool for network members, who need to evaluate the utility of different courses of action. In this paper we propose to remedy the situation by explicitly incorporating deliberation into the agent design of SNet. At the level of i*, deliberation is represented in terms of goals which are satisfiable by different tasks or agents. Utilities are modeled, in part, using the existing concept of softgoals, which are given a quantitative interpretation. At the level of ConGolog, decision-theoretic features are built into the interpreter, which drives the simulations, and the process of delegating tasks to other agents is explicitly represented.