Title Business Process Verfication Support for BPIDE-lite
OW2 project BPIDE-lite (to be submitted soon)
OW2 project URL to be announced soon
Other OW2 projects and URL (optional)

Keywords Business Process, Service composition, verification, BPMN
Description {{html clean="false" wiki="false"}}

BPIDE-lite is an online business process modeling and service composition tool following BPMN (Business Process Modeling Notation) specification. The goal of this topic is to add verfication function for business process models to verify if the business processes produced by BPIDE-lite contain deadlocks or other inappropirate properties. BPIDE-lite is developed with Adobe Flex techniques. The contesters are required to develop the verification support within Adobe Flex framework.

Main Topic Contact Person Name Hailong Sun
Main Topic Contact Person e-mail sunhl@act.buaa.edu.cn
Other Topic Contact Person(s) Name(s) (optional) Xu Wang
Other Topic Contact e-mail(s) (optional) wangxu@act.buaa.edu.cn
Estimated Workload (total, in manmonths) 3
Targeted Contestants undergrad or master/PhD