Fiona

FIONA - TOOL om automatisch het interactionele gedrag van een gegeven owfn te analyseren
Download nu

Fiona Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • GPL
  • Prijs:
  • FREE
  • Naam uitgever:
  • Peter Massuthe and Daniela Weinberg
  • Uitgever website:
  • http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 670 KB

Fiona Tags


Fiona Beschrijving

Fiona - Tool om automatisch het interactionele gedrag van een gegeven owfn te analyseren Fiona is een hulpmiddel om automatisch het interactionele gedrag van een gegeven owfn te analyseren. Het biedt twee technieken: het controleert op de controleerbaarheid van het gegeven net door de grafiek van Interactiong te berekenen en berekent de werkrichtlijn voor het net. Fiona gebruikt OWFN's (de uitvoer van de tool Bpel2owfn) als invoer. Aldus kan elk BPEL-proces eenvoudig worden geanalyseerd. Om de staten van de grafiekknooppunten te berekenen, gebruikt Fiona de efficiënte algoritmen die zijn uitgevoerd in het modelcontroletool Lola.


Fiona Gerelateerde software

Ecl

Interpreter van de Common-Lisp-taal zoals beschreven in de X3J13 ANSI-specificatie ...

175 5.5 MB

Downloaden

Beharmonia

Beharmonia is een bug / verbeteringstoepassing voor software (cacao, html, perl, scripts, etc.) ontwikkelaars ...

169 565 KB

Downloaden

Mlton

MLTON is een open-source, Whole-programma, het optimaliseren van standaard ML-compiler ...

147 12.4 MB

Downloaden

Een dubbeltje

ADIME is een draagbare add-on-bibliotheek voor Allegro met functies voor het genereren van Allegro-dialoogvensters op een heel eenvoudige manier ...

149 239 KB

Downloaden

Over ons