Projets SRC

Équipe : SRC

PNML Framework

PNML Framework est l'implémentation prototype du standard ISO/IEC-15909 (partie 2), le format d'échange normalisé pour les réseaux de Petri. L'objectif principal de PNML est d'aboutir à l'interopérabilité des outils basés sur les réseaux de Petri. PNML Framework est conçue pour implémenter le standard au fur et à mesure de son élaboration, afin d'en mesurer la faisabilité et de servir de référecne pour es outils de la communauté. Il propose une API de manipulation permettant de créer, sauver, charger et parcourir des réseaux de Petri au format PNML.
Responsable : Fabrice KORDON
01/04/2005
Plus d'informations ici …
CPN-AMI

L'environnement logiciel est dédié à la théorie des réseaux de Petri colorés. Il supporte la spécification, la validation, la vérification formelle et le prototypage conforme d'applications coopératives. Ses outils permettent de vérifier des formules de logique temporelle (model checking), de calculer des propriétés structurelles (invariants, verrous trappe etc) simuler, déboguer et d'engendrer du code. Les services qu'il offre sont réalisés par des outils développés dans l'équipe ou provenant de partenaires universitaires (Univ. technologique d'Helsinki, Univ. de Turin, Univ. Technologique de Munich, Bell laboratories). La seconde génération de construite sur la plate-forme FrameKIt est disponible sur Internet depuis mars 1997.
FrameKit

La plate-forme d'accueil FrameKit sert de support au développement rapide d'environnements logiciels manipulant des formalismes graphiques et hiérarchiques. Elle répond à un objectif de simplicité dans l'installation, la maintenance et l'intégration de formalismes et d'outils. FrameKit est une plate-forme multi-utilisateurs qui intègre des mécanismes de diffusion originaux en "kit" élémentaires permettant une installation "à la carte" sur un site cible.

Plus d'informations ici …
GatoStar

La plate-forme système GatoStar offre des services de placement de programme, de migration et de tolérance aux fautes destinés à supporter l'exécution des applications coopératives fonctionnant en environnement réparti. GatoStar a été réalisé dans un réseau local (Ethernet) au-dessus d'Unix Sun (Sun-OS), HP (HP-UX), PC (Linux, FreeBSD).
JAC

est un cadre logiciel pour la programmation orientée aspect en Java. Un programme orienté aspect avec JAC est un ensemble d'objets d'aspects qui peuvent être dynamiquement déployés et retirés sur des objets applicatifs en cours d'exécution. Les objets d'aspects peuvent définir trois types de méthodes d'aspects : des méthodes encapsulantes (qui encapsulent des méthodes applicatives et permettent d'exécuter du code avant et après la méthode encapsulée), des méthodes de rôle (qui ajoutent de nouvelles fonctionnalités aux objets applicatifs) et des gestionnaires d'exceptions. Le problème de la composition d'aspects est traité à l'aide d'un contrôleur d'encapsulation bien défini qui spécifie pour chaque objet encapsulé, au moment de l'encapsulation, à l'exécution ou dans les deux cas, l'ordre d'exécution des objets d'aspects.

Plus d'informations ici …
MetaScribe

Le générateur de moteurs de transformations MetaScribe (lien en anglais) facilite la production automatique de code. La transformation est assurée à partir du formalisme source, d'un patron sémantique (spécifiant les manipulations à effectuer sur un modèle du formalisme source pour obtenir un modèle ayant la sémantique du formalisme cible), et d'un patron syntaxique (spécifiant le sucre syntaxique à appliquer à une représentation sémantique du formalisme cible). MetaScribe a pour objectif de faciliter la construction de générateurs de programmes. Une version expérimentale de cet outil est disponible sur demande.