Editorial
1
Formal Aspects of Computing (2003) 14: 199 c 2003 BCS Formal Aspects of Computing Editorial This issue of Formal Aspects of Computing contains nine papers, all related to the formal specification and the analysis of the ‘Tree Identify’ protocol of the IEEE 1394 High Performance Serial Bus. In March 2001 a workshop on this topic was held in association with the FME conference in Berlin. All but the first paper in this issue are derived from presentations given at that workshop. The mechanisms for invitations to submit papers for this issue and their subsequent refereeing etc. are detailed in the first paper which also introduces the task that was undertaken. A necessarily incomplete version of the ‘introduction’ paper was made available to potential authors. This was primarily to inform them of the scene-setting material that would be included therein and would therefore need not be repeated in their individual contributions. The introduction (to the problem and to this collection) was later extended to include some concluding remarks and comparisons of the completed contributions. Subsequently, it was further augmented by the inclusion of an extract from the IEEE standard, the authors just having received permission to do this. Coincidently and conveniently, around the time the workshop was being planned, some editors of the FACS journal were contemplating revisiting the ‘formal approaches to ...’ theme and possibly doing some sort of reworking of the ‘steam boiler’ problem [LNCS 1168] using a later generation of ‘formal methods’. The ‘steam boiler’ workshop, in 1995, attempted to widen exposure to emerging Computing Science / Software Engineering technology to workers in systems which were not computing systems per se. Here, the same philosophy is followed but this time the problem is taken from within mainstream computing. We hope that this special issue contributes to making fellow computer scientists (more) aware of the possibilities and potential benefits to be gained from doing things (at least in part) the ‘formal way’. JOHN COOKE SAVI MAHARAJ JUDI ROMIJN CARRON SHANKLAND
-
Upload
john-cooke -
Category
Documents
-
view
218 -
download
3
Transcript of Editorial
Formal Aspects of Computing (2003) 14: 199c© 2003 BCS Formal Aspects
of Computing
Editorial
This issue of Formal Aspects of Computing contains nine papers, all related to the formal specification andthe analysis of the ‘Tree Identify’ protocol of the IEEE 1394 High Performance Serial Bus.
In March 2001 a workshop on this topic was held in association with the FME conference in Berlin. Allbut the first paper in this issue are derived from presentations given at that workshop. The mechanisms forinvitations to submit papers for this issue and their subsequent refereeing etc. are detailed in the first paperwhich also introduces the task that was undertaken.
A necessarily incomplete version of the ‘introduction’ paper was made available to potential authors.This was primarily to inform them of the scene-setting material that would be included therein and wouldtherefore need not be repeated in their individual contributions. The introduction (to the problem and tothis collection) was later extended to include some concluding remarks and comparisons of the completedcontributions. Subsequently, it was further augmented by the inclusion of an extract from the IEEE standard,the authors just having received permission to do this.
Coincidently and conveniently, around the time the workshop was being planned, some editors of theFACS journal were contemplating revisiting the ‘formal approaches to . . .’ theme and possibly doing some sortof reworking of the ‘steam boiler’ problem [LNCS 1168] using a later generation of ‘formal methods’. The‘steam boiler’ workshop, in 1995, attempted to widen exposure to emerging Computing Science / SoftwareEngineering technology to workers in systems which were not computing systems per se. Here, the samephilosophy is followed but this time the problem is taken from within mainstream computing. We hopethat this special issue contributes to making fellow computer scientists (more) aware of the possibilities andpotential benefits to be gained from doing things (at least in part) the ‘formal way’.
JOHN COOKESAVI MAHARAJ
JUDI ROMIJNCARRON SHANKLAND
