Positron: Composing Commitment-Based Protocols
| Autor: | Scott N. Gerard, Pankaj R. Telang, Munindar P. Singh, Anup K. Kalia |
|---|---|
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | Service-Oriented Computing ISBN: 9783662486153 ICSOC |
| DOI: | 10.1007/978-3-662-48616-0_2 |
| Popis: | We understand a sociotechnical system (STS) as a microsociety in which social entities interact about and via technical entities. A protocol specifies an STS by describing how its members collaborate by giving meaning to their interactions. We restrict ourselves to protocols that specify messages between roles in terms of how they create and affect commitments among the roles. A key idea of our approach, Positron, is that a protocol specifies the accountability of one role to another in addition to the requirements from each role. Specifically, Positron incorporates role accountability and role requirements as two integral aspects of protocol composition. In this way, it seeks to promote collaboration in STSs through natural requirements elicitation; flexibility enactment; and compliance and validation (ascribing accountability for each requirement to a specific role). Positron maps composite protocols to the representations of a well-known model checker as a way to verify protocols to assist in their correct formulation. We evaluate Positron by demonstrating it on real-life protocols. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|