Abstract: A process for generating a performance model from a functional model for a system including a plurality of distributed hardware and software entities that engage to provide a service to at least one user. The process distributes the representative system requests in a finite number of groups and identifies, for each request group, the corresponding execution flow, formalizes the execution flows by a notation that makes it possible to highlight the causal relationships between the different software entities of the system that are involved in the execution flows and the data characterizing the system's resource consumption, develops an intermediate model, and automates the conversion of the developed intermediate model into a performance model.

Abstract: A process for generating a performance model from a functional model for a system including a plurality of distributed hardware and software entities that engage to provide a service to at least one user. The process distributes the representative system requests in a finite number of groups and identifies, for each request group, the corresponding execution flow, formalizes the execution flows by a notation that makes it possible to highlight the causal relationships between the different software entities of the system that are involved in the execution flows and the data characterizing the system's resource consumption, develops an intermediate model, and automates the conversion of the developed intermediate model into a performance model.

Abstract: In a packet data transmission digital network, a data receiver node dispatches to an adjacent data sender node packets of credits containing information about its capacity to receive data packets; the sender dispatches the data packets which it needs to transmit so long as it has sufficient credits; when its credits are exhausted, it continues to dispatch, in advance, the waiting data packets and preserves each data packet sent in advance until reception thereof is confirmed by the arrival of specific packets originating from the receiver; the receiver dispatches to the sender information indicating the lost data packets; the sender retransmits the data packets whose loss has been signalled by the receiver and destroys the data packets which were sent in advance and preceding the lost data packets.