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 {{html clean="false" wiki="false"}}

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