The SDL Specification of the Sliding Window Protocol Revisited

Facchi, Christian; Haubner, Markus; Hinkel, Ursula

doi:10.1016/b978-044482816-3/50034-4

Cited by 6 publications

(3 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is not the first attempt to formally specify the sliding window protocol in SDL [21,22]. Nevertheless, our specification will serve principally as a starting point for protocol generalization.…”

Section: The Basic Protocolmentioning

confidence: 99%

Generalization of the basic sliding window protocol

Hercog

2005

Int. J. Commun. Syst.

View full text Add to dashboard Cite

SUMMARYA new protocol called generalized sliding window protocol is described and formally specified using the Specification and Description Language (SDL). The protocol generality was achieved by appropriately combining the classical go-back-n and selective-repeat protocols that both have traditionally been referred to as sliding window protocols. The proposed protocol is valid for any combination of send and receive window widths. The stop-and-wait, go-back-n and selective-repeat protocols are shown to be its special cases. Simulations show that the protocol efficiency initially increases with the increase of the receive window width, but can saturate or even reach its maximum value at a receive window width that is less than the send window width. This offers more freedom to choose a suitable compromise between buffer lengths and protocol efficiency, and an optimal efficiency may be achieved using less resources than with the selective-repeat protocol. The described protocol can serve as a starting point for the further development of new protocols, but can also be used as a simple, unified and theoretically sound protocol to be taught to telecommunications students.

show abstract

Section: The Basic Protocolmentioning

confidence: 99%

Generalization of the basic sliding window protocol

Hercog

2005

Int. J. Commun. Syst.

View full text Add to dashboard Cite

show abstract

“…This is an area where SDL can potentially significantly improve the development process. In fact, SDL has been successfully applied in the telecommunications field: from the traditional use of protocol specifications [3,26,8] to high level specification [22], prototyping [29], design [24], code generation [10], and testing [11] of telecommunications applications. Although the results reported in these studies were similar to ours, the goal of the studies was different: they were aimed to investigate technical advantages or a feasibility of SDL in a given environment, or were emphasizing only one of the development activities.…”

Section: Qualitative Observationsmentioning

confidence: 99%

Formal Modeling in a Commercial Setting: A Case Study

Wong

Chećhik

1999

FM’99 — Formal Methods

View full text Add to dashboard Cite

Abstract. This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques to telecommunication systems. A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification. Our model was used to identify errors in the software requirements document and to derive test suites, shadowing the existing development process and keeping track of a variety of productivity data.

show abstract

“…Checking for consistency as well as dynamic constraints is emphasised in formal methods and formal specifications. The most popular formal specification languages used for describing the systems are SDL, Lotos, Estelle, PLA (Facchi et al 1996), (Spirakis et al 1996), (Pranevičius 1991(Pranevičius , 2005. Checking the business rules consistency is highly important.…”

Section: Introductionmentioning

confidence: 99%

Pla‐based Formalization of Business Rules and Their Analysis by Means of Knowledge‐based Techniques / Pla Metodu Grįstas Verslo Taisyklių Formalizavimas Ir Analizė Taikant Žiniomis Grįstas Metodikas

Pranevičius

Budnikas

2008

Technological and Economic Development of Economy

View full text Add to dashboard Cite

Abstract. The paper presents an approach that applies the knowledge engineering techniques for representing and analysing business rules. These rules are represented by production rules using concepts of a state-based piece-linear aggregate (PLA) model. A knowledge base of the business rules is analysed by checking its consistency (static properties) and dynamic constraints (dynamic properties). The analysis is performed by applying methods for decision table verification and reachable state validation as well as supporting tools. The proposed approach is illustrated by an example of Userv insurance company services.keywords: business rules, PLA, knowledge base, decision table, consistency and dynamic constraints.Reference to this paper should be made as follows: Pranevičius, H.; Budnikas, G. 2008. PLAbased formalization of business rules and their analysis by means of knowledge-based techniques,

show abstract

The SDL Specification of the Sliding Window Protocol Revisited

Cited by 6 publications

References 3 publications

Generalization of the basic sliding window protocol

Generalization of the basic sliding window protocol

Formal Modeling in a Commercial Setting: A Case Study

Pla‐based Formalization of Business Rules and Their Analysis by Means of Knowledge‐based Techniques / Pla Metodu Grįstas Verslo Taisyklių Formalizavimas Ir Analizė Taikant Žiniomis Grįstas Metodikas

Contact Info

Product

Resources

About