Formalization and analysis of timed BPEL.

Imed Eddine Chama Nabil Belala Djamel-Eddine Saïdouni

Published in: IRI (2014)

Keyphrases

data sets
web services
data analysis
business processes
information systems
statistical analysis
business process
real time
information retrieval
metadata
petri net
service composition
formal analysis
colored petri nets