Formal Techniques for Networked and Distributed Systems, Forte 2003

by Konig, Hartmut; Heiner, Monika; Wolisz, Adam

• ISBN13: 9783540201755
• ISBN10: 3540201750
• Format: Paperback
• Copyright: 2003-12-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003. The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Table of Contents

Unix Streams Generation from a Formal Specification	1	(14)
Pawel Rychwalski
Jacek Wytrebowicz
Specifying and Realising Interactive Voice Services	15	(16)
Kenneth J. Turner
Vertical Reuse in the Development of Distributed Systems with FDTs	31	(17)
Reinhard Gotzhein
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures	48	(14)
Manfred Broy
Validation of the Sessionless Mode of the HTTPR Protocol	62	(17)
Paolo Romano
Milton Romero
Bruno Ciciani
Francesco Quaglia
Generation of All Counter-Examples for Push-Down Systems	79	(16)
Samik Basu
Diptikalyan Saha
Yow-Jian Lin
Scott A. Smolka
Modeling and Model Checking Mobile Phone Payment Systems	95	(16)
Tim Kempster
Colin Stirling
Behavioural Contracts for a Sound Assembly of Components	111	(16)
Cyril Carrez
Alessandro Fantechi
Elie Najm
Automatic Verification of Annotated Code	127	(17)
Doron Peled
Hongyang Qu
Combating Infinite State Using Ergo	144	(16)
Peter Robinson
Carron Shankland
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems	160	(17)
Farn Wang
Geng-Dian Hwang
Fang Yu
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream	177	(16)
Rodolfo Gomez
Howard Bowman
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?	193	(16)
Dirk Beyer
Andreas Noack
How Stop and Wait Protocols Can Fail over the Internet	209	(15)
Jonathan Billington
Guy Edward Gallasch
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis	224	(16)
Ivan Cibario Bertolotti
Luca Durante
Riccardo Sisto
Adriano Valenzano
A Lightweight Formal Analysis of a Multicast Key Management Scheme	240	(17)
Mana Taghdiri
Daniel Jackson
Formal Security Policy Verification of Distributed Component-Structured Software	257	(16)
Peter Herrmann
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers	273	(16)
Mariusz A. Fecko
M. Umit Uyar
Ali Y. Duale
Concerning the Ordering of Adaptive Test Sequences	289	(14)
Robert M. Hierons
Hasan Ural
Correct Passive Testing Algorithms and Complete Fault Coverage	303	(16)
Arun N. Netravali
Krishan K. Sabnani
Ramesh Viswanathan
QoS Functional Testing for Multi-media Systems	319	(16)
Tao Sun
Keiichi Yasumoto
Masaaki Mori
Teruo Higashino
Towards Testing Stochastic Timed Systems	335	(16)
Manuel Nunez
Ismael Rodriguez
Formal Design of Interactive Multimedia Documents	351	(16)
Jean-Pierre Courtiat
Progressive Solutions to a Parallel Automata Equation	367	(16)
Sergey Buffalov
Khaled El-Fakih
Nina Yevtushenko
Gregor v. Bochmann
Type Abstraction in Formal Protocol Specifications with Container Types	383	(16)
Joachim Thees
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems	399	(16)
Hirozumi Yamaguchi
Gregor von Bochmann
Teruo Higashino
Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts	415	(16)
Hesham Kamal Arafat Mohamed
Bruno Muller-Clostermann
Author Index	431