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

PragmaDev Process V1.2.1

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 propriété prédéfinie associée au moteur d’exploration peut automatiquement identifier les deadlocks dans les processus métier. Le nouveau produit intègre:
  • Edition collaborative,
  • Evènements en bordure,
  • Traces des signaux,
  • Interface graphique OBP,
  • Analyse des deadlock.
L’éditeur de modèle est gratuit sans restriction et l’exécuteur est gratuit pour les petits modèles. Notez que le gestionnaire de license PragmaDev On Line License Manager n'est pas encore actif sur nos serveurs. La liste complète des nouvelles fonctionnalités se trouve ici (accès restreint).

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. Les instructions pour l'installation de l'interface sont dans le pdf fourni.

Versions précédentes de Process

Manuels PragmaDev Process

Les manuels ci dessous sont dans la distribution PragmaDev Process:

PragmaDev Studio V5.5.1

Télécharger en tant que fichier compressé pour Windows, Linux, Raspbian, et macOS (374 753 777 octets):

PragmaDev Studio V5.5 introduit:
  • Intégration d'un encodeur ASN.1,
  • Génération de documentation au format LaTeX,
  • Interface de prototypage autonome,
  • Linux 64 bits,
  • macOS 64 bits avec support de clang et lldb.
La liste complète des nouvelles fonctionnalités se trouve ici (accès restreint).

Notes de version:

  • PragmaDev Studio devrait fonctionner sur toutes les distributions Linux 64 bits récentes sans installation complémentaire. PragmaDev Studio a été testé sur Ubuntu 18.04, openSuse Leap 15.0, et CentOS 5 jusqu'à 7. Notez que la version courante de PragmaDev Studio s'appuie sur le système de fenêtrage X11. Dans les distributions proposant des alternatives telles que Wayland, assurez vous d'avoir activé l'option le gestionnaire Xorg au moment du login.

  • PragmaDev Tracer est intégré dans PragmaDev Studio. Il n'y a pas d'installation PragmaDev Tracer spécifique, il suffit d'installer PragmaDev Studio.

  • L'installation sur macOS peut nécessiter d'autoriser l'exécution d'un fichier téléchargé. Il peut aussi se poser des problèmes de signature qui oblige à retirer le flag de quarantaine manuellement sur les fichiers dézippés avec la commande suivante:
    xattr -dr com.apple.quarantine *

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 (accès restreint à nos clients).

Manuels PragmaDev Studio

Les manuels ci dessous sont dans la distribution PragmaDev Studio: