WofBPEL: A Tool for Automated Analysis of BPEL Processes.
Chun OuyangEric VerbeekWil M. P. van der AalstStephan BreutelMarlon DumasArthur H. M. ter HofstedePublished in: ICSOC (2005)
Keyphrases
- automated analysis
- automated detection
- business process management
- web services
- visual analysis
- business process
- process model
- biomedical imaging
- service oriented
- business processes
- service composition
- image processing
- video analysis
- formal methods
- computer vision
- web services composition
- motion imagery
- data mining
- modeling language
- knowledge discovery
- data analysis
- case study
- machine learning