Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

Este projeto propõe uma ferramenta para verificação formal da composição de serviços web com base no Pi-calculus e na conversão entre BPEL e pi-calculus. Esta ferramenta integra dois tipos de técnicas formais de verificação e pode validar automaticamente.

história da versão

  • Versão webjetCheck1.0_src.zip postado em 2006-12-13
    Várias correções e atualizações
  • Versão webjetCheck1.0_src.zip postado em 2006-12-13

Detalhes do programa

Programas Relacionados

  • Kernel Module Examples Livre

    Um módulo de kernel loadable - exemplos sobre como codificar um módulo de kernel loadable.

  • J-Hop Gnutella System Livre

    Servent modular Gnutella com gui, interfaces de texto e lote. Desenvolvido usando APIs de nova I/O e redes Java1.4. Otimizado para conexões de baixa largura de banda e ADSL.

  • dasmarm Livre

    Desmontagem e montador para Windows Mobile com processador ARM. Compilado com Pelles C no Windows XP.

  • Cojen - Java bytecode generator Livre

    Ferramentas dinâmicas de geração de bytecode Java e desmontagem. Um construtor permite que o código seja gerado mais facilmente, em vez de ter que selecionar instruções exatas. São fornecidas classes de utilidade que demonstr

  • digitalSTROM Livre

    Controle e monitore sua casa digitalMENTE habilitada paraSTROM usando seu dispositivo Android através de sua rede Wi-Fi. Você pode definir cenas leves para se adequar ao seu humor e abrir, fechar ou ajustar suas cortinas. Vej

  • jamsel Livre

    JAMSEL (Java API for Message Selection) é uma implementação de alto desempenho da especificação de seleção JMS 1.1 para filtragem do lado do cliente. A API Java/C# fornece suporte incorporado para provedores de dados JMS, TIB

  • animal battery widget *alpaca* Avaliação gratuita

    Widget ALPACA bonito para exibir a quantidade restante de bateria.Exibe o design bonito, a bateria dos smartphones.Também são exibidos em números fáceis de ler.15 design incluem!Melhor para a tela inicial!Também é

  • LambdaMOO Server Livre

    LambdaMOO é um sistema interativo acessível à rede, multiusuário, programável e interativo adequado à construção de jogos de aventura baseados em texto, sistemas de conferência e outros softwares colaborativos.

  • PPIV Livre

    PPIV é um aplicativo de software paralelo usado na análise de Velocimetria de Imagem de Partículas (PIV). O software calculará o campo vetorial para um par de imagens ou vários pares de imagens. O PPIV pode ser executado em u

  • HTC One LED Flashlight Avaliação gratuita

    Use o telefone como lanterna ligando e desligando a luz LED (ao lado da câmera). Este aplicativo de tocha grátis é brilhante e parece ótimo. É rápido e fácil de usar, com um botão grande centrado.Características:- Botã