Parallélisme et Généricité
Haddad, Serge (1993), Parallélisme et Généricité, 1er Congrès biennal de l'AFCET, 1993-06, Versailles, France
Type
Communication / ConférenceDate
1993Conference title
1er Congrès biennal de l'AFCETConference date
1993-06Conference city
VersaillesConference country
FrancePages
20
Metadata
Show full item recordAuthor(s)
Haddad, SergeAbstract (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.Subjects / Keywords
High-level Petri netsRelated items
Showing items related by title and author.
-
El Haddad, Joyce; Haddad, Serge (2003) Communication / Conférence
-
El Haddad, Joyce; Haddad, Serge (2004) Communication / Conférence
-
El Haddad, Joyce; Haddad, Serge (2004) Article accepté pour publication ou publié
-
El Haddad, Joyce; Haddad, Serge (2003) Communication / Conférence
-
Haddad, Serge; El Haddad, Joyce (2002) Document de travail / Working paper