Skip to main content

Formalisms, Methods and Tools

Objective

The goal of FOR-ME-TOO project was to define, implement and experiment with a technology for the systematic development, verification and validation of software systems, based on the principle of reusability of software components. The software development process, conceived of as a process with special attention given to the reuse of pre-fabricated components and to the structuring of the system to be developed into usable components as building blocks, was characterised as a combination of "top down" and "bottom up" approaches.
Reusability of descriptions and analysis of the sequential aspects of software systems was based on a specification language defined by using some of the primitives of ASL (a kernel specification language with loose semantics).
Reusability of descriptions and analysis of the concurrent aspects of software systems was based on various classes of Petri-nets, ranging from condition-event to high-level and stochastic nets.
An environment of support tools was constructed to assist developers in following a discipline for the stepwise derivation and development of software components, for the retrieval of components and for the composition of software components.
The project was to define, implement and experiment with a technology for the systematic development, verification and validation of software systems, based on the principle of reusability of software components. The software development process, conceived of as a process with special attention given to the reuse of prefabricated components and to the structuring of the system to be developed into usable components as building blocks, was characterized as a combination of "top down" and "bottom up" approaches. Reusability of descriptions and analysis of the sequential aspects of software systems was based on a specification language defined by using some of the primitives of ASL, a kernal specification language with loose semantics. Reusability of descriptions and analysis of the concurrent aspects of software systems was based on various classes of Petri-nets, ranging from condition-event to high-level and stochastic nets. An environment of support tools was constructed to assist developers in following a discipline for the stepwise derivation and development of software components, for the retrieval of components and for the composition of software components. Language de programmation generique (LPG) specification and programming language was studied. A taxonomy of reusable components and requirements for a library of reusable components were determined.
Work was undertaken in the following areas:
-study of the LPG (Langage de Programmation Gnrique) specification and programming language
-taxonomy of reusable components and requirements for a library of reusable components
-investigation of Petri-nets and algebraic techniques.
Exploitation
Through its extensive use of case studies, the FOR-ME-TOO project should improve the general understanding of components reusability within a project development task.

Coordinator

Siemens Nixdorf Informationssysteme AG
Address
Otto-hahn-ring 6
81739 München
Germany

Participants (3)

Bull SA
France
Address
68 Route De Versailles
78430 Louveciennes
Centro Studi e Laboratori Telecomunicazioni SpA
Italy
Address
Via G. Reiss Romoli, 274
10148 Torino
SYSECA SA
France
Address
315 Bureaux De La Colline
92213 Saint-cloud