bpel2pml
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/bpel2pml/files/edu.boun.makcay.bpel2pml_1.0.0.jar/download
Circa bpel2pml
Un plug-in Eclipse che converte i file BPEL in file Promela richiede eclipse bpel designer plugin http://www.eclipse.org/bpel/
Programmi correlati
-
Web PhotoAlbum Prova gratuita
Pubblicare le foto digitalmente sul sito Internet. Il programma crea un sito Web pronto all'uso dalle tue foto. Crea un sito di panoramica con miniature delle foto. Per vedere l'immagine a grandezza naturale devi fare clic su
-
Web Binder Gratuito
Web Binder è un pacchetto CMS TikiWiki personalizzato incentrato sull'usabilità, progettato da Co-op Tools. Viene eseguito su server LAMP comuni, ad esempio quelli supportati da cPanel. Scarica tramite una versione stabile di
-
SaveGamer Gratuito
SaveGamer semplifica la ricerca e il backup dei salvatari.
-
TripleTap javascript Control Gratuito
Controllo TripleTap javascript per le pagine Web MediaCenter. Questo è il mio primo esperimento su MediaCenter. Questo controllo consente di scrivere testo tramite telecomando, in modalità più semplice, utilizzando metodi tri
-
ZCrypt Gratuito
ZCrypt è una libreria per un facile uso delle funzioni crittografiche (cioè algoritmi di hash e cifratura) in altri programmi. È un'interfaccia semplice che fornisce la crittografia, la decrittografia e la creazione di digest
-
Ginetob - The new BenMP3 Gratuito
Ginetob (Ginetob Is Not Exactly The Old BenMP3) è il lettore audio BenMP3 versione 2. Può riprodurre i formati sonori più noti, come MPx, Ogg, Wav, Aiff, Mod, Xm, It e altri. È incluso un lettore CD.
-
Mosaico Gratuito
Innegno integrato dell'applicazione Mosaico chiamato MosaicoSfera: gestione aziendale, calendario personale e di gruppo con agenda collaborativa, to-do-list, promemoria, client Webmail integrato, CRM, sistema di archiviazione
-
Chaos Engine VSI Gratuito
Chaos Engine è un'infrastruttura server virtuale basata sulla prossima tecnologia Windows Vista. Consente l'archiviazione dei dati, gli strumenti di amministrazione middleware RFID, l'analisi dei dati e l'emulazione nativa de
-
ExEf - guitar effect processor Gratuito
ExEf (Extreme Effect) è un motore ad effetto Real Time estremamente potente e flessibile in esecuzione su un PC sotto LINUX. È progettato per funzionare con chitarre, microfoni e altri strumenti. Può essere eseguito sia in X
-
Downcount Timer Gratuito
Un semplice timer di downcount. Basta digitare l'ora in cui si desidera contare e premere 'Start'. Premere 'Interrompi' se si desidera interrompere.