Semantic Annotation for Process Models: - Department of Computer ...

195
Algorithm 6 Goal Annotation Algorithm for Case D
Require: weight parameters ε, ζ
initialize value of weight f orprecondition, weight f orpostcondition,
weight f orexception as 0
Arraypre[] is a set of preconditions associated with av through has_Precondition
initialize σ, τ as 0
for each precon in pre[] do
for each target constraint c ′ of a g in goal ontology do
if precon.name equals c ′ .name by string match then
τ = 1
else if precon.name partly equals c ′ .name by string match then
τ = 0.5
end if
weight f orprecondition = weight f orprecondition+τ
end for
end for
Arraypost[] is a set of postconditions associated with av through has_Postcondition
initialize σ, τ as 0
for each postcon in post[] do
for each target constraint c ′ of a g in goal ontology do
if postcon.name equals c ′ .name by string match then
τ = 1
else if postcon.name partly equals c ′ .name by string match then
τ = 0.5
end if
weight f orpostcondition = weight f orpostcondition+τ
end for
end for
Arrayexc[] is a set of exceptions associated with av through has_Exception
initialize σ, τ as 0
for each exception in exc[] do
for each target constraint c ′ of a g in goal ontology do
if exception.name equals c ′ .name by string match then
τ = 1
else if exception.name partly equals c ′ .name by string match then
τ = 0.5
end if
weight f orexception = weight f orexception+ τ
end for
end for
return η ∗ (weight f orprecondition + weight f orpostcondition + weight f orexception)