IEEE Transactions on Computers

Issue 4 • Apr 1991

Filter Results

Displaying Results 1 - 16 of 16
  • Test generation from LOTOS specifications

    Publication Year: 1991, Page(s):543 - 552
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (764 KB)

    A novel approach is proposed for generating test cases from LOTOS specifications for protocol conformance testing. A set of transformation rules is applied to the specification, and the specification is mapped to an extended finite state machine called a chart. The flow of data in the chart is modeled by a data flow graph. Test cases are generated from the chart. Program testing strategies are app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A well-defined Estelle specification for the automatic test generation

    Publication Year: 1991, Page(s):526 - 542
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1144 KB)

    The characteristics of the Estelle specification language are analyzed and a well-defined specification, a restricted form of an Estelle specification, is proposed based on the analyzed results to enable a direct derivation of a single reduced finite state machine-which is called a CFG (control flow graph)-from the specification written in Estelle. The derived CFG provides a basis for the automati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategic testing environment with formal description techniques

    Publication Year: 1991, Page(s):514 - 525
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (892 KB)

    The authors describe the design of a testing environment, called FOREST (formal environment for systematic testing), for communication systems. The proposed method integrates three major strategies: (1) the use of formal description techniques (FDTs), for their formal semantics, which makes them unambiguous; (2) a stepwise approach to generate appropriate test cases for different test stages; and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The L.0 language and environment for protocol simulation and prototyping

    Publication Year: 1991, Page(s):562 - 571
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (912 KB)

    A description is given of L.0, an executable specification language designed for describing communications protocols and similar reactive systems. L.0 is synchronous and rule-based. The rules are either cause-effect rules or constraints. Rules can be activated and deactivated dynamically, and several can be fired simultaneously. L.0 has modern notions of encapsulation and data sharing. Indirection... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification of real-time broadcast networks

    Publication Year: 1991, Page(s):404 - 422
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1452 KB)

    The authors present a model for specifying real-time protocols that execute on broadcast bus networks. Protocol entities interact by sending and receiving binary signals on buses. The actual propagation of these signals is captured in the proposed model by a set of channel axioms. Protocol entities are specified by sequential programs. The semantics of a set of programming constructs, including tw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructing protocols with alternative functions

    Publication Year: 1991, Page(s):376 - 386
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (844 KB)

    The author describes a method for designing communication protocols which can perform several distinct functions, but are limited to the execution of one function at a time. The construction of such a protocol consists of two steps: (1) developing a component protocol for each function to be included, and (2) integrating the components into the target protocol. The integration involves the resolut... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated approach to design of protocol specifications using protocol validation and synthesis

    Publication Year: 1991, Page(s):459 - 467
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (768 KB)

    The authors propose an integrated approach to protocol specification design and a new method of synthesis of protocol specifications with more than one software module for the approach. In this approach, after designers specify protocols without any restrictions, errors included in the protocol specifications are automatically detected by the acyclic-expansion-based protocol validation and efficie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hierarchical performance evaluation based on formally specified communication protocols

    Publication Year: 1991, Page(s):500 - 513
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1224 KB)

    Combining formal description techniques (FDTs) with performance evaluation (PE) is a requirement known from the `single-specification/multiple-techniques' approach associated with the protocol engineering vision. The approach presented here assumes that a formally defined open systems interconnection (OSI) communication protocol can be syntactically transformed to a form suitable to a performance ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SDE: incremental specification and development of communications software

    Publication Year: 1991, Page(s):553 - 561
    Cited by:  Papers (13)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (892 KB)

    A technique for applying formal message sequence specifications to the full definition of systems is presented. The technique supports automatic transformation of message sequence descriptions into communicating process descriptions that implement the sequences. It also supports hierarchical verification of protocols in the message sequences and process descriptions. Both a language for message se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Broadcast channels in Estelle

    Publication Year: 1991, Page(s):423 - 436
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1052 KB)

    Using notation consistent with the Estelle ISO 9074 International Standard, the syntax and formal semantics for a broadcast channel are presented. These semantics make precise the meaning of an intuitive concept and additionally are compatible with those of the current Estelle FDT (formal description technique). If introduced to the Estelle FDT, broadcast channels would strengthen its specificatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formalization of protocol engineering concepts

    Publication Year: 1991, Page(s):387 - 403
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1456 KB)

    A vast variety of design principles and formal description techniques (FDTs) have been advocated to help contend with the ever-increasing complexity of communication system development. However, the relationship between these principles and FDTs is unclear. The author formalizes a number of concepts relevant to the design principles and FDTs used to develop communication protocols. The concepts ar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesis of communication protocols: survey and assessment

    Publication Year: 1991, Page(s):468 - 476
    Cited by:  Papers (59)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (804 KB)

    Eleven methods for the synthesis of communication protocols are described. Based on particular features of the synthesis process, these methods are classified and compared. In particular, it is noted that interactive methods allow flexibility in the design process; as a result, communication patterns are not prespecified but may be constructed interactively. Methods that only consider the synchron... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A protocol for multirendezvous of LOTOS processes

    Publication Year: 1991, Page(s):437 - 447
    Cited by:  Papers (8)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (808 KB)

    It is noted that the implementation of the multiway rendezvous mechanism of the International Standards Organization (ISO) LOTOS specification language for protocols is very important in the development of tools for the execution of LOTOS. It involves problems such as global knowledge in a distributed environment and distributed agreement. The authors propose a novel algorithm which fully implemen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A user friendly software environment for protocol synthesis

    Publication Year: 1991, Page(s):477 - 486
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (772 KB)

    An attempt is made to design a user-friendly software environment for protocol synthesis based on the FSM (finite state machine), and to show the validity of applying AI (artificial intelligence) techniques to the construction of such a system. For that purpose, the authors have first designed a user-friendly software environment, named SEPS, using the programming language C, which belongs to the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stabilizing communication protocols

    Publication Year: 1991, Page(s):448 - 458
    Cited by:  Papers (81)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (872 KB)

    A communication protocol is stabilizing if and only if starting from any unsafe state (i.e. one that violates the intended invariant of the protocol), the protocol is guaranteed to converge to a safe state within a finite number of state transitions. Stabilization allows the processes in a protocol to reestablish coordination between one another whenever coordination is lost due to some failure. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesizing a protocol converter from executable protocol traces

    Publication Year: 1991, Page(s):487 - 499
    Cited by:  Papers (22)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1176 KB)

    Communicating finite state machines (CFSM's) with FIFO (first in, first out) queues are used to model a protocol converter. A protocol conversion algorithm is developed and presented for the CSFM model of the protocols A and B. A converter H for protocols A=(A0, A1) and B=(B0, B1<... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

The IEEE Transactions on Computers is a monthly publication with a wide distribution to researchers, developers, technical managers, and educators in the computer field.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Paolo Montuschi
Politecnico di Torino
Dipartimento di Automatica e Informatica
Corso Duca degli Abruzzi 24 
10129 Torino - Italy
e-mail: pmo@computer.org