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