Tuesday 27th May 2008 - co-located with FM 2008 - Turku, Finland
REFINE 2008 - International Refinement Workshop
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.
The aim of this Refinement Workshop is to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies. The workshop is organized by the BCS FACS special interest group on refinement.
Wim Hesselink is be the invited speaker.
|9.00 - 9.15||Opening|
|9.15 - 10.00||Invited talk|
Simulation Refinement for concurrency verification
|10.00 - 10.20||ASM refinement|
Completeness of ASM Refinement
|10:30 - 11:00||Coffee|
|11.00 - 12:30||Algebraic methods|
An algebraic approach to refinement with fair choice
Modal tools for separation and refinement
Observational refinement process
Refinement-based verification of interactive real-time systems
|12:30 - 14:00||Lunch|
|14:00 - 15:30||State-based concurrent systems|
Linking Event-B and Concurrent Object-Oriented Programs
Andrew Edmunds and Michael Butler
Refinement for pipelining in Event-B
ArcAngelC: a refinement tactic language for Circus
M. Oliveira and Ana Cavalcanti
Experimenting formal proofs of Petri Net refinements
Christine Choppy, Micaela Mayero and Laure Petrucci
|15:30 - 16:00||Afternoon tea|
|16:00 - 17:30||State-based systems|
More relational concurrent refinement: traces and partial relations
John Derrick and Eerke Boiten
General refinement, Parts I and II
Steve Reeves and David Sreader
Alloy as a refactoring checker?
H.-Christian Estler and Heike Wehrheim
Refactoring real-time specifications
Graeme Smith and Tim McComb
Workshop proceedings will appear in Electronic Notes in Theoretical Computer Science (ENTCS). Special issues of selected journals have been produced containing extended papers from the last few refinement workshops, and for this workshop the Science of Computer Programming journal will be publishing a special issue devoted to the workshop. Extended papers from the workshop will be refereed in the usual fashion prior to acceptance by the journal.
The Refinement workshop will take place on Tuesday 27th May 2008, as one of the workshops of the FM 2008 conference organised by Åbo Akademi University.
This workshop continues a long tradition in refinement workshops run under the auspices of the British Computer Society (BCS) FACS special interest group. Running since 1988, previous refinement workshops have been held at Cambridge, London, Bath etc.
In 1998 the BCS refinement workshop was combined with the Australasian Refinement Workshop to form the International Refinement Workshop, hosted alongside Formal Methods Pacific 1998 at The Australian National University.
In 2002, the Refinement Workshop was held as an FME workshop in Copenhagen. Proceedings appeared in ENTCS Vol.70(3), and a special issue of the Formal Aspects of Computing journal based on the workshop appeared in 2003 (Vol. 15:1-2). In 2005, the workshop was co-located with the ZB conference held at the University of Surrey, Guildford. Proceedings appeared in ENTCS Vol.137(2), and a special issue of the Formal Aspects of Computing journal containing extensions of a number of papers appeared in 2006 (Vol. 18:3). In 2006, the workshop was co-located with the ICFEM conference organised by the UNU-IIST and the University of Macau, proceedings have been published as ENTCS Vol.187(1), and a special issue of the Formal Aspects of Computing journal is in the final stages of production. In 2007, the workshop was held at the IFM conference in Oxford, and again proceedings will appear in ENTCS, and a special issue of the Formal Aspects of Computing journal will be devoted to the workshop.