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 Wim Hesselink | |
| 10.00 - 10.20 | ASM refinement |
Completeness of ASM Refinement Gerhard Schellhorn | |
| 10:30 - 11:00 | Coffee |
| 11.00 - 12:30 | Algebraic methods |
An algebraic approach to refinement with fair choice Emil Sekerinski Modal tools for separation and refinement Georg Struth Observational refinement process Alexandre Madeira Refinement-based verification of interactive real-time systems Maria Spichkova | |
| 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 Neil Evans 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.