基于π演算的反射式需求规约描述方法

• 作者: 吴可嘉 姚俊峰 应时 袁文杰
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 需求演化 反射 反射式需求规约 π演算
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 研究与实现
• 页码范围: 146-149,154
• 分类号: TP311.5
• 字数: 5074字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.06.041

摘要

目前,大多数学者都意识到需求演化的重要性,然而依然缺乏有效的方法指导需求演化.反射式需求规约通过描述支持OWL-S需求规约演化的元信息,并支持以合理的方式使用这些元信息,实现OWL-S需求规约的演化.本文提出了一种基于π演算的反射式需求规约演化模型,使得反射式需求规约的演化能够以一种正确的方式实现.针对OWL-S需求规约的特点,给出了OWL-S需求规约的π演算描述方法;使用高阶π演算的进程传递机制,描述了支持演化的反射式需求规约;给出了反射式需求规约演化正确性的推理与验证方法.同时,我们采用交通出行的例子论证了本文的观点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	应时	武汉大学软件工程国家重点实验室	100	849	10.0	26.0
2	袁文杰	武汉大学软件工程国家重点实验室	7	84	3.0	7.0
3	吴可嘉	武汉大学软件工程国家重点实验室	3	10	2.0	3.0
4	姚俊峰	武汉大学软件工程国家重点实验室	10	21	2.0	4.0