Engineering commitment-based business protocols with the 2CL methodology
暂无分享,去创建一个
Cristina Baroglio | Matteo Baldoni | Viviana Patti | Elisa Marengo | Federico Capuzzimati | M. Baldoni | C. Baroglio | V. Patti | Federico Capuzzimati | Elisa Marengo
[1] Munindar P. Singh,et al. Engineering Foreign Exchange Processes via Commitment Protocols , 2007, IEEE International Conference on Services Computing (SCC 2007).
[2] Barbara Messing,et al. An Introduction to MultiAgent Systems , 2002, Künstliche Intell..
[3] Munindar P. Singh,et al. Commitment alignment: semantics, patterns, and decision procedures for distributed computing , 2008 .
[4] Munindar P. Singh,et al. Amoeba: A methodology for modeling and evolving cross-organizational business processes , 2009, TSEM.
[5] Laura Giordano,et al. Business Process Compliance Verification: An Annotation Based Approach with Commitments , 2012 .
[6] Munindar P. Singh,et al. Designing and executing protocols using the event calculus , 2001, AGENTS '01.
[7] Munindar P. Singh,et al. Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.
[8] Cristina Baroglio,et al. 2COMM: A Commitment-based MAS Architecture , 2013, WOA@AI*IA.
[9] Michael Winikoff,et al. Comparing Agent-Oriented Methodologies , 2003, AOIS.
[10] Nicola Henze,et al. Constraint modeling for curriculum planning and validation , 2011, Interact. Learn. Environ..
[11] Paola Mello,et al. Declarative specification and verification of service choreographiess , 2010, TWEB.
[12] Cristina Baroglio,et al. Grafting regulations into business protocols: Supporting the analysis of risks of violation , 2011, 2011 Fourth International Workshop on Requirements Engineering and Law.
[13] Wil vanderAalst,et al. Workflow Management: Models, Methods, and Systems , 2004 .
[14] Paola Mello,et al. Representing and monitoring social commitments using the event calculus , 2013, Autonomous Agents and Multi-Agent Systems.
[15] Munindar P. Singh,et al. An algebra for commitment protocols , 2007, Autonomous Agents and Multi-Agent Systems.
[16] Jamal Bentahar,et al. Verifying conformance of multi-agent commitment-based protocols , 2013, Expert Syst. Appl..
[17] Tim Miller,et al. Amongst First-Class Protocols , 2008, ESAW.
[18] Cowan Ervine. Directive 2004/39/Ec of the European Parliament and of the Council of 21 April 2004 , 2015 .
[19] Marco Colombetti,et al. Representation and monitoring of commitments and norms using OWL , 2010, AI Commun..
[20] Michael Winikoff,et al. Enhancing Commitment Machines , 2004, DALT.
[21] Jamal Bentahar,et al. On the verification of social commitments and time , 2011, AAMAS.
[22] Wil M. P. van der Aalst,et al. Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.
[23] Jamal Bentahar,et al. Communicative commitments: Model checking and complexity analysis , 2012, Knowl. Based Syst..
[24] Richard N. Taylor,et al. Techniques for Supporting Dynamic and Adaptive Workflow , 2000, Computer Supported Cooperative Work (CSCW).
[25] Cristina Baroglio,et al. Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study , 2012 .
[26] Jamal Bentahar,et al. Reducing model checking commitments for agent communication to model checking ARCTL and GCTL* , 2013, Autonomous Agents and Multi-Agent Systems.
[27] Marco Colombetti,et al. Research directions in agent communication , 2013, TIST.
[28] Pinar Yolum,et al. Design time analysis of multiagent protocols , 2007, Data Knowl. Eng..
[29] Munindar P. Singh,et al. Abstracting and Applying Business Modeling Patterns from RosettaNet , 2010, ICSOC.
[30] Cristina Baroglio,et al. Behavior-Oriented Commitment-based Protocols , 2010, ECAI.
[31] Munindar P. Singh. An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.
[32] Kees M. van Hee,et al. Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.
[33] Marco Colombetti,et al. A COMMITMENT-BASED APPROACH TO AGENT COMMUNICATION , 2004, Appl. Artif. Intell..
[34] Cristina Baroglio,et al. A Generalized Commitment Machine for 2CL Protocols and Its Implementation , 2012, DALT.
[35] Khanh Hoa Dam,et al. Evaluating and Comparing Agent-Oriented Software Engineering Methodologies , 2003 .
[36] Ilia Bider,et al. Defining business process flexibility with the help of invariants , 2007, Softw. Process. Improv. Pract..
[37] Barbara Dunin-Keplicz,et al. Evolution of Collective Commitment during Teamwork , 2002, Fundam. Informaticae.
[38] Wil M.P. van der Aalst,et al. Declarative Specification and Verification of Service Choreographies , 2009 .
[39] Marco Colombetti,et al. Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review , 2011, DALT.
[40] Munindar P. Singh,et al. Commitment-Based Service-Oriented Architecture , 2009, Computer.
[41] Marek Sergot,et al. On the characterization of law and computer systems: the normative systems perspective , 1994 .
[42] Edgar A. Whitley,et al. The Construction of Social Reality , 1999 .
[43] Munindar P. Singh,et al. Commitment Machines , 2001, ATAL.
[44] Munindar P. Singh,et al. Comma: a commitment-based business modeling methodology and its empirical evaluation , 2012, AAMAS.
[45] Munindar P. Singh,et al. Formalizing and verifying protocol refinements , 2013, TIST.
[46] Munindar P. Singh,et al. Constitutive interoperability , 2008, AAMAS.
[47] Wil M. P. van der Aalst,et al. A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.
[48] Manfred Reichert,et al. Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.
[49] Munindar P. Singh. Formalizing Communication Protocols for Multiagent Systems , 2007, IJCAI.
[50] Wil M. P. van der Aalst,et al. DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).
[51] M Maja Pesic,et al. Constraint-based workflow management systems : shifting control to users , 2008 .
[52] Mathias Weske,et al. Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..
[53] William J. Kirsch,et al. The protection of privacy and transborder flows of personal data: the work of the Council of Europe, the Organization for Economic Co-operation and Development and the European Economic Community , 1982, Legal Issues of Economic Integration.
[54] Munindar P. Singh,et al. Interaction protocols as design abstractions for business processes , 2005, IEEE Transactions on Software Engineering.
[55] Michael Wooldridge,et al. Introduction to multiagent systems , 2001 .
[56] Munindar P. Singh,et al. Specifying and applying commitment-based business patterns , 2011, AAMAS.
[57] M. Rehm,et al. Proceedings of AAMAS , 2005 .
[58] Marco Montali. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach , 2010 .
[59] Cristina Baroglio,et al. Constitutive and regulative specifications of commitment protocols: A decoupled approach , 2013, TIST.
[60] Munindar P. Singh,et al. Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach , 2012, IEEE Transactions on Services Computing.