Aims and Scope-Reactive Systems Task Group

[astes@disi.unige.it]

Dear Friends,
here is a first proposal of aims and scope for the Reactive Systems task Group.
Please comment.
After agreeing  aims and scope, we will propose a sketchy plan and schedule.
Best regards,
Egidio Astesiano

============================================

Draft proposal for   Aims and Scope-Reactive Systems Task Group
Common Framework Initiative

The aim and scope of the CFI  Reactive Systems Task Group is to propose and
develop an extension of the  common framework to deal with
reactive,concurrent and parallel  systems; object-oriented techniques for
dealing with reactiveness will also be considered. The specification
framework will deal with all phases from requirement to design, including
the intermediate steps. The possibility of handling also the implementation
phase by connecting specifications to languages will be considered in a
further stage.

The proposal should be
-  based essentially on state-of-the art  techniques
- compatible and integrated with the Level One language proposal
- mathematically rigorous
- able to deal with a wide range of significant systems
- sufficiently  friendly for practical use by a wide community (though not
necessarily
   industry targeted)
- guided and complemented by considerations concerning methodology and tools.

The Reactive Systems Task Group shall
-identify the range of  target systems and users
-analyse and compare existing techniques with respect to the above requirements
-stimulate discussion and produce documents on specific issues
-make a plan of action, possibly in different stages
-investigate the problems  concerning  compatibility and integration with
the Level
  One Language, interacting with the Language Design Task Group
-develop  a methodological rationale for a formalism
-formulate a coherent draft proposal for a (possibly multiple) formalism.