摘要
针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的功能属性和非功能属性进行形式化描述,由用户需求驱动软件服务流程演化.基于EPi提出SaaS的流程形式化描述和转换方法,建立了SaaS流程演化模型(SSFM)及服务流程演化操作规则,并用量化互模拟理论对流程演化响应需求的情况进行分析,通过建立互模拟程度空间关系量化服务流程演化前后的近似程度.
针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的功能属性和非功能属性进行形式化描述,由用户需求驱动软件服务流程演化.基于EPi提出SaaS的流程形式化描述和转换方法,建立了SaaS流程演化模型(SSFM)及服务流程演化操作规则,并用量化互模拟理论对流程演化响应需求的情况进行分析,通过建立互模拟程度空间关系量化服务流程演化前后的近似程度.
出处
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2012年第S1期183-186,共4页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
国家自然科学基金资助项目(60963007)
