XWikialefebvr1333724672438

Title	BPM and model checking over SMEP
OW2 project	Trustie Software Resource Repository, Alitheia core, Orchestra
OW2 project URL	http://www.ow2.org/view/ActivitiesDashboard/TSRR
Other OW2 projects and URL (optional)	http://www.ow2.org/view/ActivitiesDashboard/AlitheiaCore http://orchestra.ow2.org
Keywords	Software quality; SOA; BPM; BPEL; Model checking
Description	SMEP is a platform that provides software measure and evaluation for projects in Trustie and Aliteia. The Key features in SMEP are implemented as Web Service. As BPM is an good solution for platform users customize their measure and evaluation, there will be a mechanism provides workflow design , checking and execution. Orchestra is an BPM solution based on BPEL from OW2 which is a good reference. The technology used to develop this feature could be either ODE or Orchestra and apache AXIS2.
Main Topic Contact Person Name	Guohua Shen
Main Topic Contact Person e-mail	ghshen@nuaa.edu.cn
Other Topic Contact Person(s) Name(s) (optional)
Other Topic Contact e-mail(s) (optional)
Estimated Workload (total, in manmonths)	5
Targeted Contestants	master/PhD