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

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

Created by XWikiGuest on 2011/04/05 12:41
  • Yuri Glickman, Fraunhofer FOKUS

Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice