Les systèmes complexes et les systèmes de systèmes sont décrits avec des modèles de processus. A titre d'exemple les modèles peuvent être basés sur le cadre d'architecture NAF (NATO Architecture Framework) ou DoDAF (Department of Defense Architecture Framework). La notation pour décrire les processus dans ces cadres et le BPMN.

Il y a un manque de vérification de ces modèles. Bien que validés en amont le détail de ces processus reste ambigüe ce qui peut conduire à des situations catastrophiques sur le terrain.

PragmaDev Process a pour objectif de résoudre ce problème. C'est un outil de vérification des processus métier écrits en BPMN. Il comprend un éditeur, un exécuteur, et un explorateur.

C'est le résultat de 2 ans de recherche avec l'armée française, Eurcontrol, et airbus DS.

L'éditeur est intégralement gratuit et l'exécuteur permet l'exécution gratuite de petits modèles.

Introduction vidéo à PragmaDev Process en une minute.

Télécharger PragmaDev Process ici.

Les systèmes communicants sont partout et leur complexité est en constante augmentation.

L'évolution continue des systèmes communicants génère des problèmes de maintenance substantiels qui amènent très souvent à la re-conception intégrale du système.

Enfin, les personnes qui définissent un besoin pour leur système et ceux qui le réalise rencontrent énormément de difficultés à se comprendre car ils sont de cultures métier différentes. Cette incompréhension permanente génère plus de la moitié des problèmes lors du projet.

PragmaDev Studio a pour objectif de résoudre ce problème. C'est un ensemble d'outils pour décrire graphiquement la spécification, la conception, et les tests des systèmes communicants.

C'est le résultat de 20 ans de développement et de collaboration avec nos client, nos prospects, nos partenaires et les laboratoires de recherche.

PragmaDev Studio est gratuit pour les petits projets.

Introduction vidéo à PragmaDev Studio en une minute.

Télécharger PragmaDev Studio ici.