York, UK. 17 January 2000

Full Synopsis, Editors and Sponsors are not available for this conference.

Browse the papers below.

Checking the Consistency of UML Class Diagrams Using Larch Prover
P. Andre, A. Romanczukand & J.C. Royer

Object-Oriented Refinement and Proof using Behaviour Functions
T. Clark

SDL-2000: A Language with a Formal Semantics
J. Fischer, E. Holz, M.V. Löwis & A. Prinz

Extending the UML with a Multicast Synchronisation
B. Hnatkowska & Z. Huzar

Structured Axiomatic Semantics for UML Models
K. Lano, J. Bicarregui & A. Evans

Statecharts as Protocols for Objects
A. Laue, M. Liedtke, D. Moldt & I.Trickovic

An Overview of The Mensurae Language: Specifying Business Processes
T.S.E. Maibaum

On the Compositional Properties of UML Statechart Diagrams
A.J.H. Simons

OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
M. Tyrrell, A. Butterfield & A. Donnelly