From owner-sc22docs@open-std.org Wed Aug 1 19:40:38 2007 Return-Path: X-Original-To: sc22docs-domo3 Delivered-To: sc22docs-domo3@open-std.org Received: by open-std.org (Postfix, from userid 521) id 9DBB2D7FE8; Wed, 1 Aug 2007 19:40:38 +0200 (CET DST) X-Original-To: sc22info@open-std.org Delivered-To: sc22docs@open-std.org Received: from exprod8og53.obsmtp.com (exprod8og53.obsmtp.com [64.18.3.88]) by open-std.org (Postfix) with SMTP id C9DC755CE for ; Wed, 1 Aug 2007 19:40:07 +0200 (CET DST) Received: from source ([12.15.192.17]) by exprod8ob53.obsmtp.com ([64.18.7.12]) with SMTP; Wed, 01 Aug 2007 10:40:06 PDT Received: by email1.ansi.org with Internet Mail Service (5.5.2653.19) id <3KWZJ1HT>; Wed, 1 Aug 2007 13:37:48 -0400 Message-ID: From: Sally Seitz To: sc22info@open-std.org Subject: N 4230 - Business Plan and Convener's Report for WG 19 Date: Wed, 1 Aug 2007 13:37:46 -0400 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C7D462.AC811E18" Sender: owner-sc22docs@open-std.org Precedence: bulk This message is in MIME format. Since your mail reader does not understand this format, some or all of this message may not be legible. ------_=_NextPart_001_01C7D462.AC811E18 Content-Type: text/plain; charset="iso-8859-1" ISO/IEC JTC 1/SC22 Programming languages, their environments and system software interfaces Secretariat: U.S.A. (ANSI) ISO/IEC JTC 1/SC22 N4230 TITLE: Business Plan and Convener's Report for WG 19 DATE ASSIGNED: 2007-07-31 SOURCE: WG 19 Convener (R. Scowen) BACKWARD POINTER: N/A DOCUMENT TYPE: Officer's Contribution PROJECT NUMBER: N/A STATUS: This document is circulated for review and consideration. It will be discussed under agenda item 8.8 at the September 2007 JTC 1/SC 22 Plenary in Singapore. ACTION IDENTIFIER: ACT DUE DATE: DISTRIBUTION: text CROSS REFERENCE: DISTRIBUTION FORM: def Sally Seitz Program Manager American National Standards Institute 25 West 43rd Street, 4th Floor New York, NY 10036 Tel: 212 642 4918 Fax: 212 840 2298 __________________________________end of cover page, beginning of document_________________________________ BUSINESS PLAN AND CONVENER'S REPORT ISO/IEC JTC1/SC22/WG19 (FORMAL DEFINITION LANGUAGES) PERIOD COVERED August 2006 - July 2007 SUBMITTED BY: R S Scowen (ISO/IEC JTC1 SC22 WG19 Convener) 9 Birchwood Grove, Hampton, Middlesex United Kingdom TW12 3DU Tel: +44 (0)20 8979 7429 E-mail: (1) roger.scowen at npl.co.uk (2) patscowen at waitrose.com 30 July 2007 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. JTC1.22.45 -- ISO/IEC 13568 Z Notation: ISO/IEC 13568 was published in 2002. Ian Toyn, the project editor, prepared defect reports and a Draft Technical Corrigendum. This was balloted successfully, and sent to ITTF at beginning of February 2007. ITTF responded after three months requesting editorial changes which were made. Since then although nothing has been heard, it now appears in the ISO store catalogue (at zero cost), but not yet in ITTF's freely available standards. 1.2.2 Projects underway None. 1.2.3 Projects withdrawn None. 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 common foundations. 2.2 Achievements ISO/IEC 13817-1:1996 (VDM, Base language). ISO/IEC 13568:2002 (Z notation). ISO/IEC 14977:1996 (Syntactic metalanguage - Extended BNF). The Z standardization web site is at: http://www-users.cs.york.ac.uk/~ian/zstan/ 2.3 Resources The WG19 mailing list includes experts from Denmark, France, 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 deal with any maintenance required for the standards for which it is responsible. 3.1 Deliverables None 3.2 Strategies WG19 has two principal strategies: (1) technical excellence, and (2) liaison with all interested parties 3.2.1 Risks Not applicable. 3.2.2 Opportunities Not applicable. 3.3 Work Program Priorities Not applicable. 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 Possible action requests for SC22 Plenary See section 5. 4.2 WG19 Liaisons No formal liaisons. 4.3 Convener and Project Editors Roger Scowen is the convener of WG19, and Ian Toyn is deputy convener. The following individuals have been appointed project editors: JTC1.22.29.01 -- Vienna Development Method, Derek Andrews JTC1.22.45 -- Z notation, Ian Toyn (deputy: Susan Stepney) JTC1.22.14977 -- Extended BNF, Roger Scowen. 4.4 Electronic document distribution As far as possible, discussions and decisions within the working group are taken using e-mail. 4.5 Recent meetings None. 4.6 Future meetings No future meetings are currently planned. 5 DRAFT RESOLUTIONS FOR SC22. ------ End of 2007 WG19 report to SC22 -------- R S Scowen, Guest worker (roger.scowen at npl.co.uk) National Physical Laboratory, Teddington, Middlesex, UK. TW11 0LW Sally Seitz Program Manager American National Standards Institute 25 West 43rd Street, 4th Floor New York, NY 10036 Tel: 212 642 4918 Fax: 212 840 2298   ------_=_NextPart_001_01C7D462.AC811E18 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable N 4230 - Business Plan and Convener's Report for WG 19

