Proceedings of the
COST 247 International Workshop on

June 17 - 19, 1996
Maribor, Slovenia

Edited by:

• Zmago Brezocnik
• Tatjana Kapus

Organized by:

• Action COST 247
• Faculty of Electrical Engineering and Computer Science
• University of Maribor
• IEEE Slovenia Section
• IEEE Communications Society Chapter of Slovenia

Sponsored by:

• European Commission - COST Telecommunications Secretariat
• Ministry of Science and Technology, Republic of Slovenia
• Marand d.o.o. - Exclusive SUN distributor for Slovenia
• Telekom Slovenije
• IskraTEL

• Foreword
• Program Committee
• Organizing Committee
• Session 1: Invited lecture
  Chairman: Zmago Brezocnik - Slovenia
  

  • Commercial Verification
    

    R. P. Kurshan

• Session 2: Formal system design using SDL
  Chairman: Kemal Inan - Turkey
  

  • A Verifiable Software/Hardware Co-design Using SDL and Cospan
    

    V. Levin, E. Bounimova, O. Basbugoglu, and K. Inan

  • Object Oriented Modelling of Advanced IN Services with SDL-92
    

    F. Lucidi, A. Tosti, and S. Trigila

  • Experience of Using SDL in ISKRATEL
    

    A. Robnik

• Session 3: Formal specification and verification using LOTOS
  Chairman: Hubert Garavel - France
  

  • Specifying and Verifying the Alternating Bit Protocol with Probabilistic-Timed LOTOS
    

    C. Gregorio-Rodriguez, and M. Nunez

  • An Experiment in Formalising and Analysing Railyard Configurations
    

    L.-a. Fredlund, and F. Orava

  • Functionality Decomposition of Basic LOTOS Expressions with Generalised Termination, Enabling and Disabling
    

    M. Kapus-Kolar

• Session 4: Tool demonstration
  Chairman: F. Orava - Sweden
  

  • An Overview of the Eucalyptus Toolbox
    

    H. Garavel

  • TE-LOLA: A Timed Extended LOLA Prototype
    

    G. Rabay, and J. Quemada

• Session 5: The common example: A bounded retransmission protocol for large data packets
  Chairman: Jan Friso Groote - The Netherlands
  

  • Formal Description and Analysis of a Bounded Retransmission Protocol
    

    R. Mateescu

  • Modeling and Verifying a Bounded Retransmission Protocol
    

    P. R. D'Argenio, J.-P. Katoen, T. Ruys, and J. Tretmans

  • Using Lossy Channel Systems for the Verification of Communication Protocols
    

    P. A. Abdulla, and M. Kindahl

• Session 6: Verification
  Chairman: Ken Turner - Great Britain
  

  • Abruptly Terminated Connections in TCP - A Verification Example
    

    I. Schieferdecker

  • Efficient Symbolic Traversal Algorithms using Partitioned Transition Relations
    

    Z. Brezocnik, A. Casar, and T. Kapus

  • Verification of Signal Protocols for Telecommunication Services in Intelligent Network
    

    B. Blaskovic, and I. Lovrek

• Session 7: Protocol Testing 1
  Chairman: Katalyn Tarnay - Hungary
  

  • Testing Theory in Practice: A Simple Experiment
    

    R. Terpstra, L. F. Pires, L. Heerink, and J. Tretmans

  • Testing ISDN Services Based on SDL Specifications
    

    Marjeta Pucko

• Session 8: Protocol Testing 2
  Chairman: Jan Tretmans - The Netherlands
  

  • A Fuzzy Model for Test Results Certification
    

    M. Bohus, L. T. Koczy, and K. Tarnay

• Author Index