3. FORTE 1990: Madrid, Spain

Juan Quemada, José A. Mañas, Enrique Vázquez (Eds.): Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. North-Holland 1991, ISBN 0-444-89024-6

Invited Paper

Manfred Broy: Methodological Objectives for Formal Description Techniques. 1-16

Theoretical Foundations of FDTs

Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini: How Expressive Are LOTOS Behaviour Expressions? 17-32
Matthew Hennessy, Tim Regan: A Temporal Process Algebra. 33-48
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: A Hoare-style Proof System for LOTOS. 49-62

Verification

Han Zuidweg: Synchronic Distance in Process Algebra. 63-77
S. Ramanathan, G. Sivakumar: Rewrite Systems for Protocol Specification and Verification. 79-94
Jean-Claude Fernandez, Laurent Mounier: Verifying Bisimulations "On the Fly". 95-110

Transformation

M. Hakan Erdogmus, Robert de B. Johnston: An Approach to Specifying and Synthesizing Communicating Processes. 111-126
Günter Karjoth: A Compilation of Algebraic Processes Based on Extended-Action Derivation. 127-140
Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba: Translation from TTCN to LOTOS and the Validation of Test Cases. 141-155

Testing - 1

Clazien D. Wezeman, S. Batley, J. Lynch: Formal Methods to Assist Conformance Testing. A Case Study. 157-174
Marc Phalippou, Roland Groz: From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. 175-190
Woojik Chun, Paul D. Amer: Test Case Generation for Protocols Specified in Estelle. 191-206

Invited Paper

Dieter Hogrefe: Conformance Testing Based on Formal Methods. 207-222

Languages and Time

E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi: L.0: A Language for Modeling and Prototyping Communications Software. 223-238
Falko Bause, Peter Buchholz: Protocol Analysis Using a Timed Version of SDL. 239-254

Application of FDTs - 1

Luís Ferreira Pires, Wanderley Lopes de Souza: Step-wise Refinement Design Example Using LOTOS. 255-262
Pierre Azéma, Khalil Drira, François Vernadat: A Bus Instrumentation Protocol Specified in LOTOS. 263-269
Jean-Marc Jézéquel: Experience in Validating Protocol Integration Using Estelle. 271-278
Roger Duke, Gordon A. Rose, Graeme Smith: Transferring Formal Techniques to Industry. 279-286

Testing - 2

Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno: OSI Testing Environment Based on the Standardized Formalisms. 287-294
Michael Sample, Gerald W. Neufeld: Support for ASN.1 within a Protocol Testing Environment. 295-302
Rachida Dssouli, Reine Fournier, Gregor von Bochmann: Distributed Observation and FIFO Queues. 303-310
J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto: Concurrent Modelling in LOTOS as a Solution to Real Time Problems. 311-318

Application of FDTs - 2

M. Gamble, C. R. Taylor: The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. 319-326
Josefina Navarro, Pablo San Martin: Experience in the Development of an ISDN Layer 3 Service in LOTOS. 327-336
Juan A. Saras, Julio Berocal, Juan Riera: Use of Estelle, LOTOS and ASN.1 in One Project. 337-343
M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. 345-352

Language Enhancements

Anders Olsen: Extending SDL with a Procedural Data Concept. 353-360
Piotr Dembinski: Interfacing ASN.1 and Estelle: A Practical Approach. 361-368
A. B. Alkhechi, Stanislaw Budkowski: Automatic Translation of Time Petri Nets into Estelle Description. 369-376
Richard L. Tenney: Adding Interaction Sets to Estelle. 377-382

Design by Stepwise Refinement

Tomás de Miguel, Tomás Robles, Joaquín Salvachúa, Arturo Azcorra: The SRTS Experience: Using TOPO for LOTOS Design and Realization. 383-394
Ove Faergemand: Stepwise Production of an SDL Description. 395-410
Marten van Sinderen, Ing Widya: On the Design and Formal Specification of a Transaction Processing Protocol. 411-426

Invited Paper

Jean-Bernard Stefani: ODP: The Next Target for the Applciation of FDTs. 427-442

Graphical Representation of FDTs

Josef Hinterplattner, Heinrich Nirschl, Heinz Saria: Process Topology Diagrams. 443-458
Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén: Graphical Composition Theorems for Parallel and Hiding Operators. 459-470

Application of FDTs - 3

Gonzalo León: On the Technology Transfer of Formal Methods: An Experience on LOTOS. 471-486
Martine Guilmet, Philippe Thomas, Bruno Traverson: Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. 487-502
Y. T. Cheung, J. William Atwood: Specifying the Xpress Transfer Protocol Using Estelle and Valira. 503-517

TOOLS

Anders Ek, Jan Ellsberger: TA-2: A Prototype Analysing Dynamic SDL Properties. 519-522
Colin J. Fidge: A LOTOS Interpreter for Simulating Real-Time Behaviour. 523-526
Carron Kirkwood, Kathy Norrie: Some Experiments Using Term Rewriting Techniques for Concurrency. 527-530
Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld: ASN.1 and Estelle Implementation Support Tools. 531-534
Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi: A LOTOS Simulator in OBJ. 535-538
F. Brady, A. Boshier, D. Pitt, B. Szczygiel: One2One - A Tool for Translating ASN.1 to ACT ONE. 539-542
Rachid Sijelmassi, Brett Strausser: NIST Integrated Tool Set for Estelle. 543-546
To-Yat Cheung, Yucheng Ye: An Executor for Graphical LOTOS. 547-550
Darren New, Paul D. Amer: Protocol Visualization of Estelle Specifications. 551-554
Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa: Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. 555-558
Santiago Pavón, Martín Llamas Nistal: The Testing Functionalities of LOLA. 559-562
Luigi Logrippo: The University of Ottawa LOTOS Toolkit. 563-566
J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm: PIL: A Tool for Pre-implementation of LOTOS. 567-570
Ken R. Parker: The PROMPT Automatic Implementation Tool - Initial Impressions. 571-576
Peter van Eijk, Henk Eertink: Design of the LOTOSPHERE Symbolic LOTOS Simulator. 577-580
Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester: An Interactive Programming Environment for LOTOS. 581-584

Last update Tue May 21 16:40:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page