2.3.6 Reactive Systems Task Group

Coordinator:

Other Participants:

Mailing List:

Aims and Scope:

The aim and scope of the CoFI 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 CASL 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 CASL, interacting with the Language Design Task Group
• develop a methodological rationale for a formalism
• formulate a coherent draft proposal for a (possibly multiple) formalism.