基于π演算的反射式需求规约描述方法 |
| |
作者姓名: | 袁文杰 应时 吴可嘉 姚俊峰 |
| |
作者单位: | 武汉大学软件工程国家重点实验室,湖北,武汉,430072 |
| |
基金项目: | 国家重点基础研究发展规划(973计划),国家自然科学基金 |
| |
摘 要: | 目前,大多数学者都意识到需求演化的重要性,然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的元信息,并支持以合理的方式使用这些元信息,实现OWL-S需求规约的演化。本文提出了一种基于π演算的反射式需求规约演化模型,使得反射式需求规约的演化能够以一种正确的方式实现。针对OWL-S需求规约的特点,给出了OWL-S需求规约的π演算描述方法;使用高阶π演算的进程传递机制,描述了支持演化的反射式需求规约;给出了反射式需求规约演化正确性的推理与验证方法。同时,我们采用交通出行的例子论证了本文的观点。
|
关 键 词: | 需求演化 反射 反射式需求规约 π演算 |
收稿时间: | 2009-11-13 |
修稿时间: | 2010-02-10 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载免费的PDF全文 |
|