Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

Ce projet propose un outil de vérification formelle de la composition des services Web basé sur pi-calcul et la conversion entre BPEL et pi-calcul. Cet outil intègre deux types de techniques formelles de vérification et peut valider automatiquement.

historique de la version

  • Version webjetCheck1.0_src.zip posté sur 2006-12-13
    Plusieurs correctifs et mises à jour
  • Version webjetCheck1.0_src.zip posté sur 2006-12-13

Détails du programme

Programmes connexes

  • Kernel Module Examples Gratuit

    Un module de noyau loadable - exemples sur la façon de coder un module de noyau chargeable.

  • J-Hop Gnutella System Gratuit

    Service modulaire Gnutella avec interfaces GUI, texte et lots. Développé à l’aide de Java1.4 nouveaux I / O et les API réseaux. Optimisé pour les connexions à faible bande passante et ADSL.

  • dasmarm Gratuit

    Démonteur et assembleur pour Windows Mobile avec processeur ARM. Compilé avec Pelles C sur Windows XP.

  • Cojen - Java bytecode generator Gratuit

    Outils dynamiques de génération et de démontage d’bytecode Java. Un constructeur permet de générer du code plus facilement, au lieu d’avoir à sélectionner des instructions exactes. Des classes de services publics sont fournie

  • digitalSTROM Gratuit

    Contrôlez et surveillez votre foyer compatible DIGITALSTROM à l’aide de votre appareil Android sur votre réseau Wi-Fi. Vous pouvez définir des scènes lumineuses adaptées à vos humeurs et ouvrir, fermer ou ajuster vos stores.

  • jamsel Gratuit

    JAMSEL (Java API for Message Selection) est une implémentation haute performance de la spécification de sélection JMS 1.1 pour le filtrage côté client. L’API Java/C# fournit une prise en charge intégrée aux fournisseurs de do

  • animal battery widget *alpaca* Essai gratuit

    Widget ALPACA mignon pour afficher la quantité restante de batterie.Affiche le design mignon, la puissance de la batterie des smartphones.Sont également affichés dans des numéros faciles à lire.15 conception incluent

  • LambdaMOO Server Gratuit

    LambdaMOO est un système interactif accessible au réseau, multi-utilisateurs, programmable et adapté à la construction de jeux d’aventure textuels, de systèmes de conférence et d’autres logiciels collaboratifs.

  • PPIV Gratuit

    PPIV est une application logicielle parallèle utilisée dans l’analyse de la velocimétrie de l’image des particules (PIV). Le logiciel calculera le champ vectoriel pour une paire d’images ou plusieurs paires d’images. PPIV peu

  • HTC One LED Flashlight Essai gratuit

    Utilisez votre téléphone comme lampe de poche en all tournant la lumière LED (à côté de votre appareil photo) allumée et éteinte. Cette application de torche gratuite est lumineux et ressemble beaucoup. Il est rapide et fac