[comp.specification] PSTV X - 10th International Symposium

pk@dduck.ctt.bellcore.com (Peter Koppstein) (05/08/90)

TENTH INTERNATIONAL SYMPOSIUM ON
PROTOCOL SPECIFICATION, TESTING AND VERIFICATION

Sponsored by IFIP WG 6.1

Ottawa, Ont. Canada 12-15 June 1990.

PROGRAM AND REGISTRATION INFORMATION

E-MAIL VERSION 1990 - 5 - 7

Conference Chair: L. Logrippo, R.L. Probert, H. Ural
University of Ottawa - Department of Computer Science
Ottawa - Ont. Canada  K1N 6N5

For program information:
Phone: (613)-564-5450; Fax: (613)-564-9486; E-mail: LMLSL@UOTTAWA.BITNET

For registration, hotel reservation information, and
copies of the Symposium brochure, please contact
Kathy Mahoney (see below).

-------------------------------------------------------------------------
Program Committee: G.v. Bochmann (U. of Montreal, Canada),
E. Brinksma (U. of Twente, NL), A . Danthine (U. of Liege, Belgium),
M. Diaz (LAAS/CNRS, France), J. DeMeer (GMD FOKUS, FRG),
R. Gotzhein (U. of Hamburg, FDG), M. Gouda (U. of Texas, USA),
M. Hornbeek (BNR, Canada), C. Jard (U. of Rennes-IRISA, France),
J. Linn (NIST, USA), R. Miller (U. of Maryland, USA),
K. Okumura (IBM Tokyo Res. Lab, Japan), B. Pehrson (SICS, Sweden),
J. Quemada (U. of Madrid, Spain), H. Rudin (IBM Zurich Res. Lab.,
Switzerland), K. Sabnani (AT&T Bell Labs, USA), B. Sarikaya
(Concordia University, Canada), A.U. Shankar (U. of Maryland, USA),
U. Uyar (AT&T Bell Labs, USA), S.T. Vuong (U. of British Columbia, Canada
------------------------------------------------------------------------

Tuesday, June 12 - Tutorial Day (parallel sessions)

Session 1 (10:30 - 12:00)

Graphic LOTOS. E. Najm (INRIA, France)
High-Speed Protocols. K. Sabnani and B. Doshi (AT&T, USA)

Session 2 (13:30 - 15:00)
Z and its Applications. G. Rose (University of Queensland, Australia)
ISDN Testing. W.M. Chan (BNR, Canada)

Session 3 (15:30 - 17:00)
Temporal Logic and its Applications.
R. Gotzhein (University of Hamburg, FRG).
Protocol Validation. Principles and Applications
C. West (IBM Zurich Res. Lab., Switzerland)

------------------------------------------------------------------------

Wednesday, June 13 - Symposium (Day 1)

(8:45) Symposium Opening
George C. Smyth (Chairman and President, Bell-Northern Research)

(9:00 - 10:30) Session 1 - SPECIFICATION AND DESIGN
Chair: D. Hogrefe (University of Bern, Switzerland)

P. King, G. Smith (University of Queensland, Australia).
Formalisation of behavioural and structural concepts for communication
systems.

F.A. Stomp (University of Nijmegen, The Netherlands).
A derivation of a broadcasting protocol using
sequentially phased reasoning.

R.L. Tenney (University of Massachusetts, U.S.A.).
Modelling flow control in Estelle.

(11:00 - 12:00) Invited Paper. Protocol Testing: The first ten years,
the next ten years. D. Sidhu (University of Maryland, U.S.A.).

(13:30 - 15:00) Session 2 - TESTING
Chair: A.T. Dahbura (AT&T Bell Labs, U.S.A.)

J. Pachl (IBM Zurich Research Laboratory, Switzerland).
A notation for specifying test selection criteria.

M.-S. Chen (IBM Watson Research, U.S.A.), Y. Choi (ETRI, S.Korea),
A. Kershenbaum (Poly. University Brooklin, U.S.A.).
Approaches utilizing segment overlap to minimize test sequences.

S. Eswara, T. Berriman, P. VanHoutte and B. Sarikaya
(Concordia University, Canada).
Towards execution of TTCN test cases.

(15:30 - 17:00) Session 3 - TESTING AND IMPLEMENTATION
Chair: I.C. Davidson (Corporation for Open Systems)

A. A. R. Cockburn, W. Citrin, R.F. Hauser, J. von Kaenel
(IBM Zurich Research Laboratory, Switzerland).
An environment for interactive design of communications architectures.

N.P. Alfano, B. Kanungo (Bell-Northern Research, Canada).
Development of an international standard
for conformance testing X.25 DTEs.

M. Bilgic and B.Sarikaya (Concordia University, Canada).
An ASN.1 encoder/decoder and its performance

(17:30 - 18:45) PANEL. Protocol Testing. M. Hornbeek (mod.), W.M. Chan,
D. Dwyer, D. Su, U. Uyar.

------------------------------------------------------------------------

Thursday, June 14 - Symposium (Day 2)

(9:00 - 10:30) Session 4 - IMPLEMENTATION AND SPECIFICATION
Chair: N. Shiratori (Tohoku University, Japan)

P. van Eijk, H. Kremer, M. van Sinderen (University of Twente,
The Netherlands).
On the use of specification styles for automated protocol implementation
from LOTOS to C.

S. Nomura, T. Hasegawa, T.Takizuka (Telecomm. Softw. Lab.
KDD Kamifukuoka, Japan).
A LOTOS compiler and process synchronization manager.

H. Ichikawa, K. Yamanaka, J. Kato (NTT Software Labs., Japan).
Incremental specification in LOTOS.

(11:00 - 12:00) Invited Paper. Protocol Verification: The first ten
years, the next ten years. R.E. Miller (U. of Maryland, U.S.A.).

(13:30 - 15:00) Session 5 - VERIFICATION AND DESIGN
Chair: G.J. Holzmann (AT&T Bell Labs, U.S.A.)

R. Langerak (University of Twente, The Netherlands).
Decomposition of functionality:
a correctness-preserving LOTOS transformation.

K. Rudie, W.M. Wonham (University of Toronto, Canada).
Supervisory control of communicating processes.

Y. Souissi (Bull Corporate Research Centre, France).
A modular approach for the validation of communication protocols
using FIFO nets.

(15:30 - 16:30) Session 6 - ALGEBRAIC TECHNIQUES
Chair: J.P. Courtiat (LAAS-CNRS, France)

J.F. Groote (Centre for Mathematics and Computer Science, The
Netherlands).
Specification and verification of real-time systems in ACP.

F. Orava, J. Parrow (Swedish Institute of Computer Science).
Algebraic description of mobile networks: an example

(17:00 - 18:15) PANEL. Protocol Verification. B.Pehrson (mod.),
M. Gouda, K. Sabnani, S. Smolka, C. West.

-----------------------------------------------------------------------

Friday, June 15 - Symposium (Day 3)

(9:00 - 10:30) Session 7 - LOGIC SPECIFICATION
Chair: G.v. Bochmann (Universite de Montreal, Canada)

R. Gotzhein (University of Hamburg, FRG).
Specifying communication services with temporal logic.

E. Snekkenes (Alcatel STK, Norway).
Authentication in Open Systems.

R. Duke, G. Rose, A. Lee (University of Queensland, Australia).
Object-oriented protocol specification.

(11:00 - 12:00) Invited Paper. Protocol Specification: The first
ten years, the next ten years. C.A. Vissers (University of Twente,
The Netherlands).

(13:30 - 15:00) Session 8 - LOTOS AND VERIFICATION
Chair: J. Quemada Vives (University of Madrid, Spain).

A. Fantechi, S. Gnesi (C.N.R.-I.E.I., Italy),
G. Ristori (Consorzio Pisa Ricerche, Italy).
Compositional logic semantics and LOTOS

H. Garavel (VERILOG, France), J. Sifakis (L.G.I.-I.M.A.G., France).
Compilation and verification of LOTOS specifications.

T. Bolognesi, (C.N.R.-C.N.U.C.E., Italy)
F. Lucidi, S. Trigila (Fondazione Bordoni, Italy).
>From timed petri nets to timed LOTOS.

----------------------------------------------------------------------

REGISTRATION INFORMATION - All amounts in Canadian Dollars

Conference Registrar:
Kathy Mahoney
Ottawa-Carleton Research Institute
340 March Road, 4th Floor
Kanata, Ont. K2K 2E4
Tel: (613)592-8160 Fax: (613)592-8163


                      Prior to May 11, /90           Late Registration
Tutorial Only              $160                           $171
Symposium Only             $330                           $400
Tutorial & Symposium       $400                           $450
Students                   $150                           $150

Please send cheque or money order in Canadian Dollars payable to:
Ottawa-Carleton Research Institute

It is possible to pay by credit card, by calling number above.

HOTEL RESERVATION:
Chateau Laurier Hotel
1 Rideau Street
Ottawa, Ont. Canada
K1N 8S7

Single $120/night, double $135/night

Dial toll-free 800-268-9411 (Canada) or 800-828-7447 (USA)
or direct 613-232-6411.  A block of rooms will be kept until
May 11, 1990.  Please reference 1990 IFIP - WG6.1.
Book early to avoid disappointment.
Peter
(201) 699-7370, pk@ctt 
(Internet: pk@bellcore.bellcore.com; UUCP: ...{mcvax,rutgers}!bellcore!pk)