Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Software project dynamics: an integrated approach
Software project dynamics: an integrated approach
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A multiproject perspective of single-project dynamics
Journal of Systems and Software
Software Project Control: An Experimental Investigation of Judgment with Fallible Information
IEEE Transactions on Software Engineering
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
Business process redesign: a Petri-net-based approach
Computers in Industry - Special double issue: WET ICE '95
Simulations in economics and management
Communications of the ACM
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
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Simulation Model Design and Execution: Building Digital Worlds
Simulation Model Design and Execution: Building Digital Worlds
Electronic Markets for Architects—The Architecture of Electronic Markets
Information Systems Frontiers
Performance Modeling of Distributed and Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
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
Compositional Reasoning in Model Checking
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
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
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Monitoring Software Requirements Using Instrumented Code
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
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
Decision and Visualization for Negotiation
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1
A Stochastic Negotiation Model for Organizational Choice
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Deliberation in a modeling and simulation environment for inter-organizational networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
Modelling Actor Evolution in Agent-Based Simulations
Organized Adaption in Multi-Agent Systems
Conceptual Modeling: Foundations and Applications
Agent based executable conceptual models using i* and CASO
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Comparing three formal analysis approaches of the tropos family
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Analyzing agent-based simulations of inter-organizational networks
ADMI'10 Proceedings of the 6th international conference on Agents and data mining interaction
Hi-index | 0.00 |
In the emerging field of database centric business process management, 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 simulation 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. In this paper, we explicitly incorporate 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.