European Commission logo
English English
CORDIS - EU research results
CORDIS
Content archived on 2024-04-15

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.

Topic(s)

Data not available

Call for proposal

Data not available

Funding Scheme

Data not available

Coordinator

Siemens Nixdorf Informationssysteme AG
EU contribution
No data
Address
Otto-Hahn-Ring 6
81739 München
Germany

See on map

Total cost
No data

Participants (3)