Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008838195> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2008838195 abstract "Protocols are structured interactions among communicating agents. Traditional representations of protocols specify legal sequences of actions but define neither the content of the actions nor of the intervening states. Thus traditional representations are inadequate in open settings where autonomous agents must flexibly interact, e.g., to handle exceptions and exploit opportunities. We develop an approach in which we synthesize finite state machine representations of protocols. We first model communication protocols via commitment machines. Commitment machines supply a content to the protocol states and actions in terms of the social commitments of the participants to one another. The content can be reasoned about by the agents thereby enabling flexible execution. We provide reasoning rules to capture the evolution of commitments through the agents'' actions. Because of its representation of content and its operational rules, a commitment machine effectively encodes a systematically enhanced version of a protocol, which allows the basic sequences of actions as well as other legal moves to accommodate exceptions and opportunities. We show how a finite state machine can be synthesized from a commitment machine for efficient execution. We describe technical conditions under which our synthesis procedure yields a finite state machine that is deterministic, sound, and complete." @default.
- W2008838195 created "2016-06-24" @default.
- W2008838195 creator A5020679327 @default.
- W2008838195 creator A5028309559 @default.
- W2008838195 date "2001-06-27" @default.
- W2008838195 modified "2023-09-27" @default.
- W2008838195 title "Synthesizing Finite State Machines for Communication Protocols" @default.
- W2008838195 hasPublicationYear "2001" @default.
- W2008838195 type Work @default.
- W2008838195 sameAs 2008838195 @default.
- W2008838195 citedByCount "6" @default.
- W2008838195 countsByYear W20088381952012 @default.
- W2008838195 crossrefType "journal-article" @default.
- W2008838195 hasAuthorship W2008838195A5020679327 @default.
- W2008838195 hasAuthorship W2008838195A5028309559 @default.
- W2008838195 hasConcept C120314980 @default.
- W2008838195 hasConcept C12269588 @default.
- W2008838195 hasConcept C142724271 @default.
- W2008838195 hasConcept C154945302 @default.
- W2008838195 hasConcept C165696696 @default.
- W2008838195 hasConcept C167822520 @default.
- W2008838195 hasConcept C17744445 @default.
- W2008838195 hasConcept C199360897 @default.
- W2008838195 hasConcept C199539241 @default.
- W2008838195 hasConcept C204787440 @default.
- W2008838195 hasConcept C2775851571 @default.
- W2008838195 hasConcept C2776359362 @default.
- W2008838195 hasConcept C2780385302 @default.
- W2008838195 hasConcept C31258907 @default.
- W2008838195 hasConcept C38652104 @default.
- W2008838195 hasConcept C41008148 @default.
- W2008838195 hasConcept C48103436 @default.
- W2008838195 hasConcept C71924100 @default.
- W2008838195 hasConcept C80444323 @default.
- W2008838195 hasConcept C94625758 @default.
- W2008838195 hasConceptScore W2008838195C120314980 @default.
- W2008838195 hasConceptScore W2008838195C12269588 @default.
- W2008838195 hasConceptScore W2008838195C142724271 @default.
- W2008838195 hasConceptScore W2008838195C154945302 @default.
- W2008838195 hasConceptScore W2008838195C165696696 @default.
- W2008838195 hasConceptScore W2008838195C167822520 @default.
- W2008838195 hasConceptScore W2008838195C17744445 @default.
- W2008838195 hasConceptScore W2008838195C199360897 @default.
- W2008838195 hasConceptScore W2008838195C199539241 @default.
- W2008838195 hasConceptScore W2008838195C204787440 @default.
- W2008838195 hasConceptScore W2008838195C2775851571 @default.
- W2008838195 hasConceptScore W2008838195C2776359362 @default.
- W2008838195 hasConceptScore W2008838195C2780385302 @default.
- W2008838195 hasConceptScore W2008838195C31258907 @default.
- W2008838195 hasConceptScore W2008838195C38652104 @default.
- W2008838195 hasConceptScore W2008838195C41008148 @default.
- W2008838195 hasConceptScore W2008838195C48103436 @default.
- W2008838195 hasConceptScore W2008838195C71924100 @default.
- W2008838195 hasConceptScore W2008838195C80444323 @default.
- W2008838195 hasConceptScore W2008838195C94625758 @default.
- W2008838195 hasLocation W20088381951 @default.
- W2008838195 hasOpenAccess W2008838195 @default.
- W2008838195 hasPrimaryLocation W20088381951 @default.
- W2008838195 hasRelatedWork W1547255176 @default.
- W2008838195 hasRelatedWork W1576632330 @default.
- W2008838195 hasRelatedWork W1710432980 @default.
- W2008838195 hasRelatedWork W2035702632 @default.
- W2008838195 hasRelatedWork W2108728577 @default.
- W2008838195 hasRelatedWork W2113013206 @default.
- W2008838195 hasRelatedWork W2127546574 @default.
- W2008838195 hasRelatedWork W2129783028 @default.
- W2008838195 hasRelatedWork W2130561899 @default.
- W2008838195 hasRelatedWork W2137602962 @default.
- W2008838195 hasRelatedWork W2150354518 @default.
- W2008838195 hasRelatedWork W2160742320 @default.
- W2008838195 hasRelatedWork W2175305532 @default.
- W2008838195 hasRelatedWork W2399958068 @default.
- W2008838195 hasRelatedWork W2904826290 @default.
- W2008838195 hasRelatedWork W2954005994 @default.
- W2008838195 hasRelatedWork W2996838553 @default.
- W2008838195 hasRelatedWork W3006275118 @default.
- W2008838195 hasRelatedWork W3156312154 @default.
- W2008838195 hasRelatedWork W2485167997 @default.
- W2008838195 isParatext "false" @default.
- W2008838195 isRetracted "false" @default.
- W2008838195 magId "2008838195" @default.
- W2008838195 workType "article" @default.