XWikiXWikiGuest1302000085850

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	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