ClassSmartflowconstraint
axiom ValidExpense
definedBy
?x memberOf integer and ?x>0
axiomValidStartEnd
definedBy
?X
memberOfdateand((?X.dayOfMonth <= ?Y.dayOfMonth and ?X.monthOfYear = ?Y.monthOfYear and ?X.year = ?Y.year) or (?X.monthOfYear < ?Y.monthOfYear and ?X.year = ?Y.year) or (?X.year < ?Y.year))
ClassSmartflowGoal
axiomValidSmartflowGoal
definedBy
$W$X$Y$Z ß ?W memberOf ScenicSpot and ?X memberOf Hotel and ?Y memberOf Traffic and ?Z memberOf Traffic and ?W.location = ?X.city and ?W.location =?Y.to and ?W.location = ?Z.from
假设王先生的需求如下：总费用为10000元，总时间大约10天。
费用行程图和时间行程图见图4，根据智能流程构造算法的到的智能流程见图5。图中带下划线的顶点表示旅游的起点和终点，顶点和边上的数字表示费用或者时间。
5结束语
本文提出了智能流程的概念，并且围绕着智能流程的即时构造，提出了相关的方法和具体的实现。为了构造智能流程，需要对于智能流程的各个方面进行统一的语义描述，为此，本文基于WSMO，提出了SfDF；在SfDF的基础上，给出了Web服务发现算法和智能流程构造算法。本文提出的方法通过在智能旅游平台上的实现，证明是可行的。语义框架是智能流程构造的基础，但是目前语义框架的表示能力还不尽如人意，如何丰富语义框架的表现能力，是下一步工作的重点。
