负责人：数学与电子科学学院 吴钊        

成果简介：该技术提出一种电子政务业务层建模方法，采用服务组合方法刻画电子政务业务流程，自动地形式化推导生成业务流模型。应用于电子政务、政府信息化等领域。生成的业务流模型简洁、有效，能够准确刻画政府网站的电子政务业务流程，满足电子政务个性化需求，显著提高政府网站适应动态运行环境和用户需求变化。能够准确定位电子政务服务系统中存在的性能瓶颈，改进电子政务服务系统设计中的不足之处，显著提高系统运行的速度和业务执行的效率。

湖北省重大科技成果，登记号：EK111162。

该项目经过近两年在襄阳市人民政府网站运行和应用，显著地提升了襄阳市网站群系统的功能和性能，产生了良好的社会效益。