Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Techniques for Supporting Dynamic and Adaptive Workflow
Computer Supported Cooperative Work
Designing and executing protocols using the event calculus
Proceedings of the fifth international conference on Autonomous agents
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to Multiagent Systems
Introduction to Multiagent Systems
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
DECLARE: Full Support for Loosely-Structured Processes
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Engineering Societies in the Agents World VIII
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing communication protocols for multiagent systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Commitment alignment: semantics, patterns, and decision procedures for distributed computing
Commitment alignment: semantics, patterns, and decision procedures for distributed computing
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Specifying and applying commitment-based business patterns
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Specifying and enforcing norms in artificial institutions: a retrospective review
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Comma: a commitment-based business modeling methodology and its empirical evaluation
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach
IEEE Transactions on Services Computing
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Formalizing and verifying protocol refinements
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
Enterprises must respect a number of regulations, with multilevel nature and which change along time. They must not only adapt their business interactions to the regulations and their changes but also evaluate the risks of violation of the new rules and to account for responsibilities. This work proposes a methodological framework for modeling and engineering business protocols, which gives primary position to the notions of commitment and responsibility, and supports the analysis of risks of violation when a new regulation is issued. We build on 2CL commitment-based protocols and introduce 2CL Methodology, a software engineering methodology for such protocols, which includes guidelines for specifying 2CL business protocols, for specialising them, and for composing a new 2CL protocol based on a set of given 2CL protocols. We developed a set of integrated software tools for the design and the analysis of 2CL protocols, with the aim of concretely supporting, on the one hand, designers in the task of identifying exposure to risks of violation, and, on the other hand, the management in the task of reasoning about accountability and of decision making. The proposal is evaluated by using a real-world case study from the banking sector.