Thread View: comp.specification
1 messages
1 total messages
Started by Arturo Azcorra
Tue, 02 Oct 1990 18:37
FORTE 90
Author: Arturo Azcorra
Date: Tue, 02 Oct 1990 18:37
Date: Tue, 02 Oct 1990 18:37
536 lines
18347 bytes
18347 bytes
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 E
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads