Ashok Ullal Mallya

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.

By: A. Mallya n & M. Singh n 

Contributors: A. Mallya 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.

By: A. Mallya & M. Singh 

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.

By: A. Mallya n & M. Singh n 

Contributors: A. Mallya 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.

By: A. Mallya n & M. Singh n 

Contributors: A. Mallya 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.

By: N. Desai n, A. Mallya*, A. Chopra n & M. Singh n 

Contributors: N. Desai n, A. Mallya*, A. Chopra n & M. Singh n 

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.

By: M. Singh n , A. Chopra n, N. Desai n & A. Mallya n

Contributors: M. Singh n , A. Chopra n, N. Desai n & A. Mallya n

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 Goals Color Wheel
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.

By: A. Mallya n, P. Yolum * & M. Singh n 

Contributors: M. Singh n , P. Yolum *, A. Mallya 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)
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.

By: A. Mallya n & M. Huhns *

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© (2025) 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.