Selected Publications by Gregor v. Bochmann and his research group

Distributed Systems Research Group, SITE, University of Ottawa (before 1998: Groupe de Recherche en Téléinformatique, Université de Montréal)

 

 
 
 

The selected publications are classified into the following fields:

These publications and others are available here. If some information is missing or erroneous, please contact us.

Note: We follow the ACM Electronic Publishing Plan and Copyright Policy and do not provide copies of the final versions of papers which were published in journals.

Quality of service management - for presentational applications (e.g. electronic commerce)

Some principles for quality of service management

An Approach to QoS Management in Distributed MM Applications: Design and an Implementation

Distributed multimedia applications and quality of service: a review

Quality of Service Negotiation with Present and Future Reservations: A detailed Study

Quality of service adaptation in distributed multimedia applications

Distributed multimedia applications and quality of service: A survey

Enabling technology for distributed multimedia applications

Architectural design of adaptive multimedia systems

A quality of service negotiation procedure for distributed multimedia presentational applications

Meta-data modelling for quality of service management in the World Wide Web

Cost models for distributed multimedia applications

Quality of service management issues in electronic commerce applications

Quality of service management - for conversational and multi-casting applications

Cooperative quality of service management for multimedia applications

Quality of service management for teleteaching applications using the MPEG-4/DMIF

Object-oriented modeling of distributed systems

Object-oriented design for distributed systems: The OSI directory example

A framework for specification evolution of distributed systems

The Macrotec toolset for CASE-based business modelling

A pattern system for network management interfaces

Extending OMT for the Specification of Composite Objects

Approaches to the specification of object associations

Distributed objects with sense of direction

Formal description techniques for communication protocols and services

Protocol specification for OSI

Specifications of a simplified Transport protocol using different formal description techniques

Formal methods for describing distributed systems: A discussion of the experience in OSI standardization

ASN.1 and Estelle implementation support tools

Prolog for industrial software development

On the distributed implementation of LOTOS

Fairness in LOTOS

Fairness of N-party synchronization and its implementation in a distributed environment

Validation / verification of distributed systems

Validation of distributed algorithms and protocols

Reduced reachability analysis of communication protocols: A new approach

Impact of Queued Interaction on Protocol Specification and Verification

Distributed systems and network management

Conception et spécification par objets du contrôle centralisé d'un système de transmission

Performance evaluation for distributed system components

New models for applying automatic reconfiguration in networks and distributed systems

Test development - general aspects and protocol conformance testing

Fault models in testing

Trace analysis for conformance and arbitration testing

Test result analysis with respect to formal specifications

Test result analysis and validation of test verdicts

Test development - based on finite state machine (FSM) models

Test selection based on finite state models

Test generation with respect to distributed interfaces

Software testing based on SDL specifications with SAVE

Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method

Testing deterministic implementations from nondeterministic FSM specifications

A test generation tool for specifications in the form of state machines

On fault coverage of tests for finite state specifications

Test development - based on models of labeled transition systems (LTS)

Modeling Basic LOTOS by FSMs for Conformance Testing

A framework for conformance testing of systems communicating through rendezvous

Checking experiments with labeled transition systems for trace equivalence

Test development - based on models with interaction parameters

Testing Implementations of an Application-Level Communication Protocol: Inter-Library Loan

A Test Design Methodology for Protocol Testing

Application Layer Protocol Testing and ASN1 Support Tools

Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters

Automating the process of test derivation from SDL specifications

An Automatic Trace Analysis Tool Generator for Estelle Specifications

Test development - diagnostic testing

Diagnosis for single transition faults in communicating finite state machines

Multiple fault diagnostics for finite state machines

Diagnosing distributed systems modeled by communicating finite state machines

Test development - testing embedded system components

Testing in context: framework and test derivation

Fault models for testing in context

Deriving protocols from service specifications

Deriving protocol specifications from service specifications including parameters

Deriving protocol specifications from service specifications written in LOTOS

Dérivation de spécifications de protocole à partir de spécifications de service avec des contraintes temps-réel

