Next:
Tutorial B
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
ZUM'95 Tutorials: 4-6th September 1995
MONDAY 4th September 1995 (morning)
Formal Methods and Conformance with Open Distributed Processing
Howard Bowman and John Derrick (University of Kent, UK)
This tutorial describes the Open Distributed Processing (ODP) reference model and conformance assessment methodology with particular emphasis on the use of Z and other formal methods in these activities.
Delegates should gain an understanding of the ODP Reference Model, including the use of viewpoints within it; an insight into conformance assessment for ODP, and the role that formal methods (in particular Z) are playing in ODP.
Those concerned with industrial standards, with applications of formal methods and with conformance assessment and testing in a formal environment will find the material of interest.
No particular method or background knowledge is assumed.
John Derrick and Howard Bowman are lecturers in the Computing Laboratory at the University of Kent. They hold a number of grants to investigate support for formal development in ODP. Their research interests include the application of formal methods in ODP, the formal validation and verification of real-time systems and non-interleaving semantic models of concurrency.