Dissertation/Thesis Abstract

Designing, Verifying, and Evolving Commitment-based Protocols for Business
by Gerard, Scott Neal, Ph.D., North Carolina State University, 2013, 150; 3575895
Abstract (Summary)

Businesses today are facing increasing pressure to interoperate across multiple business partners. We address the design, verification, and evolution of business services in open environments. We approach the problem as an application of multiagent system concepts and techniques using protocols and commitments. We present an approach to the design and hierarchical composition of protocols that treats protocols as first-class entities, and explicitly addresses role-specific responsibilities and accountabilities. We propose a definition of protocol refinement between a putative subprotocol and a putative superprotocol. To address the evolution of protocol requirements, we describe an interaction architecture and a library of automated, interaction refactorings. We demonstrate these approaches via realistic applications from the insurance, manufacturing, healthcare, and software development domains.

Indexing (document details)
Advisor: Singh, Munindar P.
Commitee: Doyle, Jon, Handfield, Robert, Xie, Tao
School: North Carolina State University
Department: Computer Science
School Location: United States -- North Carolina
Source: DAI-B 75/03(E), Dissertation Abstracts International
Source Type: DISSERTATION
Subjects: Computer science
Keywords: Commitments, Multiagent, Protocols, Refactoring, Verification
Publication Number: 3575895
ISBN: 9781303549090
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest