Accueil > Téléchargements
<< Précédant - Suivant >>

PragmaDev Process V3.4

Télécharger :

PragmaDev Process permet de vérifier les processus métier décrits avec la notation BPMN (Business Process Model Notation). La nouvelle version de l’outil permet d'explorer automatiquement les combinaisons possibles de scénarios et de ressources. La liste complète des nouvelles fonctionnalités se trouve ici. Une présentation des principales fonctionnalités se trouve ici .

PragmaDev Process est nativement 64 bits sur toutes les plateformes.

Le gestionnaire de licence FLEXlm n'est plus supporté depuis la version 2.1. Merci d'utiliser PLM ou le gestionnaire en ligne.

L’éditeur de modèle est gratuit sans restriction et l’exécuteur est gratuit pour les petits modèles.

Intégration MEGA Hopex

Dans le cadre du projet VeriMoB nous avons développé avec MEGA International une intégration entre nos outils qui permet aux utilisateur de MEGA Hopex de vérifier leurs modèles avec PragmaDev Process. Un menu dédié dans Hopex permet de transférer les modèles dans Process, et inversement un bouton dédié permet à partir de Process de revenir au diagramme source dans Hopex. Cette intégration est détaillée dans ce webinaire de 30 mn et est résumée dans cette courte vidéo de 3mn. Les instructions pour l'installation de l'interface sont dans le pdf fourni.

Versions précédentes de Process

Les versions précédentes de notre outil peuvent être téléchargées ici.

Manuels PragmaDev Process

Les manuels ci dessous sont dans la distribution PragmaDev Process:

PragmaDev Studio V6.1

Télécharger (build 9 juin 2026):

PragmaDev Studio V6.1 introduit:
  • La réduction de l’intervalle des valeurs possibles pour les paramètres complexes transportés par les messages entrants.
  • La limitation du nombre de messages entrants pris en compte pour chaque type de message.
  • L’identification automatique des variables internes pouvant être exclues de l’état global du modèle sans affecter les résultats de la vérification.

Merci de noter que:

  • Cette version utilise une version plus récente de notre toolkit graphique et introduit des fonctionnalités spécifiques pour la gestion du zoom et de la mise à l'échelle. De ce fait, la taille de police par défaut des diagrammes et du texte est désormais de 9, contre 12 dans les versions précédentes. Si vous ouvrez des diagrammes existants, il est recommandé de modifier la taille de police des diagrammes et de l'éditeur de texte dans les préférences.
  • Le gestionnaire de licence FLEXlm n'est plus supporté à partir de cette version. Merci d'utiliser PLM ou le gestionnaire en ligne.

La liste complète des nouvelles fonctionnalités se trouve ici.

Exécutables ETSI SIP gratuits

Les suites de test de conformité au protocole ETSI SIP sont disponibles gratuitement sous forme d'exécutables win32, linux 32, ou linux 64. Les fichiers source TTCN-3 sont aussi disponibles, ils nécessitent une licence PragmaDev Tester pour être édités ou pour générer l'exécutable. A noter que ces fichiers sont légèrement différents des originaux de l'ETSI car des erreurs mineures ont dû être corrigées.

Versions précédentes de Studio

Les versions précédentes de notre outil peuvent être téléchargées ici.

Manuels PragmaDev Studio

Les manuels ci dessous sont dans la distribution PragmaDev Studio: