Works (8)
Updated: July 5th, 2023 15:59
2006 article
An algebra for commitment protocols
Mallya, A. U., & Singh, M. P. (2007, April). AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, Vol. 14, pp. 143–163.
Contributors: n & M. Singh n
author keywords: commitments; interaction protocols; formal methods; multiagent system modelling and design
TL;DR:
This work proposes an approach for designing commitment protocols wherein traditional software engineering notions such as refinement and aggregation are extended to apply to protocols, and presents an algebra of protocols that can be used to compose protocols by refining and merging existing ones.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
2006 book
Incorporating commitment protocols into tropos
In Agent-Oriented Software Engineering VI : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. (Vol. 3950, pp. 69–80). Berlin: Springer.
Source: NC State University Libraries
Added: August 6, 2018
2005 journal article
A semantic approach for designing commitment protocols
Lecture Notes in Computer Science, 3396, 33–49.
Contributors: n & M. Singh n
Ed(s): M. Eijk & F. Dignum
Sources: NC State University Libraries, ORCID, NC State University Libraries
Added: August 6, 2018
2005 journal article
A semantic approach for designing e-business protocols
IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 3387, 111–123.
Contributors: n & M. Singh n
Ed(s): . J. Cardoso & A. Sheth
Sources: NC State University Libraries, ORCID, NC State University Libraries
Added: August 6, 2018
2005 journal article
Interaction Protocols as design abstractions for business processes
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 31(12), 1015–1027.
author keywords: multiagent systems; software reuse; interaction-based modeling; software design methodologies; rule-based processing; pi-calculus
TL;DR:
This work proposes (business) protocols as components for developing business processes and shows how protocols and their composition are theoretically founded in the phi;-calculus.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
2004 journal article
Protocols for processes
ACM SIGPLAN Notices, 39(12), 73.
author keywords: standardization; languages; design; open systems; interaction protocols; business processes
TL;DR:
This paper describes some elements of a conceptual model of processes that will incorporate abstractions based on protocols, roles, and commitments and methodologies involving rule-based reasoning to specify processes in terms of compositions of protocols.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries, Crossref
Added: August 6, 2018
2004 journal article
Resolving commitments among autonomous agents
Lecture Notes in Computer Science, 2922, 166–182.
Contributors: M. Singh n , P. Yolum *, n & P. Yolum
TL;DR:
A rich representation for the temporal content of commitments is developed to reason about whether and when exactly a commitment is satisfied or breached and whether it is or ever becomes unenforceable.
(via Semantic Scholar)
open access via citeseerx.ist.psu.edu (repository)
Sources: NC State University Libraries, ORCID, NC State University Libraries
Added: August 6, 2018
2003 article
Commitments among agents
IEEE INTERNET COMPUTING, Vol. 7, pp. 90–93.
TL;DR:
A rich representation for the temporal content of commitments that lets us capture realistic contracts and avoid ambiguities is described and lets us reason about whether, and at what point, a commitment is satisfied or breached, and whether it is or ever becomes unenforceable.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.