Ashok Ullal Mallya

Works (8)

Updated: July 5th, 2023 15:59

2006 article

An algebra for commitment protocols

Mallya, A. U., & Singh, M. P. (2006, April 4). 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
topics (OpenAlex): Multi-Agent Systems and Negotiation; Logic, Reasoning, and Knowledge; Access Control and Trust
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 article

A Semantic Approach for Designing Commitment Protocols

Mallya, A. U., & Singh, M. P. (2005, January 1). Lecture Notes in Computer Science, Vol. 3396, pp. 33–49.

By: A. Mallya n & M. Singh n 

Contributors: A. Mallya n & M. Singh n 

Ed(s):

topics (OpenAlex): Multi-Agent Systems and Negotiation; Logic, Reasoning, and Knowledge; Business Process Modeling and Analysis
Sources: NC State University Libraries, ORCID, NC State University Libraries
Added: August 6, 2018

2005 article

A Semantic Approach for Designing E-Business Protocols

Mallya, A. U., & Singh, M. P. (2005, January 1). Lecture Notes in Computer Science, Vol. 3387, pp. 111–123.

By: A. Mallya n & M. Singh n 

Contributors: A. Mallya n & M. Singh n 

Ed(s):

topics (OpenAlex): Service-Oriented Architecture and Web Services; Semantic Web and Ontologies; Business Process Modeling and Analysis
Sources: NC State University Libraries, ORCID, NC State University Libraries
Added: August 6, 2018

2005 article

Interaction protocols as design abstractions for business processes

Desai, N., Mallya, A. U., Chopra, A. K., & Singh, M. P. (2005, December 1). IEEE Transactions on Software Engineering, Vol. 31, pp. 1015–1017.

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
topics (OpenAlex): Business Process Modeling and Analysis; Service-Oriented Architecture and Web Services; Semantic Web and Ontologies
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
topics (OpenAlex): Service-Oriented Architecture and Web Services; Business Process Modeling and Analysis; Semantic Web and Ontologies
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 article

Resolving Commitments among Autonomous Agents

Mallya, A. U., Yolum, P., & Singh, M. P. (2004, January 1). Lecture Notes in Computer Science, Vol. 2922, pp. 166–182.

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

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

topics (OpenAlex): Multi-Agent Systems and Negotiation; Logic, Reasoning, and Knowledge; Auction Theory and Applications
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

Mallya, A. U., & Huhns, M. N. (2003, July 1). IEEE Internet Computing.

By: A. Mallya n & M. Huhns *

topics (OpenAlex): Multi-Agent Systems and Negotiation; Logic, Reasoning, and Knowledge; Auction Theory and Applications
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© (2026) 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.