Formalizing, Implementing and Reusing Controller's Behaviors and Interactions

Robin Passama; David Andreu; Christophe Dony; Thérèse Libourel Rouge

Retour

Acte de colloque

Formalizing, Implementing and Reusing Controller's Behaviors and Interactions

Robin Passama, David Andreu, Christophe Dony et Thérèse Libourel Rouge

CESA'06: IEEE-IMACS Int. Conf. on Computational Engineering in Systems Applications, pp.58-69

CESA'06: IEEE-IMACS Int. Conf. on Computational Engineering in Systems Applications (Beijing, China, 10/2006)

10/2006

Résumé

This paper presents a formal component-based language used to design and to implement control architectures. This language aims at providing concepts and notations to favor reusability of software components and quality during their design. It is based on an object Petri nets notation for behaviors and interactions descriptions, but also for execution purposes.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: Formalizing, Implementing and Reusing Controller's Behaviors and Interactions
Créateurs - sans rôle: Robin Passama - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
David Andreu - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Christophe Dony - Models And Reuse Engineering, Languages
Thérèse Libourel Rouge - Models And Reuse Engineering, Languages
Détails de publication: CESA'06: IEEE-IMACS Int. Conf. on Computational Engineering in Systems Applications, pp.58-69
Colloque: CESA'06: IEEE-IMACS Int. Conf. on Computational Engineering in Systems Applications (Beijing, China, 10/2006)
Identifiants: 9936815909311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: lirmm-00368171