FINAL PROGRAMME
COST 247 International Workshop on
APPLIED FORMAL METHODS IN SYSTEM DESIGN

June 17-19, 199

Maribor, Slovenia

WWW home page: http://www.el.feri.uni-mb.si/lms/cost247/

Programme and organizing committee:
--------------------------------------

Workshop chairs:

Programme committee:

Organizing committee:

Organizers:
-----------

Sponsors:
---------

Aims and scope of the workshop:
-------------------------------

As the Action is already in its third year, the aim of the workshop is to provide a forum for COST 247 participants from various European countries to present, discuss and compare their work related to the Action. Scientific programme of the workshop consists of 20 regular papers (two of them tackle the suggested example of a Bounded Retransmission Protocol), the invited lecture given by Dr. Robert Kurshan from AT&T Bell Labs, Murray Hills, New Jersey, USA, and demonstrations of 2 software tools for formal specification and verification of concurrent systems. The regular COST 247 Management Committee Meeting will take place together with the workshop on June 19, 1996.

Proceedings:
------------

Official language:
------------------

Verbal presentations:
---------------------

Software tool demonstrations:
-----------------------------

Workshop programme:
----------------------

==================== Tuesday, June 18, 1996 ====================
08.00	Registration continues
09.00	Session 5: The common example: A bounded retransmission protocol for large data packets Chairman: Jan Friso Groote
	1. Radu Mateescu, INRIA Rhone-Alpes / VERIMAG, Montbonnot Saint Martin, France: FORMAL DESCRIPTION AND ANALYSIS OF A BOUNDED RETRANSMISSION PROTOCOL
	2. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo Ruys, and Jan Tretmans, Faculty of Computing Science, University of Twente, The Netherlands: MODELLING AND VERIFYING A BOUNDED RETRANSMISSION PROTOCOL USING UPPAAL
	3. Parosh Aziz Abdulla, Department of Computer Systems, Uppsala University, Sweden: ANALYSIS OF COMMUNICATION PROTOCOLS USING A THEORY OF LOSSY CHANNEL SYSTEMS
10.30	Coffee interval
11.00	Session 6: Verification Chairman: Ken Turner
	1. Ina Schieferdecker, GMD Fokus, Berlin, Germany: ABRUPTLY-TERMINATED CONNECTIONS IN TCP -- A VERIFICATION EXAMPLE
	2. Zmago Brezocnik, Ales Casar, Tatjana Kapus, Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia: EFFICIENT SYMBOLIC TRAVERSAL ALGORITHMS USING PARTITIONED TRANSITION RELATIONS
	3. Bruno Blaskovic, Ignac Lovrek, Faculty of Electrical Engineering and Computing, University of Zagreb, Croatia: VERIFICATION OF SIGNALLING PROTOCOLS FOR TELECOMMUNICATION SERVICES IN INTELLIGENT NETWORK
12.30	Lunch interval
14.30	Session 7: Protocol testing 1 Chairwoman: Katalin Tarnay
	1. Rinke Terpstra, Luis Ferreira Pires, Lex Heerink, and Jan Tretmans, Department of Computer Science, University of Twente, The Netherlands: TESTING THEORY IN PRACTICE: A SIMPLE EXPERIMENT
	2. Marjeta Pucko, Jozef Stefan Institute, Ljubljana, Slovenia: TESTING OF ISDN SERVICES BASED ON SDL SPECIFICATIONS
	3. P. Benczur (1), Geza Nemeth (2), Katalin Tarnay (2) (1) ELTE TKK, (2) KFKI-MSZKI, Budapest, Hungary: TEST SEQUENCE GENERATION BASED ON STOCHASTICS PROGRAMMING
16.00	Coffee interval
16.30	Session 8: Protocol testing 2 Chairman: Jan Tretmans
	1. Mihaly Bohus (1), Laszlo Koczy (2), Katalin Tarnay (3) (1) Computer Department, JATE, (2) Department of Telecommunications and Telematics, Technical University of Budapest, (3) KFKI-MSZKI, Budapest, Hungary: A FUZZY MODEL FOR TEST RESULTS CERTIFICATION
	2. Ana Maria Ponce (1), Geza Nemeth (2), Janos Miskolczi (2), Katalin Tarnay (2) (1) International Potato Center, Lima, Peru, (2) KFKI-MSZKI, Budapest, Hungary: FORMAL DESCRIPTION ON THE TEST DOCUMENT HIERARCHY
	3. Sarolta Dibuz (1), Abdulla K. Areik (2) (1) KFKI Group, (2) Department of Telecommunications and Telematics, Technical University of Budapest, Hungary: TESTING X.400
20.00	Workshop dinner at restaurant "Pri treh ribnikih"

====================== Wednesday, June 19, 1996 ======================
09.00	Session 9: Management Committee Meeting - Part 1 Chairman: Kemal Inan
10.30	Coffee interval
11.00	Session 10: Management Committee Meeting - Part 2 Chairman: Kemal Inan
12.30	Lunch interval
14.30	Session 11: Formal specification and validation of protocols Chairwoman: Tatjana Kapus
	1. Gyula Csopaki, Technical University of Budapest, Hungary: VALIDATION OF COMMUNICATIONS PROTOCOLS
	2. Gabor Borsodi (1), Sarolta Dibuz (2), Katalin Tarnay (3): (1) Department of Telecommunications and Telematics, Technical University of Budapest, (2) KFKI Group, (3) KFKI-MSZKI, Budapest, Hungary: MHS MESSAGE WITH EDIM
15.30	Closing

Workshop venue:
---------------

http://www.el.feri.uni-mb.si/lms/cost247/

The faculty building on the map is titled Tehniske fakultete which means Faculties of Technical Sciences, because the same building is shared by four faculties. All technical sessions during the first two days (17-18 June) will be held in Borut Pecenko Lecture Room. All sessions on June 19 will be held in Lecture Room A-306. Approaches to these lecture rooms will be well indicated by pointers.

General information about Slovenia and Maribor: -----------------------------------------------

Maribor, with its 200.000 inhabitants, is the second largest city in Slovenia. It is the economic and cultural centre of northeastern Slovenia. It is situated at the cross-section of traffic routes leading from Central to southeastern Europe, and from western Central Europe to the Pannonian Lowland just 17 kilometers from the Austrian border and half way between Vienna and Trieste. The climate is of a middle-european-to-pannonian type. The "trade marks" of Maribor are the University (about 10.000 students, more than 60 scientific institutes), the National Theatre with Opera, the Castle, the Cathedral, the City Park with the Aquarium, the Pohorje hills with the world cup skiing competition called the Golden Fox, vineyards with the European oldest vine (over 400 years old), the Plague Memorial, the Narodni dom (the National Home), the Bus Terminal, the old part of the town on the left bank of the Drava river called Lent.

You can access WWW presentation of Slovenia (including Maribor) with many useful information at

http://www.ijs.si/slo.html

Money:
------

Daily exchange rates of Bank of Slovenia for foreign currencies in Slovenia can be found at:

http://www.feri.uni-mb.si/~uros/1_currency.html

All major credit cards and traveller checks are accepted almost anywhere.

How to get to Maribor:
----------------------

http://www.kabi.si/si21/aa/

The airline of Slovenia is called Adria Airways. At the passenger's request they can provide direct bus or shuttle transportation to Maribor and from Maribor to the airport of Ljubljana. Currently, transportation in one direction costs 2000 SIT (22,22 DEM). If you need a bus transportation from the Ljubljana airport to Maribor, please indicate that in the enclosed e-mail registration form. A bus will wait for you in front of the airport building. You will arrive in Maribor to the Adria Airways bus stop (point 2 on the map) in about 100 minutes. If your return flight is also payed from Ljubljana airport, Adria Airways will provide you a direct bus transportation from Maribor (point 2 on the map) to Ljubljana airport on the day of your departure if you indicate that in the enclosed e-mail registration form. If you require bus transportation from and/or to Ljubljana airport in your registration form, you will get details on bus schedule for your flight(s) by e-mail.

An alternative for the arrival by plane is to use the airport of Graz, called Thalerhof, in Austria. Graz has direct connections with the following international airports: Dusseldorf, Frankfurt/Main, Munich, Stuttgart, Vienna, Zurich. We cannot provide direct bus transportation from/to airport of Graz. You have to use public transport. Bus and train connections are available to the centre of Graz. From Graz you can reach Maribor by train in about 1 hour. Train connections from Graz main railway station to Maribor are rare (currently 2 direct lines + 3 indirect ones with a change in Spielfeld in Austria).

b) By railway. All trains coming to Maribor (from the North - direction Graz in Austria, from the West - direction Klagenfurt in Austria, and from the Southwest - direction Ljubljana) stop at the Maribor main railway station (point 3 on the map). The suggested hotel is within the walking distance (15-20 minutes). You can also use a local bus (number 2, 2/I, 3, or 3/I) that departs from the front right side of the railway building to the first stop, indicated by point 4 on the map, which is the closest bus stop to the hotel, or take a taxi.

c) By car. Maribor is easily reachable by car from all directions. You can park your car either at the suggested hotel outdoor guarded parking place or in the hotel underground garage.

Accommodation:
--------------

Hotel Orel
Grajski trg 3a
SI-2000 Maribor
Tel.: + 386 62 26-171
Fax.: + 386 62 28-497

Hotel Orel is the cheapest and the closest one to the workshop site. It is a modern hotel with a tradition going back to the first half of the 19th century. It lies in the very civic centre, at most 10 minutes walk from the Faculty of Electrical Engineering and Computer Science, and other interesting locations in the city centre. The hotel has its own guarded parking place and underground garage. Each room has a bathroom, WC, direct telephone line, CATV, radio, and mini bar.

The price per day for a single room is about 9000 SIT (100 DEM) and for a double room 12500 SIT (140 DEM) including breakfast. Parking in the outdoor guarded parking place is free, the underground garage costs about 900 SIT/night (10 DEM/night). You will pay your hotel bill directly at the hotel.

Hotel Orel lies in the pedestrian zone in the city centre. Access by car is possible by the following route (see the map): Svetozarevska ulica, Ob jarku, Vetrinjska ulica (direction Grajski trg). During the day there is a blocade for cars on the Ob jarku street, but if you mention that you are guest in Hotel Orel, you may pass. Please use the same route in the opposite direction on your departure.

Social Programme:
-----------------

On Tuesday, June 18, 1996, a workshop dinner will be held at restaurant "Pri treh ribnikih" (point 7 on the map of Maribor centre). It has a beautiful location by three fishponds northern to the city park. The meeting point is in front of Hotel Orel at 20.00 hrs. We will reach the restaurant after a pleasant walk by the promenade through the park.

Internet access:
----------------

Registration:
-------------

brezocnik@uni-mb.si

Each workshop participant has to complete and return his/her own copy of a Registration Form.

-----------------------------cut here-----------------------------------------

COST 247 WORKSHOP REGISTRATION FORM

Last name:

Organization:

Address:

Country:

Telephone:

Fax:

E-mail address:

Room reservation in Hotel Orel (Single/Double):

If double, please enter the name of the person that should share a double room with you:

Arrival date:

Departure date:

Indicate (with x) if vegetarian meals required:

If you arrive by plane to Ljubljana airport and need a shuttle transportation from Ljubljana airport to Maribor, please enter (see Note below)

Arrival date:

Arrival time:

Flight number:

Departure date:

Departure time:

Flight number: