๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal specification of a Web services protocol

โœ Scribed by James E. Johnson; David E. Langworthy; Leslie Lamport; Friedrich H. Vogt

Book ID
113720602
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
192 KB
Volume
70
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Estimating protocol performance using a
Estimating protocol performance using a formal specification model
โœ Raymond E. Miller; Zafar Ullah Chaudhry ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 212 KB

This paper introduces an approach for protocol performance estimation directly from a formal model of the protocol. By using the approach presented in this paper, performance of a protocol can be quickly estimated at an early stage of protocol design. The simplicity of analysis, achieved by determin

Deriving complexity information from a f
Deriving complexity information from a formal communication protocol specification
โœ Sun-Jen Huang; Richard Lai ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 152 KB

Communication software systems have become very large and complex. Recognizing the complexity of such software systems is a key element in their development activities. Software metrics are useful quantitative indicators for assessing and predicting software quality attributes, like complexity. Howe