azcorra@dit.upm.es (Arturo Azcorra) (10/03/90)
Dear all:
I am submitting the FORTE 90 final programme again because news are usually
deleted every 15 days and not everybody reads the news that often.
See you in Spain, Arturo
---------------------------------------------------------------------------
F O R T E ' 9 0
Third International Conference on:
FORMAL DESCRIPTION TECHNIQUES
Advanced Program
5-8 November, 1990 - MADRID, SPAIN
CONFERENCE CHAIR:
Juan Quemada
Jose Manas
Enrique Vazquez
Dept. Ingenieria Telematica - Univ. Pol. de Madrid
tf: +34-1-5495700, fax: +34-1-2432077
e-mail: jquemada@dit.upm.es
pepe@dit.upm.es
evazquez@dit.upm.es
---------------------------------------------------------------------------
SPONSORED by IFIP TC6.1
In cooperation with ACM SIGCOMM, FESI and Spanish section of IEEE.
---------------------------------------------------------------------------
MONDAY 5: TUTORIAL DAY
[09h30 - 10h30] Registration
[10h30 - 12h30] Parallel Sessions
Tutorial A (Auditorium): ``Object Oriented SDL'', Birger Moeler-Pedersen,
Norw. Comp. Center.
Tutorial B (Room F): ``Graphic LOTOS'', Elie Najm, INRIA.
[12h45 - 14h00] Lunch
[14h00 - 16h00] Parallel Sessions
Tutorial C (Auditorium): ``LOTOS based Design'', Arturo Azcorra, Tech.
Univ. of Madrid.
Tutorial D (Room F): ``ASN.1'', Son Vuong, University of British
Columbia.
[16h00 - 16h30] Break
[16h30 - 18h30] Parallel Sessions
Tutorial E (Auditorium): ``Estelle based Design'', Deepinder Sidhu,
Univ. of Maryland.
Tutorial F (Room F): ``Abstract Data Types'', Manfred Broy, Tech. Univ.
Muenchen.
[19h00 - 20h00] Welcome Reception and Registration
Note: basic knowlegde of the corresponding FDTs is convenient for a proper
comprehension of the tutorial sessions.
---------------------------------------------------------------------------
TUESDAY 6:
[08h00 - 09h00] Registration
[09h00 - 09h15] Opening Session
[09h15 - 10h15] Invited Presentation (Auditorium): ``Methodological
Objectives of Formal Description Techniques'', Manfred Broy, Technische
Universitaet Muenchen.
[10h15 - 10h30] Invited Responder: ``The Industrial Perspective'', Angel
Perez Riesco, Alcatel Standard Electrica.
[11h00 - 12h30]
Session 1 (Auditorium): Theoretical Foundations of FDTs
Chair: Ed Brinksma
``How much Expressive are LOTOS Behaviour Expressions?'', A.
Fantechi, M. Gnesi, S. Mazzarini, IEI-CNR.
``A Temporal Process Algebra'', M. Hennesy, T. Regan, Univ. of Sussex.
``A Hoare-style Proof System for LOTOS'', S. Gallouzi, L. Logrippo,
Univ. of Ottawa.
[12h45 - 14h00] Lunch
[14h00 - 15h30] Parallel Sessions
Session 2 A (Auditorium): Verification
Chair: Bjorn Pehrson
``Synchronic Distance in Process Algebra'', H. Zuidweg, PTT Neher
Laboratories.
``Rewrite Systems for Protocol Specification and Verification'', S.
Ramananthan, G. Sivakumar, Univ. of Delaware.
``Verifying Bisimulations on the Fly'', J. Fernandez, L. Mounier,
IMAG - LGI.
Session 2 B (Room F): Presentation of Tool Demonstrations I
Chair: Dieter Hogrefe
(To be provided)
[15h30 - 16h00] Break
[16h00 - 17h30] Parallel Sessions
Session 3 A (Auditorium): Transformation ,
Chair: Tommasso Bolognesi
``An Approach to Specifying and Synthesizing Communicating
Processes'', H. Erdogmus, R. Johnston, Universite du Quebec.
``A Compilation of Algebraic Processes Based on Extended Action
Derivation'', G. Karjoth, IBM - Zurich.
``Translation from TTCN to LOTOS and the validation of test cases'',
M. Dubuc, G. Bochmann, O. Bellal, F. Saba, Univ. de Montreal.
Session 3 B (Room F): Presentation of Tool Demonstrations II ,
Chair: Luigi Logrippo
(To be provided)
[17h30 - 18h00] Break
[18h00 - 19h00] Panel Session: From Specifications to Implementations,
Chair: Chris A. Vissers, University of Twente.
Speakers: (to be provided)
---------------------------------------------------------------------------
WEDNESDAY 7:
[09h00 - 10h30]
Session 4 (Auditorium): Testing I
Chair: Son Vuong
``"Formal Methods to Assist Conformance Testing" A case study'', C.
Wezeman, S. Batley, J. Lynch, British Telecom.
``From Estelle specifications to industrial test suites, using an
empirical approach'', M. Phalippou, R. Groz, CNET LAA.
``A Test Case Generation for Protocols Specified in Estelle'', J.
Chun, P. Amer, Univ. of Delaware.
[10h30 - 11h00] Break
[11h00 - 11h45] Invited Presentation (Auditorium): ``Conformance Testing
based on Formal Methods'', Dieter Hogrefe, CCITT rapporteur for Testing
and Verification, U. of Bern.
[11h45 - 12h45]
Session 5 (Auditorium): Languages and Time ,
Chair: Michel Diaz
``L.0: A Language for Modeling and Prototyping Communications
Software'', E. Cameron, D. Cohen, L. Ness, H. Srinidhi, Bellcore.
``Protocol Analysis using a timed version of SDL'', F. Bause, P.
Buchholz, Universitaet Dortmund.
[12h45 - 14h00] Lunch
[14h00 - 15h30] Parallel Sessions
Session 6 A (Auditorium): Application of FDTs - I ,
Chair: Chris Vissers
``Step-wise Refinement Design Example Using LOTOS'', L. Pires - Univ.
of Twente, W. Lopes de Souza - Univ. da Paraiba.
``A Bus Instrumentation Protocol, specified in LOTOS'', P. Azema, K.
Drira, F. Vernadat, LAAS du CNRS.
``Experience in Validating Protocol Integration using Estelle'', J.
Jezequel, TRANSPAC.
``Transferring Formal Techniques to Industry'', R. Duke, G. Rose, G.
Smith, Univ. of Queensland.
Session 6 B (Room F): Testing II
Chair: Gregor Bochmann
``OSI Testing Environment Based on the Standardized Formalism'', K.
Katsuyama, F. Sato, T. Nakakawaji, T. Mizuno, Mitsubishi Electronics.
``Support for ASN.1 within a Protocol Testing Environment'', M.
Sample, G. Neufeld, Univ. of British Columbia.
``Distributed observation and FIFO queues'', R. Dssouli - Universite
de Sherbrooke, R. Fournier, G. Bochmann - Univ. of Montreal.
``Concurrent Modelling in LOTOS as a Solution to Real Time
Problems'', J. Martin, J. Robles, L. Fuertes, ELECTRONICA ENSA
[15h30 - 16h00] Break
[16h00 - 17h30] Parallel Sessions
Session 7 A (Auditorium): Application of FDTs - II ,
Chair: Edwin Wiedmer
``The CCSDS Protocol Validation Programme Inter Agency Testing using
LOTOS'', C. Taylor - European Space Agency, M. Gamble - LOGICA.
``Experience in the Development of an ISDN Layer 3 Service in
LOTOS'', J. Navarro, P. San Martin, ALCATEL S. E.
``Use of Estelle, LOTOS and ASN.1 in one project'', J.A. Saras, J.
Berrocal, J. Riera, DIT-UPM.
``Formal Specification and Verification of a Network Atomic Multicast
Protocol'', M. Baptista - INESC, S. Graf, et al. LGI-IMAG
Session 7 B (Room F): Language Enhancements ,
Chair: Ken Parker
``Extending SDL with a Procedural Data Concept'', A. Olsen, TFL.
``Interfacing ASN.1 and Estelle: A Practical Approach'', P.
Dembinski, Polish Academy of Science
``Automatic translation of Time Petri Nets into Estelle
description'', A. Alkhechi, S. Budkowski, BULL.
``Adding Interaction Sets to Estelle'', R. Tenney, Univ. of
Massachusetts.
[17h30 - 18h00] Break
[18h00 - 19h00] Panel Session: Industrialization of FDTs
Chair: Gordon Rose, University of Queensland.
Speakers: (to be provided)
[21h00] - Conference Dinner. After Dinner Speaker: Ken Turner.
---------------------------------------------------------------------------
THURSDAY 8:
[09h00 - 10h30] Session 8 (Auditorium): Design by Stepwise Refinement
Chair: Ken Turner
``The SRTS experience: Using LOTOS for Design and Realization'', T. de
Miguel, T. Robles, J. Salvachua, A. Azcorra, Tech. Univ. of Madrid.
``Stepwise production of an SDL Specification'', O. Faergemand, DFL.
``On the Design and Formal Specification of a Transaction Processing
Protocol'', M. van Sinderen, I. Widya, Univ. of Twente.
[10h30 - 11h00] Break
[11h00 - 11h45] Invited Presentation (Auditorium):
``ODP/DAF, The Next Target For The Application of FDTs'', Jean-Bernard
Stefani, ISO and CCITT Rapporteur of ODP/DAF Group on Modelling and
Specification, CNET.
[11h45 - 12h45] Session 9 (Auditorium): Graphical Representations of FDTs ,
Chair: Elie Najm
``Process Topology Diagrams'', J. Hinterplattner, H. Nirschl, H. Saria,
Alcatel Austria.
``Graphical Composition Theorems for Parallel Hiding Operators'', T.
Bolognesi - CNUCE, D. de Frutos, Y. Ortega-Mallen - Univ. Complutense
de Madrid.
[12h45 - 14h00] Lunch
[14h00 - 15h30] Session 10 (Auditorium): Application of FDTs - III
Chair: Guenter Karjoth
``On the Technology Transfer of Formal Methods: An Experience on
LOTOS'', G. Leon, Tech. Univ. of Madrid.
``Design, Implementation and Validation of a Multi-Peer Protocol using
Estelle'', M. Guilmet - BULL, P. Thomas, B. Traverson - MASI/INRIA.
``Specifying the Xpress Transfer Protocol using Estelle and Valira'', Y.
Cheung, J. Atwood, Concordia University.
[15h30 - 15h40] Closing Session
---------------------------------------------------------------------------
TOOL DEMONSTRATIONS:
The Conference will include tool demonstrations for supporting FDT based
design. The preliminary list of tools to be demonstrated is:
``A Prototype for Dynamic Analysis of SDL Specifications'' , A. Ek and
J. Ellsberger, Telesoft.
``A LOTOS Interpreter for Simulating Real Time Behaviour'' , C.J. Fidge,
U. of Queensland.
``TOPO: A full LOTOS to C compiler'' , T. de Miguel, T. Robles, J.
Salvachua, Technical University of Madrid.
``Experiments using Term Rewriting Techniques for Concurrency'' ,
C. Kirkwood - Univ. of Glasgow, K. Norrie - Univ. of London.
``An Incremental and Graphical Editor for GLOTOS'' , P. Franchi -
CERISI, A. Zarli - Univ. de Nice.
``The PEDS Toolkit'' , W. Majurski, NIST.
``ASN.1 and Estelle Implementation Support Tools'' , G. Bochmann and D.
Oumiet, Univ. of Montreal.
``AC: An ASN.1-C language Compiler'' , J. F. Serra and V. M. Pauilino,
Instituto de Engenheria de Sistemas e Computadores.
``A LOTOS Simulator in OBJ'' , K. Ohmaki, K. Takahashi, K. Futatsugi,
Tsukuba.
``L.0: A Language for Modelling and Prototyping Communications
Software'' , Cameron, Cohen, Ness, Srinidsi, Bellcore.
``Disco Specification Language: Marriage of Objects and Actions'' , H.
Jarvinen R. Kurki, Tampere University.
``One2One: Tool for translating ASN.1 to ACT ONE'' , F. Brady A. Boshier D.
Pitt B. M. Szczygiel, NPL.
``Analysis of LOTOS Specifications with Petri Nets'' , J. Pavon,
S. Marchena, Alcatel S. E.
``NIST: An integrated Tool Set for Estelle'' , R. Sijelmassi
B.Starusser, NIST.
``An Executor for Graphical LOTOS'' , T. Cheung Y. Yo, University
of Ottawa.
``Protocol Visualization of Estelle Specifications'' , D. New and P. Amer,
Univ. of Delaware.
``Automatic Code Generator from SDL to C++'' , K. Miyake, Y. Shigeta, W.
Tanaka, H. Hasegawa, OKI.
``LCRIS: A LOTOS PC based Integrated Environment'' , H. Maia Lima and G.
Rabay, Telebras.
``LOLA: A LOTOS Symbolic Execution and Transformation Tool'' , S.
Pavon, Technical University of Madrid.
``The University of Ottawa LOTOS Interpreter , L. Logrippo,
University of Ottawa.
``The Madrid ASN.1 Tool Set for big Messages'' , J. Seoane, Technical
University of Madrid.
``PIL: A Tool for Pre-implementation of LOTOS'' , J. Queiroz, A.
Serhrouchni, P. Cunha, E. Najm, INRIA.
``PROMPT: A tool for Automatic Protocol Implementation'' , K. Parker,
Telecom Australia.
``The LOTOSPHERE Advanced Simulator'' , P. van Eyck,
University of Twente.
---------------------------------------------------------------------------
---------------------------------------------------------------------------
F O R T E ' 9 0
R E G I S T R A T I O N
5-8 November, 1990, Madrid, SPAIN
---------------------------------------------------------------------------
Complete this form and return it to:
Fundacion Universidad Empresa (FORTE90)
Serrano Jover 5 - planta 7
28015, Madrid
SPAIN
tf: + 34 1 5419600, 5419003
fax: +34 1 2470652
Registration Fees: Early Registration Late Registration
(Before October 10th)
Tutorial fee: [ ] 13.000 Pta [ ] 16.000 Pta
Conference only: [ ] 32.000 Pta [ ] 38.000 Pta
Tutorial + Symposium: [ ] 39.000 Pta [ ] 45.000 Pta
Student fee: [ ] 25.000 Pta [ ] 29.000 Pta
(Proof of Student status must be attached)
Regular fee covers: welcome reception, conference, proceedings, meals
and conference dinner (Conference). Tutorials and meal (Tutorials).
Student fee covers: conference, tutorials and proceedings.
Conference Dinner (Extra ticket): 6000 Pta
Name:
Address:
Passport or Identity Card Number: Country:
Company:
Telephone: Fax: Email:
Payment (check one): Check [ ], Bank Transfer [ ] (must be in Pesetas)
Make Check payable to "Fundacion Universidad Empresa" and enclose
it with registration.
Make Transfer to account: c/c 19802/90, Banco Central, Oficina
Principal, Alcala 49, 28014-Madrid, SPAIN. USE REFERENCE: FORTE90 .
---------------------------------------------------------------------------
---------------------------------------------------------------------------
F O R T E ' 9 0
H O T E L R E S E R V A T I O N
5-8 November, 1990, Madrid, SPAIN
---------------------------------------------------------------------------
FORTE'90 Hotel reservations can be provided by:
Ignacio Villanueva
Viajes Excelsior (FORTE'90).
Claudio Coello, 86 Bajo Iz.
28006, Madrid
SPAIN
tf: + 34 1 4313268
fax: +34 1 5752646
Telex: 22503
Indicative Hotel rates: Single Room Double Room
(Please check one)
3 stars (*) 6.500 Pta 9.500 Pta
4 stars 8.500 Pta 12.000 Pta
5 stars 16.000 Pta 24.000 Pta
(*) 3 star Hotels will not be within a walking distance of the
Conference location.
Name:
Address:
Company:
Arrival: Departure:
Telephone: Fax: Email:
Credit Card type: VISA [ ], American Express [ ], Diners [ ], Eurocard [ ].
Credit Card number: Expiration date:
Surname:
Signature:
Payment (check one): Credit Card [ ]
Check [ ]
Bank Transfer [ ] (must be in Pesetas).
Make Check payable to: "Viajes Excelsior" and enclose it with registration.
Make Transfer to account: c/c 211.1, Banco Guipuzcoano, Sucursal 13,
Ortega y Gasset 13, 28006-Madrid, SPAIN. USE REFERENCE: FORTE90 .
Viajes Excelsior can also provide special arrangements, such as excursions,
visits, trip extensions,... Special arrangements should be negotiated
directly with Viajes Excelsior.
--
Arturo Azcorra
Dpto. Telematica
E.T.S.I. Telecomunicacion
Ciudad Universitaria
E-28040 MADRID
SPAIN
tel: +34 1 5495700 E-mail: aazcorra@dit.upm.es
+34 1 5495762 aazcorra@goya.uucp
ext: 375, 368
fax: +34 1 2432077 tlx: 47430 ETSIT Eazcorra@dit.upm.es (Arturo Azcorra) (10/16/90)
Here follows the (reviewed) announcement and registration information for
the IFIP-FORTE conference to be held in Madrid. Should any error be
detected, please report it by e-mail to: azcorra@dit.upm.es
---------------------------------------------------------------------------
F O R T E ' 9 0
Third International Conference on:
FORMAL DESCRIPTION TECHNIQUES
Advanced Program
5-8 November, 1990 - MADRID, SPAIN
CONFERENCE CHAIR:
Juan Quemada
Jose Manas
Enrique Vazquez
Dept. Ingenieria Telematica - Univ. Pol. de Madrid
tf: +34-1-5495700, fax: +34-1-2432077
e-mail: jquemada-pepe-evazquez@dit.upm.es
---------------------------------------------------------------------------
SPONSORED by IFIP WG6.1
In cooperation with ACM SIGCOMM, FESI and Spanish section of IEEE.
---------------------------------------------------------------------------
CONFERENCE LOCATION
Spanish Ministery of Industry, Paseo de la Castellana 160, 28046 Madrid.
Presentations: Auditorium and room F Tool demos: Sala de Prensa.
---------------------------------------------------------------------------
MONDAY 5: TUTORIAL DAY
[09h30 - 10h30] Registration
[10h30 - 12h30] Parallel Sessions
Tutorial A (Auditorium): ``Object O SDL based Design'', B. Moeler-Pedersen,
Norw. Comp. Center.
Tutorial B (Room F): ``Graphic LOTOS'', Elie Najm, INRIA.
[12h45 - 14h00] Lunch
[14h00 - 16h00] Parallel Sessions
Tutorial C (Auditorium): ``LOTOS based Design'', Arturo Azcorra, Tech.
Univ. of Madrid.
Tutorial D (Room F): ``ASN.1'', Son Vuong, University of British
Columbia.
[16h00 - 16h30] Break
[16h30 - 18h30] Parallel Sessions
Tutorial E (Auditorium): ``Estelle based Design'', Deepinder Sidhu,
Univ. of Maryland.
Tutorial F (Room F): ``Abstract Data Types'', Manfred Broy, Tech. Univ.
Muenchen.
[19h00 - 20h00] Welcome Reception and Registration
Note: basic knowlegde of the corresponding FDTs is convenient for a proper
comprehension of the tutorial sessions.
---------------------------------------------------------------------------
TUESDAY 6:
[08h00 - 09h00] Registration
[09h00 - 09h15] Opening Session
[09h15 - 10h15] Invited Presentation (Auditorium): ``Methodological
Objectives of Formal Description Techniques'', Manfred Broy, Technische
Universitaet Muenchen.
[10h15 - 10h30] Invited Responder: ``The Industrial Perspective'', Angel
Perez Riesco, Alcatel Standard Electrica.
[11h00 - 12h30]
Session 1 (Auditorium): Theoretical Foundations of FDTs
Chair: Ed Brinksma
``How much Expressive are LOTOS Behaviour Expressions?'', A.
Fantechi, M. Gnesi, S. Mazzarini, IEI-CNR.
``A Temporal Process Algebra'', M. Hennesy, T. Regan, Univ. of Sussex.
``A Hoare-style Proof System for LOTOS'', S. Gallouzi, L. Logrippo,
A. Obaid, Univ. of Ottawa.
[12h45 - 14h00] Lunch
[14h00 - 15h30] Parallel Sessions
Session 2 A (Auditorium): Verification
Chair: Bjorn Pehrson
``Synchronic Distance in Process Algebra'', H. Zuidweg, PTT Neher
Laboratories.
``Rewrite Systems for Protocol Specification and Verification'', S.
Ramananthan, G. Sivakumar, Univ. of Delaware.
``Verifying Bisimulations on the Fly'', J. Fernandez, L. Mounier,
IMAG - LGI.
Session 2 B (Room F): Presentation of Tool Demonstrations I
Chair: Dieter Hogrefe
(To be provided)
[15h30 - 16h00] Break
[16h00 - 17h30] Parallel Sessions
Session 3 A (Auditorium): Transformation ,
Chair: Tommasso Bolognesi
``An Approach to Specifying and Synthesizing Communicating
Processes'', H. Erdogmus, R. Johnston, Universite du Quebec.
``A Compilation of Algebraic Processes Based on Extended Action
Derivation'', G. Karjoth, IBM - Zurich.
``Translation from TTCN to LOTOS and the validation of test cases'',
M. Dubuc, G. Bochmann, O. Bellal, F. Saba, Univ. de Montreal.
Session 3 B (Room F): Presentation of Tool Demonstrations II ,
Chair: Luigi Logrippo
(To be provided)
[17h30 - 18h00] Break
[18h00 - 19h00] Panel Session: From Specifications to Implementations,
Chair: Chris A. Vissers, University of Twente.
Speakers: (to be provided)
---------------------------------------------------------------------------
WEDNESDAY 7:
[09h00 - 10h30]
Session 4 (Auditorium): Testing I
Chair: Son Vuong
``"Formal Methods to Assist Conformance Testing" A case study'', C.
Wezeman, S. Batley, J. Lynch, British Telecom.
``From Estelle specifications to industrial test suites, using an
empirical approach'', M. Phalippou, R. Groz, CNET LAA.
``A Test Case Generation for Protocols Specified in Estelle'', J.
Chun, P. Amer, Univ. of Delaware.
[10h30 - 11h00] Break
[11h00 - 11h45] Invited Presentation (Auditorium): ``Conformance Testing
based on Formal Methods'', Dieter Hogrefe, CCITT rapporteur for Testing
and Verification, U. of Bern.
[11h45 - 12h45]
Session 5 (Auditorium): Languages and Time ,
Chair: Michel Diaz
``L.0: A Language for Modeling and Prototyping Communications
Software'', E. Cameron, D. Cohen, L. Ness, H. Srinidhi, Bellcore.
``Protocol Analysis using a timed version of SDL'', F. Bause, P.
Buchholz, Universitaet Dortmund.
[12h45 - 14h00] Lunch
[14h00 - 15h30] Parallel Sessions
Session 6 A (Auditorium): Application of FDTs - I ,
Chair: Chris Vissers
``Step-wise Refinement Design Example Using LOTOS'', L. Pires - Univ.
of Twente, W. Lopes de Souza - Univ. da Paraiba.
``A Bus Instrumentation Protocol, specified in LOTOS'', P. Azema, K.
Drira, F. Vernadat, LAAS du CNRS.
``Experience in Validating Protocol Integration using Estelle'', J.
Jezequel, TRANSPAC.
``Transferring Formal Techniques to Industry'', R. Duke, G. Rose, G.
Smith, Univ. of Queensland.
Session 6 B (Room F): Testing II
Chair: Gregor Bochmann
``OSI Testing Environment Based on the Standardized Formalism'', K.
Katsuyama, F. Sato, T. Nakakawaji, T. Mizuno, Mitsubishi Electronics.
``Support for ASN.1 within a Protocol Testing Environment'', M.
Sample, G. Neufeld, Univ. of British Columbia.
``Distributed observation and FIFO queues'', R. Dssouli - Universite
de Sherbrooke, R. Fournier, G. Bochmann - Univ. of Montreal.
``Concurrent Modelling in LOTOS as a Solution to Real Time
Problems'', J. Martin, J. Robles, L. Fuertes, ELECTRONICA ENSA
[15h30 - 16h00] Break
[16h00 - 17h30] Parallel Sessions
Session 7 A (Auditorium): Application of FDTs - II ,
Chair: Edwin Wiedmer
``The CCSDS Protocol Validation Programme Inter Agency Testing using
LOTOS'', C. Taylor - European Space Agency, M. Gamble - LOGICA.
``Experience in the Development of an ISDN Layer 3 Service in
LOTOS'', J. Navarro, P. San Martin, ALCATEL S. E.
``Use of Estelle, LOTOS and ASN.1 in one project'', J.A. Saras, J.
Berrocal, J. Riera, DIT-UPM.
``Formal Specification and Verification of a Network Atomic Multicast
Protocol'', M. Baptista - INESC, S. Graf, et al. LGI-IMAG
Session 7 B (Room F): Language Enhancements ,
Chair: Ken Parker
``Extending SDL with a Procedural Data Concept'', A. Olsen, TFL.
``Interfacing ASN.1 and Estelle: A Practical Approach'', P.
Dembinski, Polish Academy of Science
``Automatic translation of Time Petri Nets into Estelle
description'', A. Alkhechi, S. Budkowski, BULL.
``Adding Interaction Sets to Estelle'', R. Tenney, Univ. of
Massachusetts.
[17h30 - 18h00] Break
[18h00 - 19h00] Panel Session: Industrialization of FDTs
Chair: Gordon Rose, University of Queensland.
Speakers: (to be provided)
[21h00] - Conference Dinner. After Dinner Speaker: Ken Turner.
---------------------------------------------------------------------------
THURSDAY 8:
[09h00 - 10h30] Session 8 (Auditorium): Design by Stepwise Refinement
Chair: Ken Turner
``The SRTS experience: Using LOTOS for Design and Realization'', T. de
Miguel, T. Robles, J. Salvachua, A. Azcorra, Tech. Univ. of Madrid.
``Stepwise production of an SDL Specification'', O. Faergemand, DFL.
``On the Design and Formal Specification of a Transaction Processing
Protocol'', M. van Sinderen, I. Widya, Univ. of Twente.
[10h30 - 11h00] Break
[11h00 - 11h45] Invited Presentation (Auditorium):
``ODP/DAF, The Next Target For The Application of FDTs'', Jean-Bernard
Stefani, ISO and CCITT Rapporteur of ODP/DAF Group on Modelling and
Specification, CNET.
[11h45 - 12h45] Session 9 (Auditorium): Graphical Representations of FDTs ,
Chair: Elie Najm
``Process Topology Diagrams'', J. Hinterplattner, H. Nirschl, H. Saria,
Alcatel Austria.
``Graphical Composition Theorems for Parallel Hiding Operators'', T.
Bolognesi - CNUCE, D. de Frutos, Y. Ortega-Mallen - Univ. Complutense
de Madrid.
[12h45 - 14h00] Lunch
[14h00 - 15h30] Session 10 (Auditorium): Application of FDTs - III
Chair: Guenter Karjoth
``On the Technology Transfer of Formal Methods: An Experience on
LOTOS'', G. Leon, Tech. Univ. of Madrid.
``Design, Implementation and Validation of a Multi-Peer Protocol using
Estelle'', M. Guilmet - BULL, P. Thomas, B. Traverson - MASI/INRIA.
``Specifying the Xpress Transfer Protocol using Estelle and Valira'', Y.
Cheung, J. Atwood, Concordia University.
[15h30 - 15h40] Closing Session
---------------------------------------------------------------------------
TOOL DEMONSTRATIONS:
The Conference will include tool demonstrations for supporting FDT based
design. The preliminary list of tools to be demonstrated is:
``A Prototype for Dynamic Analysis of SDL Specifications'' , A. Ek and
J. Ellsberger, Telesoft.
``A LOTOS Interpreter for Simulating Real Time Behaviour'' , C.J. Fidge,
U. of Queensland.
``TOPO: A full LOTOS to C compiler'' , T. de Miguel, T. Robles, J.
Salvachua, Technical University of Madrid.
``Experiments using Term Rewriting Techniques for Concurrency'' ,
C. Kirkwood - Univ. of Glasgow, K. Norrie - Univ. of London.
``An Incremental and Graphical Editor for GLOTOS'' , P. Franchi -
CERISI, A. Zarli - Univ. de Nice.
``The PEDS Toolkit'' , W. Majurski, NIST.
``ASN.1 and Estelle Implementation Support Tools'' , G. Bochmann and D.
Oumiet, Univ. of Montreal.
``AC: An ASN.1-C language Compiler'' , J. F. Serra and V. M. Pauilino,
Instituto de Engenheria de Sistemas e Computadores.
``A LOTOS Simulator in OBJ'' , K. Ohmaki, K. Takahashi, K. Futatsugi,
Tsukuba.
``L.0: A Language for Modelling and Prototyping Communications
Software'' , Cameron, Cohen, Ness, Srinidsi, Bellcore.
``Disco Specification Language: Marriage of Objects and Actions'' , H.
Jarvinen R. Kurki, Tampere University.
``One2One: Tool for translating ASN.1 to ACT ONE'' , F. Brady A. Boshier D.
Pitt B. M. Szczygiel, NPL.
``Analysis of LOTOS Specifications with Petri Nets'' , J. Pavon,
S. Marchena, Alcatel S. E.
``NIST: An integrated Tool Set for Estelle'' , R. Sijelmassi
B.Starusser, NIST.
``An Executor for Graphical LOTOS'' , T. Cheung Y. Yo, University
of Ottawa.
``Protocol Visualization of Estelle Specifications'' , D. New and P. Amer,
Univ. of Delaware.
``Automatic Code Generator from SDL to C++'' , K. Miyake, Y. Shigeta, W.
Tanaka, H. Hasegawa, OKI.
``LCRIS: A LOTOS PC based Integrated Environment'' , H. Maia Lima and G.
Rabay, Telebras.
``LOLA: A LOTOS Symbolic Execution and Transformation Tool'' , S.
Pavon, Technical University of Madrid.
``The University of Ottawa LOTOS Interpreter , L. Logrippo,
University of Ottawa.
``The Madrid ASN.1 Tool Set for big Messages'' , J. Seoane, Technical
University of Madrid.
``PIL: A Tool for Pre-implementation of LOTOS'' , J. Queiroz, A.
Serhrouchni, P. Cunha, E. Najm, INRIA.
``PROMPT: A tool for Automatic Protocol Implementation'' , K. Parker,
Telecom Australia.
``The LOTOSPHERE Advanced Simulator'' , P. van Eyck,
University of Twente.
---------------------------------------------------------------------------
---------------------------------------------------------------------------
F O R T E ' 9 0
R E G I S T R A T I O N
5-8 November, 1990, Madrid, SPAIN
---------------------------------------------------------------------------
Complete this form and return it to:
Fundacion Universidad Empresa (FORTE90)
Serrano Jover 5 - planta 7
28015, Madrid
SPAIN
tf: + 34 1 5419600, 5419003
fax: +34 1 2470652
Registration Fees: Early Registration Late Registration
(Before October 10th)
Tutorial fee: [ ] 13.000 Pta [ ] 16.000 Pta
Conference only: [ ] 32.000 Pta [ ] 38.000 Pta
Tutorial + Symposium: [ ] 39.000 Pta [ ] 45.000 Pta
Student fee: [ ] 25.000 Pta [ ] 29.000 Pta
(Proof of Student status must be attached)
Regular fee covers: welcome reception, conference, proceedings, meals
and conference dinner (Conference). Tutorials and meal (Tutorials).
Student fee covers: conference, tutorials and proceedings.
Conference Dinner (Extra ticket): 6000 Pta
Name:
Address:
Passport or Identity Card Number: Country:
Company:
Telephone: Fax: Email:
Payment (check one): Check [ ], Bank Transfer [ ] (must be in Pesetas)
Make Check payable to "Fundacion Universidad Empresa" and enclose
it with registration.
Make Transfer to account: c/c 19802/90, Banco Central, Oficina
Principal, Alcala 49, 28014-Madrid, SPAIN. USE REFERENCE: FORTE90 .
---------------------------------------------------------------------------
---------------------------------------------------------------------------
F O R T E ' 9 0
H O T E L R E S E R V A T I O N
5-8 November, 1990, Madrid, SPAIN
---------------------------------------------------------------------------
FORTE'90 Hotel reservations can be provided by:
Ignacio Villanueva
Viajes Excelsior (FORTE'90).
Claudio Coello, 86 Bajo Iz.
28006, Madrid
SPAIN
tf: + 34 1 4313268
fax: +34 1 5752646
Telex: 22503
Indicative Hotel rates: Single Room Double Room
(1 night)
3 stars (*) 6.500 Pta 9.500 Pta
4 stars 8.500 Pta 12.000 Pta
5 stars 16.000 Pta 24.000 Pta
(*) 3 star Hotels will not be within a walking distance of the
Conference location.
Name:
Address:
Company:
Number of Nights: Total Amount:
Arrival: Departure:
Telephone: Fax: Email:
Credit Card type: VISA [ ], American Express [ ], Diners [ ], Eurocard [ ].
Credit Card number: Expiration date:
Surname:
Signature:
Payment (check one): Credit Card [ ]
Check [ ]
Bank Transfer [ ] (must be in Pesetas).
Make Check payable to: "Viajes Excelsior" and enclose it with registration.
Make Transfer to account: c/c 211.1, Banco Guipuzcoano, Sucursal 13,
Ortega y Gasset 13, 28006-Madrid, SPAIN. USE REFERENCE: FORTE90 .
Viajes Excelsior can also provide special arrangements, such as excursions,
visits, trip extensions,... Special arrangements should be negotiated
directly with Viajes Excelsior.
--
Arturo Azcorra
Dpto. Telematica
E.T.S.I. Telecomunicacion
Ciudad Universitaria
E-28040 MADRID
SPAIN
tel: +34 1 5495700 E-mail: aazcorra@dit.upm.es
+34 1 5495762 aazcorra@goya.uucp
ext: 375, 368
fax: +34 1 2432077 tlx: 47430 ETSIT E