Matches in SemOpenAlex for { <https://semopenalex.org/work/W2466692761> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2466692761 abstract "The designer of communication protocols has to formulate rules to govern the communications between processes that are distributed; share common resources concurrently and asynchronously; communicate through unreliable channels that incur random delays; and behave in a time-dependent fashion. The first step is to formally specify the behavior of each of the communicating processes in the protocol. The protocol designer then has to analyze their concurrent behavior to ensure that it satisfies given functional requirements. He also has to analyze their timing behavior to ensure that is meets given timing requirements, and to evaluate key measures that indicate the efficiency of their performance. In this thesis we address the specification and analysis of timing requirements and performance measures of protocols. Contributions of the thesis fall into three major categories.The first major contribution is the development of a methodology for automated performance analysis of protocols that is based on their formal specifications. Rules that map an algebraic specification of a protocol, and the exponential rates of its events times, to probability and time attributes of its timing behavior are devised. The methodology constitutes two main steps. First, the functional behavior of a protocol is specified algebraically and analyzed to detect any progress errors. Second, protocol timing requirements and performance measures are formally specified in terms of the timing attributes and automatically analyzed.The second major contribution is the design and development of ANALYST: a software environment that integrates functional and performance specification and analysis of protocols. This integration allows a protocol designer to analyze protocol performance without requiring much expertise in the field. It also facilitates and enhances the design process of protocols by supporting experimental design, and providing an interactive and uniform user interface to the supported functions.The third major contribution is the automated derivation of performance analysis and optimum timing of a connection establishment protocol, the Alternating Bit protocol, and a two phase locking protocol. Some results obtained are novel while others are shown to agree remarkably well with those obtained manually by other researchers.Finally, limitations of the proposed methodology, and directions for future research are outlined." @default.
- W2466692761 created "2016-07-22" @default.
- W2466692761 creator A5017147062 @default.
- W2466692761 date "1986-01-01" @default.
- W2466692761 modified "2023-09-23" @default.
- W2466692761 title "A methodology for specification-based performance analysis of protocols (communication protocols, software environments)" @default.
- W2466692761 hasPublicationYear "1986" @default.
- W2466692761 type Work @default.
- W2466692761 sameAs 2466692761 @default.
- W2466692761 citedByCount "0" @default.
- W2466692761 crossrefType "journal-article" @default.
- W2466692761 hasAuthorship W2466692761A5017147062 @default.
- W2466692761 hasConcept C115903868 @default.
- W2466692761 hasConcept C116253237 @default.
- W2466692761 hasConcept C120314980 @default.
- W2466692761 hasConcept C12269588 @default.
- W2466692761 hasConcept C142724271 @default.
- W2466692761 hasConcept C149635348 @default.
- W2466692761 hasConcept C199360897 @default.
- W2466692761 hasConcept C204787440 @default.
- W2466692761 hasConcept C2777904410 @default.
- W2466692761 hasConcept C2780385302 @default.
- W2466692761 hasConcept C31258907 @default.
- W2466692761 hasConcept C41008148 @default.
- W2466692761 hasConcept C71924100 @default.
- W2466692761 hasConcept C75606506 @default.
- W2466692761 hasConcept C93682380 @default.
- W2466692761 hasConceptScore W2466692761C115903868 @default.
- W2466692761 hasConceptScore W2466692761C116253237 @default.
- W2466692761 hasConceptScore W2466692761C120314980 @default.
- W2466692761 hasConceptScore W2466692761C12269588 @default.
- W2466692761 hasConceptScore W2466692761C142724271 @default.
- W2466692761 hasConceptScore W2466692761C149635348 @default.
- W2466692761 hasConceptScore W2466692761C199360897 @default.
- W2466692761 hasConceptScore W2466692761C204787440 @default.
- W2466692761 hasConceptScore W2466692761C2777904410 @default.
- W2466692761 hasConceptScore W2466692761C2780385302 @default.
- W2466692761 hasConceptScore W2466692761C31258907 @default.
- W2466692761 hasConceptScore W2466692761C41008148 @default.
- W2466692761 hasConceptScore W2466692761C71924100 @default.
- W2466692761 hasConceptScore W2466692761C75606506 @default.
- W2466692761 hasConceptScore W2466692761C93682380 @default.
- W2466692761 hasLocation W24666927611 @default.
- W2466692761 hasOpenAccess W2466692761 @default.
- W2466692761 hasPrimaryLocation W24666927611 @default.
- W2466692761 hasRelatedWork W105140237 @default.
- W2466692761 hasRelatedWork W1506856993 @default.
- W2466692761 hasRelatedWork W1536825944 @default.
- W2466692761 hasRelatedWork W1554214695 @default.
- W2466692761 hasRelatedWork W1581842094 @default.
- W2466692761 hasRelatedWork W1985045853 @default.
- W2466692761 hasRelatedWork W2048011269 @default.
- W2466692761 hasRelatedWork W2056219132 @default.
- W2466692761 hasRelatedWork W2066041704 @default.
- W2466692761 hasRelatedWork W2103695245 @default.
- W2466692761 hasRelatedWork W2161550441 @default.
- W2466692761 hasRelatedWork W2281946805 @default.
- W2466692761 hasRelatedWork W2400229654 @default.
- W2466692761 hasRelatedWork W2478258669 @default.
- W2466692761 hasRelatedWork W2492825885 @default.
- W2466692761 hasRelatedWork W2741063489 @default.
- W2466692761 hasRelatedWork W2808877199 @default.
- W2466692761 hasRelatedWork W2912239428 @default.
- W2466692761 hasRelatedWork W2985357924 @default.
- W2466692761 hasRelatedWork W2166214190 @default.
- W2466692761 isParatext "false" @default.
- W2466692761 isRetracted "false" @default.
- W2466692761 magId "2466692761" @default.
- W2466692761 workType "article" @default.