Protocol synthesis using basic LOTOS and global variables

Deriving communication gateways

Design principles for communication gateways

Deriving protocol converters for communication gateways

A formal method for synthesizing optimized protocol converters and its application to mobile data networks

An efficient method for protocol conversion

Deriving submodules for real-time process control applications

On the Construction of Submodule Specifications and Communication Protocols

On the construction of communication protocols

Submodule construction for systems of I/O automata

Submodule construction tool

A model and an algorithm of subsystem construction

Other formal transformations

Failure-equivalent transformation of transition systems to avoid internal actions

Merging behavior specifications

Specialization in Estelle

Incremental construction approach for distributed system specifications

Historical aspects

Paper describing the results of a physical experiment done at CERN (Geneva), in the context of which I did my master project. I was responsible for programming a PDP-8 computer in assembler for real-time data acquisition and analysis. Some of the papers resulting from my PhD work with Prof. Margolis at McGill University. I did many scientific calculations in Fortran, PL-1 and also used an symbolic formula manipulation system. My first work as a post-doctoral researcher was on neural networks (although this term was not yet invented) in collaboration with Prof. Armstrong.
  • [Arms 74] W. W. Armstrong and G. v. Bochmann, Properties of Boolean functions with a tree decomposition, BIT, 14 (1974), pp. 1-13.
    •  Some contribution to "structured programming"
  • [Boch 73c] G. v. Bochmann, Multiple exits from a loop without the goto, Comm. ACM. 16, pp. 443-444 (1973).
    •  A seminal paper which introduces the notion of a predetermined evaluation order for semantic attributes. This work was inspired by a paper by Knuth introducing the concept of attribute grammars in 1968.
  • [Boch 76c] G. v. Bochmann, Semantic evaluation from left to right, Comm. ACM 19, pp. 55-62 (1976).
    •  My first work on the specification and analysis of communication protocols appeared in 1975. I used the FSM model (the 1978 paper has been much cited) and also a programming language oriented description model involving assertions and invariants. The combination of these approaches was described in 1977 under the title "unified method", which later has been called "extended FSM model". Much of my later work in this area uses this description framework. Around 1980, the work on Formal Description Techniques (FDT) for communication protocols and services started in the ISO standardization committee on Open Systems Interconnection (OSI). There was much hope in industry and academia that formal protocol specifications could be used to obtain communication systems with less errors and interworking problems. Research work concentrated on the development of languages, such as SDL, Estelle and LOTOS, and their use for semi-automatic protocol verification, implementation and testing. Our research team was in the forefront of these developments. The papers below include the first review on formal protocol description methods, the description of one of the first compilers of an FDT that generates implementation code, and two early papers describing the use of FDTs for the development of protocol standards. Later we were also among the first to propose FDT extensions for describing performance aspects. In the early eighties, the issue of conformance testing for OSI protocols came up and there was much interest in methods for automatic test development. Our research group took a leading role in this area, starting with the presentation of the first paper on protocol testing using FSM models at the second International Workshop on Protocol Specification, Testing and Verification (now joint with the FORTE conference), which was held in 1982. Later we introduced new concepts, such as the synchronization problems, test development based on extended FSM models (Sarikaya's PhD thesis), automatic test result analysis and verification of test verdicts, support tools for ASN.1 data types, and testing of non-deterministic systems (more recent references on these topics are also included under the headings above). I learned about temporal logic during my sabbatical year at Stanford University in 1980. The first paper below on hardware specification has been much cited. Later, we considered the introduction of the temporal logic concept of fairness within the FDT LOTOS. A distributed implementation of the LOTOS rendezvous mechanism, including fairness, was also developed. In 1992, the Canadian Institute for Telecommunication Research (CITR, a federal network of centers of excellence) invited me to organize a Major Project in the area of distributed multimedia applications. This was the starting point for my work in the area of quality of service management. The CITR project was later led by Dr. Wong from the University of Waterloo.

    This page was prepared by G.v. Bochmann in July 1999. Last update: July 1999