Preface

Welcome to ASM'07: The 14th Abstract State Machines Workshop, which is held in Grimstad, Norway on 7 June - 9 June 2007.
    These are the electronic proceedings of ASM'07. We have collected as much as possible information to make it easy to follow the workshop and have access to the information which was given in the talks.
    The intention of the ASM workshop is not only to exchange ideas in the field of ASM, but also to allow discussions and to bring in ideas from areas not directly related to ASM yet. For this reason, we have invited five speakers from different areas, who are also present in the proceedings with an extended abstract each.
    Of course, it is not possible to include the discussions of workshop in the proceedings, but these will probably result in papers for the next workshop. You find an announcement of the next workshop in the proceedings.
   The main part of the proceedings are, of course, the accepted papers. We have a selection of papers covering a broad range of topics. In addition, we have two special sessions focusing on a distinct area each. The first special session is about ASM and architecture, which is also very much related to the issue of structuring an ASM specification, The second special session is about tools.
    One result of the preparation of the tools session is included in the proceedings: a collection of descriptions of current ASM tools. There is also the possibility to get a hands-on experience of the tools, as most of them are on display during the workshop.

We hope for an interesting and fruitful workshop.

Editors,
Grimstad, June 2007

Main