From:ISO/IEC JTC 1/SC22
Programming languages, their environments and system software interfaces
Secretariat: U.S.A. (ANSI)
ISO/IEC JTC 1/SC22 N3308
JTC 1/SC 22/WG 19 Business Plan and Convenor's Report
SC 22/WG 19 Convenor (R. Scowen)
Other document (Open)
This document will be reviewed at the upcoming SC 22 Plenary under Agenda
Item 8.11 pending the approval of its addition to the agenda.
Address reply to:
ISO/IEC JTC 1/SC22 Secretariat
25 West 43rd Street
New York, NY 10036
Telephone: (212) 642-4992
Fax: (212) 840-2298
_______end of cover page, beginning of report____________
BUSINESS PLAN AND CONVENER'S REPORT
ISO/IEC JTC1/SC22/WG19 (FORMAL DEFINITION LANGUAGES)
September 2000 - August 2001
R S Scowen (ISO/IEC JTC1 SC22 WG19 Convener)
9 Birchwood Grove, Hampton, Middlesex
United Kingdom TW12 3DU
Tel: +44 (0)20 8979 7429; Fax: +44 (0)20 8287 3810;
6 September 2001
1. MANAGEMENT SUMMARY
1.1 JTC1/SC22/WG19 STATEMENT OF SCOPE
Development of ISO/IEC standards related to formal development
notations and methods.
1.2 PROJECT REPORT
1.2.1 COMPLETED PROJECTS
JTC1.22.29.01 -- ISO/IEC 13817-1 Vienna Development
Method/Specification Language - Part 1: Base Language
ISO/IEC 13817-1 was published in 1996. So far, no
major problems have been reported.
JTC1.22.14977 -- ISO/IEC 14997 Syntactic metalanguage - Extended BNF
ISO/IEC 14977 was published in 1996. So far, no
major problems have been reported.
1.2.2 PROJECTS UNDERWAY
JTC1.22.45 -- ISO/IEC 13568 Z Notation
The 2nd FCD 13568 (SC22 N3187) was approved in a ballot ending in
March 2001. The ballot was approved (see N3224). A ballot
resolution meeting was held in May 2001 (see N3252 for minutes). The
disposition of comments and FDIS will be published shortly: a delay
arose after the project editor realised further investigations were
necessary in one annex. The FDIS is scheduled for October 2001, and
it is hoped to publish the standard as ISO/IEC 13568:2002 in March
1.2.3 NEW PROJECTS
ISO/IEC 14977:1996 is to be revised and some correspondence has taken
place. WG19 intend to prepare a revision in order to correct a few
known minor errors, and also to improve its applicability.
1.3 COOPERATION AND COMPETITION
WG19 has always tried to cooperate with the whole formal development
methods community. Where appropriate, WG19 has established contact
with other SC22 working groups. There is no direct competition with
any other efforts.
2.0 PERIOD REVIEW
2.1 MARKET REQUIREMENTS
Formal development methods have often been developed in academia.
Standardization will give credibility to their work, and encourage
their tuition and future developments to be built on sound and
ISO/IEC 13817-1 (VDM, Base language) was published in 1996.
FCD 13568 (Z notation) was published in August 2000.
ISO/IEC 14977 (Syntactic metalanguage - Extended BNF) was published in
The Z standardization web site is at:
Although resources in general are declining, the future of the
current WG19 projects seems to be secured. The WG19 mailing list
includes experts from Australia, Canada, Denmark, France, Germany,
Ireland, Japan, Netherlands, New Zealand, United Kingdom, & USA.
3.0 FOCUS NEXT WORK PERIOD
For the upcoming work period, WG19's main task will be to publish
ISO/IEC FDIS 13568 and ISO/IEC 13568:2002.
WG19 will also start the revision of ISO/IEC 14977.
ISO/IEC 13568 Z notation
Publication of FDIS 2001-10-01
Camera ready copy of standard to ITTF 2002-03-01
ISO/IEC 14977 Extended BNF
Version for CD registration and ballot 2002-06-01
WG19 has two principal strategies: (1) technical excellence, and
(2) liaison with all interested parties
No problems are anticipated for Z. Consensus may be difficult to
achieve in Extended BNF.
The standards would undoubtedly be more widely adopted if freely
available electronically over the web.
3.3 WORK PROGRAM PRIORITIES
The completion of ISO/IEC 13568 has priority.
4. OTHER ITEMS
This section lists other items that are not part of the "Business
Plan" but are appropriate for the "Convener's Report".
4.1 ACTION REQUEST AT FORTHCOMING PLENARY
WG19 requests permission from SC22 to continue development on ISO/IEC
13568 even though the FDIS has not followed CD registration within
three years. In mitigation we would note that many comments (over
400) were received on the first CD which resulted in a complete
reworking of the Z standard. There were far fewer comments on the
2nd FCD and we have made very good progress towards FDIS balloting.
4.2 CONVENER AND PROJECT EDITORS
Roger Scowen is the convener of WG19, and Steve King is deputy convener.
The following individuals have been appointed project editors:
JTC1.22.29.01 -- Vienna Development Method
JTC1.22.45 -- Z notation
Ian Toyn (deputy: Susan Stepney)
JTC1.22.14977 -- Extended BNF
Roger Scowen (to be appointed)
4.4 ELECTRONIC DOCUMENT DISTRIBUTION
As far as possible, discussions and decisions within the
working group are taken using e-mail.
4.5 RECENT MEETING
The last meeting of WG19 took place in York, England on 15 May 2001.
4.6 FUTURE MEETINGS
No future meetings are currently planned.
5 DRAFT RESOLUTIONS FOR SC22
The following draft resolutions arise from clauses 1.2.2 and 4.2
in the report above.
5.1 EXTENSION TO COMPLETE ISO/IEC 13568: Z Notation
SC22 recommends to JTC1 that a year's extension is granted
to WG19 in which to publish the FDIS for ISO/IEC 13568.
5.2 APPOINTMENT OF WG19 PROJECT EDITOR
SC22 appoints Roger Scowen as project editor for the revision
of ISO/IEC 14977.
--------------------- End of 2001 WG19 report to SC22 -------------