Conference announcements

Advance Programme and Call for Participation -
2nd Workshop on Rigorous Object Oriented Methods (ROOM2)

From: "A.S.Evans" <asevans1@comp.brad.ac.uk>
Newsgroups: comp.object,comp.specification.z,comp.software-eng
Subject: ROOM 2 - Call for participation
Date: Wed, 8 Apr 1998 20:25:00 +0100
Organization: University of Bradford


                           ADVANCE PROGRAMME
                                 AND
                        CALL FOR PARTICIPATION

                        The Second Workshop on
                    Rigorous Object Oriented Methods
                                ROOM 2
                 http://www.comp.brad.ac.uk/research/room/

                         University of Bradford
                       Bradford, West Yorkshire, UK
                             29 May 1998


The second workshop on Rigorous Object Oriented Methods is aimed at
bringing 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.

Advance Programme
-----------------

9.00 - 9.55  Registration and Coffee

9.55 - 10.00 Introduction (Tony Clark)

Session 1: Rigorous OO Development Techniques (Chairperson: Andy Evans)

10.00 - 10.30 UML Refinement and Abstraction Transformations
              K. Lano and J. Bicarregui

10.30 - 11.00 Rigorous Object-Oriented System Design
              A. Simons and M. Snoek

11.00 - 11.30 Coffee

11.30 - 12.00 Always and Eventually in Object Requirements
              P. Gibson and D. Mery

12.00 - 12.30 Introducing Object COMX and communicating X-machine objects
              J. Barnard

12.30 - 2.00 Lunch

Session 2: Object-Oriented Semantics (Chairperson: Kevin Lano)

2.00 - 2.45 Invited Speaker, to be anounced.

2.45 - 3.15 A Metamodel for Object-Oriented Statecharts
            S. Mann and M. Klar

3.15 - 3.30 Coffee

3.30 - 4.00 A Coloured Petri Net Semantics of Software Architectures
            J. Hall and L. Barroca

4.00 - 4.30 Formal Semantics of Inheritance and Object Substitutability
            R. Back, L. Mikhajlov and J. Wright

4.30 - 5.00 Relationship Metamodelling in Object Technology
            B. Henderson-Sellers

5.00 End of Workshop

Registration
------------

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

Ms. Alison Bradbury (alison@scm.bradford.ac.uk),
Research Secretary,
Department of Computing,
University of Bradford,
West Yorkshire,
BD7 1DP

There will be a charge of 15 pounds made on the day
which will cover the costs of printing the draft workshop
proceedings and refreshments.

The cost of lunch is included in the registration charge.
Depending upon preferences we would like to take advantage
of the famous Bradford Cuisine for lunch. Please indicate:

(1) Whether vegetarian food will be required; and

(2) If you would prefer not to eat curry.

when registering.

Directions
----------

Bradford is conveniently situated in the centre of the UK. It
has excellent communications and is easily reached by road, rail
or air.

By Car: Bradford is connected to the national motorway
network via the M62 and the M606. If you are travelling from
the south, east or west of Bradford you will probably find
it most convenient to use the M62 and the M606. If you
are travelling from the north-west you will probably use the
A629/A650 via Skipton and Keighley. From the north-east use
the A1 or A19 and reach Bradford via the A658 south of
Harrogate. If you intend to travel by car, you should
request a parking disc and directions for parking from the
Research Secretary.

By Train: Bradford Interchange has extensive links although
many involve changing at Leeds.

By Air: There are direct air services into Leeds/Bradford
Airport (7 miles from the University) from most UK and some
European airports. International connections can be made
through London, Amsterdam, Brussels or Paris. The University
can then easily be reached by taxi or bus.

By Coach: An extensive chach service connects most parts of
the coutry to Bradford's Travel Interchange.

From the Bradford Travel Interchange: come out of the Interchange,
go down the hill, and turn left along the fron of the Stakis
Hotel. After about 100 yards, subways will lead you to the National
Museum of Photography. For new visitors, it is best to walk along
th glass front of the Alhambra Theatre and immediately turn left
up Great Horton Road. The University is about 300 yards up
this hill past the College.

To find the Department of Computing: Turn right from Great Horton
Road into the University Campus. You will pass Chesham Building
on your right and the University Sports Centre on your left.
Continue down the steps opposite the J. B. Priestley library and
turn left. Cross in front of the library and follow the steps
down. Continue over the stones past the Theatre in the Mill and
you will see a door on your right for the Department of Computing.

Detailed information regarding directions to the workshop room
will be available on registration.

To the Ada-Belgium home page.

Last update: 98/04/21.