IPM - Ingénierie Par Modélisation

  • Plateforme d'intégration d'OGL (Outil de Génie Logiciel)
  • Persistance de vos modèles UML dans le langage de votre choix
  • Atelier interactif de mise au point des transformations de modèles
  • Écriture des transformations de modèles en : OCL, Prolog, OCaml, Gallina (Coq), ...
  • Bibliothèque de transformations de modèle

ARL - Assistant à la Réingénierie Logicielle

  • Technologie alliant Méthodes Formelles, Intellignece Artificielle, et Théories de l'Argumentation
  • Aide à la rétro-conception
  • Aide à la re-conception
  • Boucle interactive tout au long du cycle de ré-ingénierie
  • Pour le refactoring comme pour les refontes

SDS - Système de Distribution et de Synchronisation

  • Programmation par machines à états
  • Développement graphique en UML
  • Dans sa distribution Java, déployable comme un ear
  • Chargement, lancement, pilotage, via ligne de commande
  • Transport d'instance d'exécution sur un réseau de nœuds SDS
  • Pour : IoT, Protocoles réseau, Systèmes temps réel, embarqués, Syst. d'Expl. à la carte, ...

CGM - Cadriciel Grammatical Motorisé

  • Moteur d'application web
  • Programmation déclarative par Grammaire ou Machine à États
  • Construction de poste de travail par assemblage dynamique
  • Architecture nuagique (SaaS)
  • Construit sur Symfony et JQuery

Depuis notre journal

L’actualité de S3CA

En lire plus

ARL - Assistant à la Ré-ingénierie Logicielle

Par Olivier Haas le février 12, 2025

ARL (v1) est un outil de type IPM/IDM (Ingénierie Par Modélisation / Ingénierie Dirigée par les Modèles) qui assiste à la ré-ingénierie par une technologie alliant Méthodes Formelles, Intelligence Artificielle, et Théories de l’Argumentation. 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Vision 5. Positionnement 6. Agenda 7. Tarifs  1. Caractéristiques-clés Allie la rigueur mathématique des méthodes formelles, à l’apport des IA, associées aux théories de l’argumentation, pour l’ineraction homme-machine.

Continuer la lecture

En lire plus

IPM - Ingénierie Par Modélisation

Par Olivier Haas le janvier 6, 2025

IPM (v2) est un AGL (Atelier de Génie Logiciel) de type IPM/IDM (Ingénierie Par Modélisation / Ingénierie Dirigée par les Modèles). 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Vision 5. Positionnement 6. Agenda 7. Tarifs  1. Caractéristiques-clés Plateforme d’intégration d’OGL (Outil de Génie Logiciel). IPM est construit autour de notre produit SDS ; des machines à états réalisent l’intégration des outils. Superposition du cycle projet avec le cycle d’abstraction/modélisation, contrairement à ce qui a cours habituellement dans l’état de l’art.

Continuer la lecture

En lire plus

SDS - Système de Distribution et de Synchronisation

Par Olivier Haas le aout 5, 2024

SDS (v1) est une plateforme d’exécution multi-nœuds et multi-tâches de machines à états distribuables et synchronisables du fait qu’elles tournent sur cette plateforme. 1. Caractéristiques-clés 2. Éditions 3. Distributions 4. Cas d’utilisation 5. Vision 6. Positionnement 7. Agenda 8. Tarifs  1. Caractéristiques-clés Programmation via la définition d’automates / de machines à états. SDS intègre un moteur de machine à états ; la programmation de SDS est donc orientée machines à états.

Continuer la lecture

En lire plus

Solution IPM - Génie Logiciel

Par Olivier Haas le janvier 22, 2023

Notre solution IPM, appuyée sur notre produit IPM, répond à la problématique de l’Ingénierie Dirigée par les Modèles. 1. Problématiques adressées 2. Esprit de la solution 3. Composants logiciels impliqués 4. Composants d’infrastructure impliqués 5. Éléments de services impliqués 6. Compétences impliquées 7. Cas d’utilisation  1. Problématiques adressées Concexte présentant au moins un des aspects suivants : Solution d’Ingénierie Dirigée par les Modèles déjà présente dans votre organisation, et souhait de sortir des impasses qui peuvent se présenter.

Continuer la lecture