Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

W ramach tego projektu zaproponowano narzędzie do formalnej weryfikacji składu usług internetowych w oparciu o rachunek Pi i konwersji między BPEL a pi-calculus. To narzędzie integruje dwa rodzaje technik weryfikacji formalnej i może automatycznie weryfikować.

historia wersji

  • Wersja webjetCheck1.0_src.zip opublikowany na 2006-12-13
    Kilka poprawek i aktualizacji
  • Wersja webjetCheck1.0_src.zip opublikowany na 2006-12-13

Szczegóły programu

Programy pokrewne

  • Kernel Module Examples Wolna

    Moduł jądra wczytywalne - przykłady dotyczące sposobu kodowania modułu jądra ładna.

  • J-Hop Gnutella System Wolna

    Modułowy Gnutella servent z GUI, tekst i interfejsy partii. Opracowany przy użyciu Java1.4 nowe we/wy i sieci interfejsów API. Zoptymalizowany pod kątem połączeń o niskiej przepustowości i ADSL.

  • dasmarm Wolna

    Dezasemblera i asemblera dla systemu Windows Mobile z procesorem ARM. Skompilowany z Pelles C w systemie Windows XP.

  • Cojen - Java bytecode generator Wolna

    Dynamiczne narzędzia do generowania i demontażu kodu bajtów Java. Konstruktor umożliwia łatwiejsze generowanie kodu, zamiast wybierać dokładne instrukcje. Dostępne są klasy narzędzia, które pokazują generator kodu i ładowarkę

  • digitalSTROM Wolna

    Kontroluj i monitoruj swoje gospodarstwo domowe z obsługą digitalSTROM za pomocą urządzenia z Androidem za pośrednictwem sieci Wi-Fi. Możesz ustawić lekkie sceny, aby dopasować się do swoich nastrojów i otworzyć, zamknąć lub

  • jamsel Wolna

    JAMSEL (Java API for Message Selection) to wydajna implementacja specyfikacji wyboru JMS 1.1 do filtrowania po stronie klienta. Interfejs API języka Java/C# zapewnia wbudowaną obsługę dostawców danych JMS, TIBCO/RV i Hashtabl

  • animal battery widget *alpaca* Bezpłatna wersja próbna

    Ładny widżet ALPACA, aby wyświetlić pozostałą ilość baterii.Wyświetla ładny design, moc baterii smartfonów.Są również wyświetlane w łatwych do odczytania numerach.15 projekt to!Najlepiej do ekranu głównego!Istniej

  • LambdaMOO Server Wolna

    LambdaMOO to dostępny w sieci, multi-user, programowalny, interaktywny system dobrze przystosowany do budowy tekstowych gier przygodowych, systemów konferencyjnych i innego oprogramowania do współpracy.

  • PPIV Wolna

    PPIV to równoległa aplikacja używana w analizie velocimetrii obrazu cząstek (PIV). Oprogramowanie obliczy pole wektorowe dla jednej pary obrazów lub wielu par obrazu. Protokół PPIV może działać na jednym komputerze stacjonarn

  • HTC One LED Flashlight Bezpłatna wersja próbna

    Używaj telefonu jako latarki, włączając i wyłączając światło LED (obok aparatu). Ta darmowa aplikacja latarka jest jasne i wygląda świetnie. Jest szybki i łatwy w użyciu, z dużym wyśrodkowanym przyciskiem.Funkcje:- Pro