图变换在领域知识演化中的应用与比较
1. 图变换基础
1.1 通用图变换规则
以下是一个通用图变换规则的示例,用于实例化分析 - 设计模式:
::=
`1 = sourceTask
`2 = targetTask
1´ = `1
2´ = `2
3´ : controlFlowType
source
target
transformation InstantiateAnalysisDesignPattern
( parentTask : SoftwareDevelopment ;
nameAnalysisTask, nameDesignTask : string ;
out analysisTask : Analysis ; out designTask : Design)
=
use newAnalysisTask : Analysis; newDesignTask : Design;
newControlFlow : ControlFlowAnalysisDesign;
newFeedbackFlow : FeedbackFlowDesignAnalysis
do
CreateSubtask ( …, out newAnalysisTask )&
CreateSubtask ( …, out newDesignTask ) &
CreateControlFlow ( …, out newControlFlow ) &
CreateFeedbackFlow ( …, out newFeedbackFlow ) &
analysisTask := newAnalysisTask &
designTask :=
超级会员免费看
订阅专栏 解锁全文
780

被折叠的 条评论
为什么被折叠?



