The Third Workshop on

Rigorous Object-Oriented Methods

University of York, UK

January 17 2000

Call For Participation

http://www.comp.brad.ac.uk/research/room/

The third workshop on Rigorous Object Oriented Methods aims to bring together researchers in the area of OO analysis, design and implementation with particular emphasis on increasing the quality of OO development through the use of rigorous techniques. These techniques include, but are not limited to:

Semantics for OO Analysis and Design notations.
Enhancements of OO methods to enable reasoning about their models.
Verification and validation of OO A&D models and programs.
Proposals for new formally based OO A&D notations.
OO refinement throughout the development life-cycle.

The ROOM 3 workshop will consist of presentations of peer reviewed research papers and an invited talk by Professor Tom Maibaum of King's College London. The workshops ROOM1 and ROOM2 were held in 1997 at Imperial College and in 1998 at Bradford University. They proved to be popular, attracting papers from the UK, Germany, France, Switzerland and Canada.

Advance Programme

8.30 - 9.25	Registration and Coffee.
9.25 - 9.30	Welcome.
9.30 - 10.30	Prof. Tom Maibaum, Invited Speaker.
10.30 - 11.00	Morning Coffee.
11.00 - 11.30	OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. M. Tyrrell, A. Butterfield, A. Donnelly.
11.30 - 12.00	Object-Oriented Refinement and Proof using Behaviour Functions, A. Clark.
12.00 - 12.30	Structured Axiomatic Semantics for UML Models. K. Lano, J. Bicarregui, A. Evans.
12.30 - 13.30	Buffet Lunch
13.30 - 14.00	On the Compositional properties of UML Statechart Diagrams. A. Simons.
14.00 - 14.30	Statecharts as Protocols for Objects. A. Laue, M. Liedtke, I. Trickovic, D. Moldt.
14.30 - 15.00	Experiences and Concerns over UML States. W. Howerton, M. Hinchey.
15.00 - 15.30	Afternoon Tea.
15.30 - 16.00	SDL-2000: A Language with a Formal Semantics. J. Fischer, E. Holz, M. v. Lowis, A. Prinz.
16.00 - 16.30	Extending the UML with a Multicast Synchronisation. B Hnatkowska, Z. Huzar.
16.30 - 17.00	Checking the Consistency of UML Class Diagrams Using Larch Prover. P. Andre, A Romanczuk, J-C. Royer, A. Vasconcelos.
17.00 - 17.05	Close.

8.30 - 9.25 Registration and Coffee.

9.25 - 9.30 Introduction.
9.30 - 10.30 Prof. Tom Maibaum, Invited Speaker.
10.30 - 11.00

Registration

In order to register for the workshop or request further information please contact:

Mrs Shamim Haider (shamim@scm.bradford.ac.uk),
Research Secretary, Department of Computing,
University of Bradford, West Yorkshire, BD7 1DP
Tel: +44 1274 3922, Fax: +44 1274 233920

There will be a charge of 25 UK pounds made on the day to cover the cost of copying the draft proceedings and all refreshments including lunch. Please indicate any special dietary requirements when registering. Note that it will be possible to register on the day, but it is helpful for the organisers to know numbers in advance.

Directions

Department of Computer Science University of York (http://www.cs.york.ac.uk.howtofind).

Directions to the workshop will be clearly indicated from the entrance to the Department. Car parking permits can be obtained at Computer Science Reception. Enquiries relating to travel or the workshop venue should be directed to the Department Tel: +44 1904 432722 Fax: +44 1904 432767.

Organising Committee

Tony Clark, Bradford University, a.n.clark@scm.brad.ac.uk
Andy Evans, York University, andye@cs.york.ac.uk
Kevin Lano, King's College, London University, kcl@dcs.kcl.ac.uk

Programme Committee

Juan Bicarregui, Imperial (UK)	Stuart Kent, Kent (UK)
Tony Bryant, Leeds Metropolitan (UK)	Luming Lai, Bradford (UK)
Howard Bowman, Kent (UK)	Kevin Lano, King's College (UK)
Tony Clark, Bradford (UK)	Richard Mitchell, Brighton (UK)
Serge Demeyer, Bern (CH)	Anthony Simons, Sheffield (UK)
Andy Evans, York (UK)	Imad Torsun, Bradford (UK)
Robert France, Colorado State (USA)