ISO/IEC JTC 1/SC22
Programming languages, their environments and system = software interfaces
Secretariat:  U.S.A.  (ANSI)
 
ISO/IEC JTC 1/SC22 N4230
 
TITLE:
Business Plan and Convener's Report for WG 19 =

DATE ASSIGNED:
2007-07-31
 
SOURCE:
WG 19 Convener (R. Scowen)

BACKWARD POINTER:
N/A
 
DOCUMENT TYPE:
Officer's Contribution

PROJECT NUMBER:
N/A
 
STATUS:
This document is circulated for review and = consideration.  It will be discussed under agenda item 8.8 at the = September 2007 JTC 1/SC 22 Plenary in Singapore. 

ACTION IDENTIFIER:
ACT
 
DUE DATE:
 
DISTRIBUTION:
text

CROSS REFERENCE:
 
DISTRIBUTION FORM:
def

Sally Seitz
Program Manager
American National Standards Institute
25 West 43rd Street, 4th Floor
New York, NY 10036
Tel: 212 642 4918
Fax: 212 840 2298

__________________________________end of cover page, = beginning of document_________________________________
BUSINESS PLAN AND CONVENER'S REPORT
ISO/IEC JTC1/SC22/WG19
(FORMAL DEFINITION LANGUAGES)

PERIOD COVERED
August 2006 - July 2007

SUBMITTED BY:
R S Scowen
(ISO/IEC JTC1 SC22 WG19 Convener)
9 Birchwood Grove, Hampton, Middlesex
United Kingdom     TW12 = 3DU
Tel: +44 (0)20 8979 7429
E-mail: (1) roger.scowen at npl.co.uk
(2) patscowen at waitrose.com

30 July 2007

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.

JTC1.22.45 -- ISO/IEC 13568 Z Notation: ISO/IEC 13568 = was published in 2002.
Ian Toyn, the project editor, prepared defect = reports and a Draft Technical Corrigendum. This was balloted = successfully, and sent to ITTF at beginning of February 2007. ITTF = responded after three months requesting editorial changes which were = made. Since then although nothing has been heard, it now appears in the = ISO store catalogue (at zero cost), but not yet in ITTF's freely = available standards.

1.2.2 Projects underway
None.

1.2.3 Projects withdrawn
None.

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 common foundations.

2.2 Achievements
ISO/IEC 13817-1:1996 (VDM, Base language).
ISO/IEC 13568:2002 (Z notation).
ISO/IEC 14977:1996 (Syntactic metalanguage - = Extended BNF).
The Z standardization web site is at:
http://www-users.cs.york.ac.uk/~ian/zstan/

2.3 Resources
The WG19 mailing list includes experts from Denmark, = France, 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 deal with any maintenance required for the standards for which it = is responsible.

3.1 Deliverables
None

3.2 Strategies
WG19 has two principal strategies: (1) technical = excellence, and (2) liaison with all interested parties

3.2.1 Risks
Not applicable.

3.2.2 Opportunities
Not applicable.

3.3 Work Program Priorities
Not applicable.

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 Possible action requests for SC22 Plenary
See section 5.

4.2 WG19 Liaisons
No formal liaisons.

4.3 Convener and Project Editors
Roger Scowen is the convener of WG19, and Ian Toyn = is deputy convener.
The following individuals have been appointed = project editors:
JTC1.22.29.01 -- Vienna Development Method, Derek = Andrews
JTC1.22.45    -- Z notation, Ian Toyn = (deputy: Susan Stepney)
JTC1.22.14977 -- Extended BNF, Roger Scowen.

4.4 Electronic document distribution
As far as possible, discussions and decisions within = the working group are taken using e-mail.

4.5 Recent meetings
None.

4.6 Future meetings
No future meetings are currently planned.

5 DRAFT RESOLUTIONS FOR SC22.

------ End of 2007 WG19 report to SC22 = --------

R S Scowen, Guest worker
(roger.scowen at npl.co.uk)
National Physical Laboratory, Teddington, Middlesex, = UK. TW11 0LW


Sally Seitz
Program Manager
American National Standards Institute
25 West 43rd Street, 4th Floor
New York, NY 10036
Tel: 212 642 4918
Fax: 212 840 2298
=A0

------_=_NextPart_001_01C7D462.AC811E18--