作者：段振华; 田聪; 王小兵; 张南需求获取信息服务模型演化形式验证模型检测定理证明
摘要：研究目前在以下方面取得了研究进展。首先,在信息服务的需求获取及协同优化方面：（1）完善了面向特征领域分析的需求获取方法;（2）完善了基于目标场景的用例驱动需求获取方法;（3）研究了协同分析与优化方法,同时开发了相应的支撑工具。其次,在信息服务的建模与模型演化方面：（1）研究了基于Petri网的建模和模型演化理论与方法,同时开发了相应的支撑工具;（2）研究了基于进程代数的建模与模型演化理论与方法。最后,在信息服务模型的形式化验证与确认方面：（1）研究了基于模型的测试理论与方法,并开发了相应的模型测试工具;（2）研究了基于PPTL的符号和限界模型检测理论与方法,并开发了相应的模型检测器;（3）完善了基于MSVL的仿真理论与方法,并开发了相应的支撑工具MSV;（4）研究了基于抽象精化的模型检测理论与方法,并开发了相应的支撑工具。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
