- 21 December
- A new Tools Note has been installed:
- 16 November
- A new Language Design Note has been installed:
The libraries of specifications provided in this new note supersede
the specifications previously given in Note
M-6. (A new version of the latter note,
focussing on methodological aspects of the CASL basic datatypes, is
forthcoming.)
- 16 November
- Two new Tools Notes have been installed:
- 16 November
- A preliminary release of the revised CASL package was
announced on the
Tools mailing list
in May. An improved version is (still) forthcoming, and should
be ready by the end of 1999...
- 16 November
- A new version of the initial response to the
IFIP WG1.3 Referee Report on the proposed CASL design, updated to
reflect the design changes incorporated in CASL version 1.0, is soon
to be made available.
- 16 November
- A
CoFI WG workshop
was held as part of
WADT'99 in
Bonas, 15-18 September, 1999. See
the mailing list archives for the reports of the task group
meetings held concerning
Language Design,
Tools, and
Reactive Systems.
- 22 July
- New release of CASL Summary version 1.0
installed
http://www.cofi.info/Documents/CASL/Summary/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/
[Sorry for the delays: most of the changes are to the details of the
concrete syntax, and they took quite some time to settle down...]
A revised version of the Summary-Changes document has been installed
too, listing all the changes that have been made to the CASL Summary
since the initial release in October 1998:
http://www.cofi.info/Documents/CASL/Summary-Changes/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
- 22 July
- A new version of a Methodology Note has been installed:
- 22 July
- A preliminary release of the revised CASL package was
announced on the
Tools mailing list
in May. The long-promised full release is still pending, but should
be ready by the end of August (1999!).
- 22 July
- The editor of the CoFI web pages is about to move back
to Europe, and will shortly resume reading e-mail sent to his address
in Denmark: mailto:pdmosses@brics.dk.
(Mail sent to mosses@csl.sri.com will be automatically forwarded, for
a limited period.)
- 24 June
- New release of CASL Summary version 1.0
deferred to mid-July...
A revised version of the Summary-Changes document (see below) has been
installed, reflecting the final changes to be made to the CASL
Summary--except regarding various rather technical issues concerning
Concrete Syntax (Appendix C), which are
still awaiting resolution.
Moreover, a new Tools note--submitted in April, but never
installed--has been discovered, and is now available:
The note is particularly relevant to the discussion of the location of
comments. Apologies to all--especially the author--for the delay!
(By the way, the revised version of Tools Note T-3 was originally
announced as Note T-7, due to a misunderstanding.)
- 20 May
- New release of CASL Summary version 1.0 to
appear mid-June
http://www.cofi.info/Documents/CASL/Summary-Changes/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
The above draft document lists the adjustments, corrections and
clarifications that were proposed to be incorporated in the
Casl Summary. The
proposals concerning concrete syntax are mainly based on further
feedback from the implementation of Casl parsers; the proposals for
corrections and clarifications to the wording of the Summary concern
details that have been noticed during the final polishing of the Casl Semantics.
The current draft of this document has been prepared by Peter Mosses
in collaboration with the CoFI Language Design Task Group
coordinator, Bernd Krieg-Brückner. It was discussed by the
participants of the CoFI Language Design Task Group on the
cofi-language mailing list in the period 11-24 March 1999 and
(briefly) at the Language Design meeting during the CoFI Workshop in
Amsterdam, 27-28 March 1999.
The agreed changes to the Casl Summary are to be implemented as soon
as the remaining points mentioned in the report of the
meeting have been
decided--please react by 28th May at the latest!. These
concern the details of:
- the concrete syntax for (compound) mixfix identifiers;
- possible restrictions on the location of comments;
- the conditions on free datatype declarations (see the new
proposal);
- the annotations %cons and %imply; and
- the extended syntax for literals (see the new
proposal).
Once the above points have been settled, the list of proposed changes
will be updated to reflect the agreed changes, and the changes will be
implemented in a new release of the Summary after a short period for
objections to be raised.
- 16 November
- A
CoFI WG workshop
was held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. See
the mailing list archives for the reports of the task group
meetings held concerning
Language Design,
Methodology,
Semantics,
Tools, and
Reactive Systems.
- 20 May
- A preliminary release of the revised CASL package
has been announced on the
Tools mailing list.
The long-promised full release should now be made at the end of May,
together with a revision of the CoFIdoc package.
- 22 April
- A
CoFI WG workshop
was held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. See
the mailing list archives for the reports of the task group
meetings held concerning
Methodology,
Semantics, and
Tools.
The reports on the remaining meetings are forthcoming.
- 22 April
- A new Methodology Note has been installed:
- 15 March
- A
CoFI WG workshop
is to be held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. The workshop
programme is available. See
also the mailing list archives for the agendas of the task group
meetings to be held concerning
Language Design,
Methodology,
Semantics, and
Tools
(the agenda for the Reactive Systems meeting is not yet available).
- 15 March
- New release of CASL Summary version 1.0 pending
http://www.cofi.info/Documents/CASL/Summary-Changes/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/
The above draft document lists the adjustments, corrections and
clarifications that are proposed to be incorporated in the
Casl Summary. The
proposals concerning concrete syntax are mainly based on further
feedback from the implementation of Casl parsers; the proposals for
corrections and clarifications to the wording of the Summary concern
details that have been noticed during the final polishing of the Casl Semantics.
The current draft of this document has been prepared by Peter Mosses
in collaboration with the CoFI Language Design Task Group
coordinator, Bernd Krieg-Brückner. It is intended for discussion by
the participants of the CoFI Language Design Task Group on the
cofi-language mailing list in the period
11-24 March 1999
and (briefly) at the Language Design meeting during the CoFI Workshop
in Amsterdam, 27-28 March 1999. The agreed changes to the Casl Summary are to be implemented as soon as possible thereafter.
The present draft starts with two proposals which may be considered as
somewhat controversial--further discussion is needed before deciding
on the adjustments to adopt, and some alternatives are indicated. It
is hoped that the remaining proposals are all uncontroversial (readers
are asked to check that for themselves...), and they will be
adopted without further discussion unless objections are raised.
- 15 March
- A new Methodology Note has been installed:
also a Language Design Note:
- 15 March
- A preliminary release of the revised CASL package
has been announced on the
Tools mailing list.
The long-promised full release should be made at the beginning of April,
together with a revision of the CoFIdoc package.
- 7 February
- A
CoFI WG workshop
is to be held as a satellite event at
ETAPS'99 in
Amsterdam, 27-28 March, 1999. The workshop programme is to appear
shortly. Note that the ETAPS'99 deadline for registration at the
lower rate is now 1st March 1999.
- 7 February
- See the mailing list archives for reports on the
task group meetings held in Cachan (November 1998) concerning
Language Design,
Methodology,
Semantics,
Tools, and
Reactive Systems.
- 7 February
- A preliminary release of the revised CASL package
has been announced on the
Tools mailing list.
After further testing, a full release should be made later this month,
together with the promised revision of the CoFIdoc package.
- 7 February
- Links to the 1999 mailing list
archives have been added.
- 7 February 1999
- After a longer break, these web pages are now
being updated on a regular basis again.
- 6 November
- The working document providing the formal semantics
of Casl has been updated to Casl v1.0, and installed:
- 6 November
- A new Methodology Note has been installed:
- 29 October
- Some internal links have been made relative, so that
they should remain within the local mirrors. Please notify
the editor straight away about any
problems with links!
- 29 October
- A mirror has been established at SRI
International,
California. The
mirror is updated each night (local time).
- 29 October
- Directions for creating a local mirror have been
added to the page on downloading.
- 23 October
- Release of CASL Summary version 1.0!
The CASL Summary version 1.0 has now been released, and
can be accessed in various formats via the URLs:
http://www.cofi.info/Documents/CASL/Summary/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/
Please notify the editor
straight away about any problems with browsing or printing the
document! The Postscript is generated by dvips for A4 format by
default, but the complete document is now also available as Postscript
generated for printing on Letter-size paper, as well as a DVI file.
(In the future, all documents should be made available in PDF, which
appears to have some advantages over Postscript and DVI.)
Those interested in the changes that have been made since version 0.99
of the CASL Summary may like to browse the following documents, where
all changes are marked and listed:
http://www.cofi.info/Documents/CASL/Summary-v1.0/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0/
In the WWW format, the list of changes links directly to the changes
themselves, the extent of which is clearly marked; in the LaTeX
format, the list references the pages where the changes have occurred.
Finally, thanks to all who found the time and energy to
read through the final draft version of the CASL Summary, and
who provided the editor with much helpful advice for improving it!
- 22 October
- The release of the revised CoFIdoc and CASL packages
for LaTeX and Hyperlatex has been delayed, and may not happen until
around the first week of November. (The packages seem to work OK, but
the documentation for the CASL package needs a major revision.)
- 22 October
- A further Language Design Note has been installed:
Also, a revised version of a Tools Note has been installed:
- 29 September (updated 2 October)
- As
announced on the main CoFI
mailing list, a CoFI workshop will take place in Cachan, just
outside Paris, starting on Saturday 7 November after lunch and
finishing on Tuesday 10 November in the early evening. (The
plan originally announced was for the meeting on Reactive Systems to
continue until Wednesday noon.)
Please register as soon as possible!
- 2 October
- Release of final draft of CASL Summary v1.0!
The original plan was to release the final draft of the CASL Summary
version 1.0 by mid-September. However, on-going discussions in both
the Semantics and Tools task groups had recently raised further
delicate questions about some details of the CASL design, and a bit
more time was needed to resolve these last points...
The final draft of the CASL Summary v1.0 has now been installed, and
can be accessed in various formats via the URLs:
http://www.cofi.info/Documents/CASL/Summary-v1.0-DRAFT/
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-v1.0-DRAFT/
Please notify the editor straight
away about any problems with browsing or printing the document.
(Apparently some sites in the US have problems with printing A4-format
Postscript; but hopefully, the DVI format of the current version of
this documents is completely portable, now that changebars are no
longer exploited.)
Notice that there is now an automatically-generated list of changes,
inserted just before the beginning of Part I, with links to the
changes themselves in the WWW format. The changes are highlighted in
colour there too. The Index (of concepts) has a nicer format than
before on WWW.
The plan is now:
- 5 October:
- Release of revised CoFIdoc and CASL packages
- 15 October:
- Deadline for objections to changes
- 22 October:
- Release of final CASL Summary v1.0
Thanks for your patience!
- 29 September
- As
announced on the main CoFI
mailing list (and other lists), a CoFI workshop will take place in
Cachan, just outside Paris, starting on Saturday 7 November after
lunch and finishing on Wednesday 11 November in the afternoon.
Please register as soon as possible!
- 12 September
- Release of final draft of CASL Summary delayed!
The plan WAS to release the final draft of the CASL Summary
version 1.0 by mid-September. However, on-going discussions in both
the Semantics and Tools task groups have recently raised further
delicate questions about some details of the CASL design, and it
appears that a bit more time is needed to resolve these last points...
A further relevant factor is that the editor of the CASL Summary will
be away from the net from 14-28 September, and is reluctant to leave
possible questions and comments on the new version unanswered during
the entire period that had been allowed for objections.
Therefore, the plan is now:
- 27 September
- Conclusion of feedback from task groups
- 1 October:
- Release of DRAFT of CASL Summary v1.0
- 15 October:
- Deadline for objections to changes
- 22 October:
- Release of final CASL Summary v1.0
The editor of the CASL Summary must apologize for not having been able
to keep to the previous plan, which would have ensured the
finalization of the CASL design in time for the start of the new CoFI
WG, as well as leaving more time before the forthcoming task group
meetings in Cachan. Hopefully, the present delay will indeed be the
very last one--and will help substantially to avoid having to produce
a version 1.0.1 too soon!
- 12 September
- The editor of the CoFI web pages at Aarhus is away
from the net from 14-28 September. In case of access problems,
please try the mirrors in
Edinburgh
or
Paris
- 7 September
- Some e-mail addresses and other data on the various
CoFI pages have been updated. Please let the editor know about any
further changes that should be made.
- 15 August
- As
announced on the main CoFI
mailing list, Don Sannella
is now the overall coordinator of CoFI. The former overall
coordinator, Peter Mosses, is away from Aarhus on sabbatical leave,
but will continue to maintain the CoFI archives and participate in
various CoFI activities.
- 15 August
- As also
announced on the main CoFI
mailing list, A CoFI Working Group with ESPRIT funding is about to
start! See the CoFI Working Group Home Page at
Edinburgh for
administrative information and plans for future meetings.
N.B. It is highly likely that some CoFI meetings will be held
during WADT'99,
Château de Bonas, France, 15-18
September 1999. The number of places available at the Château is
limited. All those who intend to participate in WADT'99 are asked to
pre-register by completing the pre-registration form without delay,
and in any case before:
10th September 1998 (THIS year!)
Pre-registered participants are guaranteed a place at the Château,
and will later be sent further details concerning final registration
for WADT'99. A high number of pre-registered participants should
enable WADT'99 to obtain particularly-favourable room rates at the
Château.
- 15 August
- The discussion on the Language Design mailing list of
the changes made in CASL version 0.99 has finished. The editor of the
CASL Summary will soon provide a list of the final changes that are
planned for version 1.0, incorporating the feedback (so far) from the
Semantics, Methodology, and Tools task groups. The plan is to release
the final draft of version 1.0 by mid-September, with the end of
September (1998!) as the deadline for objections.
As mentioned in the Language Design task group coordinator's
message, some points
concerning annotations, parsing, and formatting are still awaiting
clarification. Those concerned with these issues are requested to
send proposals to the Language Design mailing list as soon as possible!
- 15 August
- The Semantics group is still validating the changes
that have been made to the Casl design since version 0.97; see the
Semantics mailing
list for details and
progress reports. Any feedback on the Casl design (in the form of
proposals for adjustments) will subsequently appear on the
Language Design mailing
list.
- 15 August
- The updated Methodology Note
M-4 (now with examples of architectural
specifications)
announced on
the Methodology mailing list, has been installed.
- 18 June
- The DEADLINE for final reactions to the
changes made in CASL version 0.99 is Friday 19 June! See the
Language Design task group coordinator's recent
message on the mailing
list for further details regarding finalization.
- 18 June
- A further Semantics Note has been installed:
Note also that Methodology Note M-4, on Architectural Specifications,
is about to be updated. The update will be announced on the
Methodology mailing
list.
- 18 June
- The Semantics group is still validating the changes
that have been made to the Casl design since version 0.97; see the
Semantics mailing
list for details and
progress reports. Any feedback on the Casl design (in the form of
proposals for adjustments) will subsequently appear on the
Language Design mailing
list.
- 18 May
- The Semantics group is currently validating the changes
that have been made to the Casl design since version 0.97; see the
Semantics mailing
list for details and
progress reports. Any feedback on the Casl design (in the form of
proposals for adjustments) will subsequently appear on the
Language Design mailing
list.
- 18 May
- The moderator of the Language Design mailing list is now
(as orginally) the language design task group coordinator: Bernd
Krieg-Brückner,
bkb@informatik.uni-bremen.de.
The "temporary" moderator over the past two years, PDM, thanks the
contributors for their submissions, and thanks everyone for tolerating
the many comments that he has inserted when forwarding messages.
- 18 May
- Pending revision (to correct some misconceptions about
CafeOBJ methodology) access to the previously-announced tentative
document by Peter D. Mosses: Casl for CafeOBJ Users, has been
suspended. The new version will be announced when it is ready
(probably early June).
- 21 April
- Version 0.99 of the CASL
Summary has now been installed!
The body (up to and
including Appendix A) and the
appendices (Appendices
A-F) are available separately (compressed postscript only).
An alternative document has also been installed with highlighting of
all significant
changes since the
draft of version 0.99. (Browsing the web version of it may be the
most convenient for occasional reference.)
This announcement has been sent to the main mailing list. Any
complaints about the changes made (or not made), and discussion of the
still-tentative syntax and semantics for views, should be sent to the
Language Design mailing list.
- 20 April
- Version 0.99 of the CASL
Summary is still being
adjusted, not only taking account of the proposed (relatively minor)
changes, but also making some last-minute improvements to the
description of translations and reductions. It should be installed by
mid-afternoon. An announcement will be sent to the main mailing list
when it's ready. Thank you for your patience!
- 15 April
- Version 0.99 of the CASL
Summary is currently
being adjusted to take account of the proposed (relatively minor)
changes, and about to be finalized.
Any last-minute comments or questions on the Summary should be sent
without delay to the Language Design mailing
list. The deadline for
comments (originally 8 April, but extended due to Easter holidays) is:
NOON TODAY !
The previously-announced documents presenting the draft version 0.99
abstract and concrete syntax have been superseded by the
appendices of the new Summary, and are no longer accessible. (The
appendices are available separately from the main body of the
document, for convenience of downloading and printing.)
- 15 April
- The minutes of the CoFI Tools meeting in
Lisbon have appeared on the Tools mailing
list. The minutes of the
other meetings (Language Design, Semantics, Reactive Systems) are
not yet available, but expected to appear shortly.
- 15 April
- Two papers comparing Casl with other specification
languages have recently been installed:
It is intended to revise both the above documents in the near future,
to take account of the final changes to the Casl design and to
incorporate suggestions for improvements. Please send any comments to
the author by 15 May 1998.
- 27 March
- Further notes have been installed, and participants of
the CoFI meetings in Bremen are requested to bring copies with them
(as well as version 0.99 of the CASL
Summary):
The following previously-announced notes should also be brought to
Lisbon:
Comments on these notes should be sent to the relevant mailing lists.
- 25 March
- The long-awaited version 0.99 of the CASL
Summary, adjusted to
take account of the recent changes to the abstract syntax and
incorporating concrete syntax for the entire language, has now been
installed, as announced today on the main CoFI mailing
list. It is hoped that,
thanks mainly to the concrete syntax, the document is now much more
accessible than hitherto.
Please send any comments or questions on the Summary to the Language
Design mailing list.
The deadline for comments is 8 April 1998 !
The previously-announced documents presenting the draft version 0.99
abstract and concrete syntax have now been superseded by the
appendices of the new Summary, and are no longer accessible. (The
appendices are available separately from the main body of the
document, for convenience of downloading and printing.)
- 27 February
- The long-awaited version 0.99 of the CASL Summary,
adjusted to take account of the recent changes to the abstract syntax,
is not yet ready: incorporating the concrete syntax into the summary
is taking longer than anticipated. (Version 1.0 is to be the polished
final version, with hopefully only cosmetic differences from version
0.99.)
- 17 February
- Version 0.99 of the CASL abstract
syntax, concrete
syntax, and
examples have now
been installed. The remaining concrete syntax issues (apart from a
late-breaking reconsideration of precedence and associativity of
logical connectives) concern only architectural specifications and
views (named morphisms). Implementations of prototype parsers for
CASL (basic and structured specifications) appear to have been
successful, and are now being validated.
- 17 February
- The long-awaited version 0.99 of the CASL Summary,
adjusted to take account of the recent changes to the abstract syntax,
should become available early next week. (Version 1.0 is to be the
polished final version, with hopefully only cosmetic differences from
version 0.99.)
- 10 February
- The messages sent recently to the
cofi-language mailing
list contain a revised
proposal for named morphisms (views), and proposals for various minor
adjustments to the DRAFT CASL version 0.99 concrete
syntax and
examples as
well as to the abstract
syntax. The editor of these
documents is revising them accordingly, and the long-awaited
version 0.99 of the CASL Summary should become available by within a
week or so. (Version 1.0 is to be the polished final version, with
hopefully only cosmetic differences from version 0.99.)
- 4 February
- The following was prefixed to the WADT CFP on the
main CoFI mailing
list on 28 January:
[Many CoFI participants will be attending ETAPS/WADT in Lisbon, and
meetings of the CoFI task groups on Language Design, Semantics, Tools,
and Reactive Systems will be held adjacent to (or perhaps even during)
WADT. Further details will be announced on this mailing list as soon
as possible. Don't delay with submitting a talk for WADT: the
remaining free slots will soon be gone! -PDM]
A tentative schedule for the CoFI
meetings in Lisbon, 1-4 April 1998, is now available. Due to other
events, the CoFI meetings will all have to be very short.
- 4 February
- The following was announced on the
cofi-language mailing
list on 23 January:
At the meetings in Bremen (9-11 January 1998)
participants of the Tools, Methodology, and Language Design task
groups discussed issues affecting the abstract syntax and semantics of
CASL, as well as concrete syntax.
Moreover, the meetings were followed by some e-mail
discussions--mainly between the coordinators of the Language Design,
Semantics, and Methodology task groups--leading to further proposals.
This message includes a brief summary of the proposed changes to CASL.
It [is] followed [...] by supplementary messages that
address particular topics: concrete syntax, conservative extensions,
and named morphisms.
Please note especially that the CASL design (concrete and abstract
syntax, intended semantics) is to be FROZEN after the proposed
changes, listed below, have been properly discussed on this mailing
list! [...]
Final deadline for objections: Monday 9 February 1998
Provided we have reached a resonable consensus concerning the proposed
changes by then, the discussions will be concluded, and the
long-awaited version 0.99 of the CASL Summary should become available
by mid-February. (Version 1.0 is to be the polished final version,
with only cosmetic differences from version 0.99.)
- 4 February
- The authors of the concrete syntax proposal
have updated it to draft
version 0.99, and
similarly for the
examples,
reflecting the changes that were agreed upon in Bremen--trying also
to resolve as many of the remaining issues as possible, prior to the
release of what will hopefully be the final version. The details were
announced on the cofi-language mailing
list on
23 January. Sorry that this part of the language design has taken so
long!
- 4 February
- Also a tentative proposal for the syntax of
named morphisms ("views") in CASL was sent to the
cofi-language mailing
list on 23 January; the
subsequent discussion appears to have resulted in a particularly
simple proposal for the changes to the abstract syntax of CASL.
- 21 January
- After the (very pleasant and productive!) task group
meetings held in Bremen, 9-11 January, 1998,
the authors of the concrete syntax proposal have been working to
accommodate the changes that were agreed upon there--trying to
resolve as many of the remaining issues as possible, prior to the
release of what will hopefully be the final version. The details are
to be announced on the cofi-language mailing list tomorrow (Friday)
afternoon. Sorry that this part of the language design has taken so
long!
Also a tentative proposal for the syntax of named morphisms in CASL
will be sent to the cofi-language mailing list tomorrow.
Minutes of the Tools and Methodology task group meetings will be sent
to the respective mailing lists in due course.
- 21 January
- Further notes were installed just before the Bremen
meetings:
Comments on these notes should be sent to the relevant mailing lists.
- 6 January
- Further information has been added about the meetings
to be held in Bremen, 9-11 January, 1998. (It
has also been sent by e-mail to the registered participants of the
meetings.)
- 6 January
- Christine Choppy has written a note on datatype
declarations in Casl. It has been installed as Note
M-2. (The note by Hubert Baumeister on
naming the Use of Extension and Union, previously made
available from Paris, has now been installed as Note
M-1.)
- 19 December
- Season's Greetings to all CoFI participants!
- 19 December
- The concrete syntax
proposal and
examples have now
been updated--sorry for the delay...
Deadline for comments: Thursday 8 January, 1998!
Any adjustments to present proposal are to be decided at the
meetings to be held in Bremen, 9-11 January,
1998. Those who are not able to attend the meetings
are requested to use the mailing list to make known whatever
objections or suggestions they might have.
- 19 December
- Till Mossakowski has written a note on sublanguages
of Casl. It has been installed as Note
L-7.
- 19 December
- 14 participants have registered for the meetings of
the CoFI task groups on Tools, Methodology, and Language Design
to be held in Bremen, 9-11 January, 1998.
The deadline for booking hotel accommodation at the group price has
been extended to 29 December.
- 2 December
- Meetings of the CoFI task groups on Tools,
Methodology, and Language Design are to be held in
Bremen, 9-11 January, 1998. Further details
and an invitation to register have now been sent to the main CoFI
mailing list (sorry for the delay). Please register and book
accommodation as soon as possible, and by 16 December at the
latest, to facilitate the local arrangements.
- 2 December
- The finalization of the compromise proposal for CASL
concrete syntax (basic and structured specifications), taking account
of the comments on the previous
proposal and
examples, is drawing
to an end. Updated versions of these documents are to be announced
on the cofi-language mailing list by 15 December (1997! :-).
- 29 October
- The list of conferences has been
updated with links to EITC' 97, ETAPS' 98, WADT' 98, and ICSE' 98.
Please let me know about any further conferences that should be added.
- 29 October
- Meetings of the CoFI task groups on Tools,
Methodology, and Language Design are to be held in Bremen, 9-11
January, 1998. Further details and an invitation to register are to
appear next week, both here and on the main CoFI mailing list.
- 22 October
- As previously announced on the cofi-language
mailing list, the
deadline for comments on the
document with a
compromise proposal for the concrete syntax of basic specifications in
CASL has been EXTENDED to Monday, 27 October.
- 20 October
- As previously announced on the cofi-language
mailing list, the
document with a
compromise proposal for the concrete syntax of basic specifications in
CASL has been updated, following the discussions at the Amsterdam
meetings. Deadline for comments: TODAY!
- 20 October
- The minutes of the Amsterdam
meetings on Tools and Language Design have been sent
to the respective mailing lists, and are available in the
archives.
- 23 September
- Last chance for comments on CASL v0.98! Comments
received by 10 am on 24 September on
cofi-language will be forwarded,
after which the mailing list will be suspended until after the
Amsterdam meetings.
- 23 September
- The agenda for the Amsterdam
meeting on Tools and Language Design (previously sent on
cofi-tools) has been added to the WWW page.
- 10 September
- The final version of Semantics Note
S-5 has been
installed. It provides a detailed analysis of the treatment of
subsorts in CASL.
- 9 September
- Version 0.98 of the Casl
Summary has been installed. It
shows just which bits of CASL are currently subject to reconsideration
or revision, in view of the referees' comments and the recommendations
made by the CoFI Semantics Task Group [Sem97c]. Appendices list the
changes from version 0.97, and particular points remaining to be decided.
Deadline for comments to be considered at the Amsterdam Meeting of
the Language Design Task Group:
12 noon on Tuesday, 23 September 1997.
- 4 September
- A
document with a
compromise proposal for the concrete syntax of basic specifications in
CASL is (at last!) available. Deadline for comments: Thursday
18 September 1997!
- 27 August
- The revised
response by the
Language Design Task Group to the referees'
report has been installed.
- 20 August
- Details of local arrangements for the CoFI meetings
in Amsterdam (Tools, Language Design, Methodology), held adjacent to
ASF+SDF'97, are
now available. (They have been sent to the main
CoFI mailing list, cofi-list@brics.dk, to which all CoFI
task group participants are supposed to subscribe.) Please
register as soon as possible.
- 1 August
- As announced yesterday on the CoFI-Methodology
mailing list, the planned Methodology Meeting in Graz on
20 September has unfortunately had to be CANCELLED.
However,
please note that the other Methodology meeting in Amsterdam,
following ASF+SDF and the Tools, Langage Design meetings will
be held as planned.
- 22 July
- The Semantics Task Group has completed the formal
semantics of Casl for the proposed design (version 0.97).
It has been installed as Note S-6.
- 22 July
- Didier Bert has written a draft note considering the
introduction of morphisms as first-class citizens in Casl.
It has been installed as Note L-6.
- 30 June
- A draft of the
response by the
Language Design Task Group to the referees'
report has been installed.
- 16 June
- Tentative approval of CASL Design by IFIP WG 1.3
The approval is subject to reconsideration (by the Language Design
task group) of some aspects of the proposed design, as detailed in a
formal referees' report.
- 16 June
- The Language Design task group is now working towards a
compromise between the "Bremen" and "Paris" proposals for
concrete syntax. A list of particular issues concerning concrete
syntax will be announced on the cofi-language mailing list later this
week, with the aim of converging on a single proposal by
mid-September.
- 16 June
- It has been decided to hold several
task group meetings in September 1997, following
FME'97 (Graz) and ASF+SDF'97 (Amsterdam).
- 30 May 1997:
- The overall coordinator (and moderator of
cofi-language and cofi-list) is about to leave for the meetings in
Tarquinia, and will be back on the net Aarhus on Tuesday 10 June -
with news of IFIP WG 1.3's assessment of the CASL Design Proposal.
- 30 May 1997:
- Language Design Note of Dissent
L-5 has been
installed.
- 29 May 1997:
- Language Design Note of Dissent
L-4 has been
installed.
- 27 May 1997:
- Semantics Note
S-5 has been
installed. It provides a detailed analysis of the treatment
of subsorts in CASL.
- 27 May 1997:
- A new version of the "Bremen" proposal for
Casl concrete syntax is now
available.
- 26 May 1997:
- A new version of the "Paris et al." proposal for
Casl concrete syntax is now
available.
- 26 May 1997:
- Language Design Note of Dissent
L-3 has been installed.
- 23 May 1997:
- Mail sent to Peter Mosses or to cofi-language in
the period 4am, Tue 20 May to 4pm, Thu 22 May has unfortunately been
lost, due to a disk crash and a missed backup. Please resend, if
possible.
- 23 May 1997:
- A further CASL
document is being prepared,
to help the IFIP WG 1.3 meeting assess the extent of any dissenting
views concerning the Proposed Design for Casl. The deadline for
contributions is:
12 noon on Friday 30 May!
- 23 May 1997:
- The CoFIdoc
package and CoFI Note
C-1 have been updated. Those writing or
editing CoFI documents should take fresh copies of the files.
- 20 May 1997:
- All the main documents for the Casl Design
Proposal are now
available and ready for printing. Some further documents are still
being revised/prepared.
- 14 May 1997:
- The Casl Design
Proposal has been
submitted to IFIP WG 1.3 for consideration at its meeting on 2-3 June
1997. However, some of the documents are not yet available in final
form.
All comments on the proposed design should be sent to the
CoFI Language Design mailing
list(cofi-language@brics.dk). Deadline for comments to
be considered at the IFIP WG 1.3 Meeting:
12 noon on Friday, 30 May, 1997.
- 6 May 1997:
- The presentation of CoFI and the Tentative Design
of CASL at TAPSOFT'97 has been updated to reflect the recent changes
to the CASL design. It is to be the basis for a more comprehensive
rationale for the CASL design, to be proposed to IFIP WG 1.3. For
convenience, the document has been split into two: the (hopefully
uncontroversial!) Rationale for CoFI, the Common Framework
Initiative; and the (still rather
sketchy) Rationale for the Casl
design.
URGENT! Please read the Casl Rationale!
Kindly point out the places where the explanations are inadequate or
misleading, letting me know as soon
as possible. Feel free to suggest rewording, or to contribute new
points or sections. The version to be submitted to IFIP WG 1.3. will
have to be finalized by 15 May!
- 29 April 1997:
- Following intense working meetings in Paris and
Lille earlier this month, the remaining questions and doubts about the
Tentative Design of CASL appear to have been resolved. The Language
Summary has now been revised to reflect the required changes to the
abstract syntax and its intended semantics. The current version,
0.96, is a draft of the Casl Design
Proposal that is to be submitted
to IFIP WG 1.3 by mid-May.
It is intended that the final proposal will not differ much from this
draft, so please would all CoFI participants--as well as
anyone else who might be interested in the design of CASL--take a
close look at it straight away, and report any mistakes or
inconsistencies that you notice, as well as pointing out any parts
that still need further clarification (bearing in mind the informal
nature of such a summary). All comments on the Proposed Design of
Casl, and on the Design Proposal itself, should be sent to
the CoFI Language Design mailing
list
(cofi-language@brics.dk). Deadline for comments:
Monday, 12 May, 1997!
- 29 April 1997:
- An Annotated version of the Casl Tentative
Design Language Summary, with questions and doubts and their
suggested resolution, has been produced by the Semantics task group,
and made available as CoFI Note S-1.
(This is version 1.3 of Note S-1; the version previously announced
here had the questions and doubts, but was lacking their
resolution...)
- 29 April 1997:
- Meetings of the CoFI
Methodology and Reactive Systems task groups (at least) will be held
at Tarquinia, 31 May and 1 June 1997, prior to the IFIP WG 1.3 meeting
and WADT'97.
The schedule will be announced later this week.
- 29 April 1997:
- The presentation of CoFI and the Tentative
Design of CASL at TAPSOFT'97 is now available (reformatted) as a
CoFI Tentative
Document. It gives a
(rather sketchy) rationale for some of the design choices that were
taken. It is planned to update it "real soon" to reflect the recent
changes to the CASL design; after that, it could perhaps be used as
the basis for a more comprehensive rationale for the CASL design, to
be proposed to IFIP WG 1.3.
- 11 April 1997:
- [Notes]
More recently-installed CoFI Notes:
L-2,
S-4,
T-2.
- 10 April 1997:
-
Another proposal for CASL concrete syntax is now available from
Paris.
- 9 April 1997:
- [Notes]
Recently-installed CoFI Notes:
L-1,
S-3,
T-1.
- 9 April 1997:
- [Meetings]
The location of the Language Design and Tools task groups meetings in
Paris is now fixed.
- 8 April 1997:
-
One proposal for CASL concrete syntax is already available from
Bremen.
Another proposal is overdue, but should finally become available by
16h00 on Thursday 10 April at the latest, from Paris.
- 8 April 1997:
-
The CoFI WWW pages were inaccessible all day (due to an obscure
local network routing problem that only affected outside
access...). My apologies for the frustration. In future, kindly
send a report, mentioning the
URL that you were trying to access, whenever our WWW server isn't
responding properly.
- 11 March 1997:
-
A major update of CoFI WWW pages (long overdue!) has been made.
Please report missing links...
- 11 March 1997:
- [CoFI Note C-1]
on "Formatting CoFI documents with LaTeX" is available. Please
follow the guidelines in it for all future CoFI documents. It
refers to the Cofidoc package,
which is available separately.
- 11 March 1997:
- [Notes]
The CoFI Notes series continues the original Study Notes series, but
with a more systematic labelling and indexing scheme.
- 11 March 1997:
- [Meetings]
The Language Design and Tools task groups will meet in Paris just
before TAPSOFT'97, and the Semantics task group will meet during
TAPSOFT'97 in Lille, April 1997.
- 23 January 1997:
- Updated link to new location of Paris mirror.
Corrected problem with automatic mailing list archive updating.
- 10 January 1997:
-
Change of location for Tools working meeting in Paris, 18-19
January 1997: meeting now to be held at LIENS, 45 rue d'Ulm, 75005 Paris
(Salle M6, Niveau -1, Passage Mauve).
- 10 January 1997:
-
Note that the sponsoring IFIP Working Group for CoFI, which used to
be called IFIP WG 14.3, is henceforth to be referred to as IFIP
WG 1.3. The name and purpose of the WG remain unchanged:
Foundations of Systems Specification.
- 20 December 1996:
- [Tentative Design]
The official
Summary
of the Tentative Design of CASL, the CoFI Algebraic Specification
Language, is now available. This document will be the basis for
closer investigation of the tentative language design by various
CoFI task groups (Semantics, Tools, Methodology, Language Design),
leading to a firm CASL Design Proposal in March 1997.
