Abstract (EN)

The components of many parallel applications (processes, resources, communication links .... ) can be grouped into classes of objects with a similar behaviour. These applications are often described in a generic fashion by specifying the behaviour of an item of each class independantly of its cardinality. This paper handles specification, verification and prototyping methods of these applications. At first, we will outline the drawbacks of the current specification languages and we will develop a new language combining the formal description features with the ones of the object approach. Then we will point out the interest of High-level Petri Nets as a semantics for such a language since they provide numerours verification algorithms. At last, we will overview the prototyping techniques based on High-level Petri Nets which aim at obtaining a maximal degree of parallelism and and fulfilling the requirements of a target architecture.