Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. a validating tool of BPEL programme
  5. Download

a validating tool of BPEL programme 1.0

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over a validating tool of BPEL programme

Dit project stelt een instrument voor voor de formele verificatie van de samenstelling van webservices op basis van Pi-calculus en de conversie tussen BPEL en pi-calculus. Deze tool integreert twee soorten formele verificatietechnieken en kan automatisch valideren.

Gerelateerde programma's

  • Kernel Module Examples Gratis

    Een loadable kernel module - voorbeelden over het coderen van een Loadable Kernel Module.

  • J-Hop Gnutella System Gratis

    Modulaire Gnutella servent met GUI, tekst en batch interfaces. Ontwikkeld met java1.4 nieuwe I/O en netwerken API's. Geoptimaliseerd voor low-bandwidth en ADSL verbindingen.

  • dasmarm Gratis

    Demontage en assembler voor Windows Mobile met ARM-processor. Samengesteld met Pelles C op Windows XP.

  • Cojen - Java bytecode generator Gratis

    Dynamische Java bytecode generatie en demontage tools. Een bouwer maakt het mogelijk om code gemakkelijker te genereren, in plaats van exacte instructies te selecteren. Utility klassen zijn voorzien die de code generator en l

  • digitalSTROM Gratis

    Bedien en monitor uw digitaleSTROOM-apparaat met uw Android-apparaat via uw Wi-Fi-netwerk. U lichtscènes instellen die bij uw stemmingen passen en uw jaloezieën openen, sluiten of aanpassen. Bekijk uw werkelijke stroomverbrui

  • jamsel Gratis

    JAMSEL (Java API for Message Selection) is een krachtige implementatie van de JMS-selectiespecificatie 1.1 voor client-side filtering. De Java/C#API biedt ingebouwde ondersteuning voor JMS, TIBCO/RV en Hashtable data provider

  • animal battery widget *alpaca* Gratis proefperiode

    Leuke ALPACA-widget om de resterende hoeveelheid batterij weer te geven.Toont het schattige ontwerp, de batterij van smartphones.Worden ook weergegeven in gemakkelijk te lezen nummers.15 design zijn o.a.Het beste na

  • LambdaMOO Server Gratis

    LambdaMOO is een netwerk-toegankelijk, multi-user, programmeerbare, interactieve systeem goed geschikt voor de bouw van tekst-gebaseerde adventure games, vergadersystemen, en andere collaboratieve software.

  • PPIV Gratis

    PPIV is een parallelle software applicatie die wordt gebruikt in Particle Image Velocimetry (PIV) analyse. De software berekent het vectorveld voor één afbeeldingspaar of meerdere afbeeldingsparen. PPIV kan draaien op één des

  • HTC One LED Flashlight Gratis proefperiode

    Gebruik uw telefoon als zaklamp door het LED-licht (naast uw camera) aan en uit te zetten. Deze gratis fakkel app is helder en ziet er geweldig uit. Het is snel en gemakkelijk te gebruiken, met een grote gecentreerde knop.