|
@@ -6,6 +6,25 @@ A B {
|
|
|
Composite schedule {
|
|
|
{Contains} Failure failure {}
|
|
|
{Contains} Success success {}
|
|
|
+ {Contains} Query query {
|
|
|
+ LHS {
|
|
|
+ Pre_Query/Place {
|
|
|
+ label = "2"
|
|
|
+ }
|
|
|
+ Pre_ReachabilityGraph/Place {
|
|
|
+ label = "3"
|
|
|
+ }
|
|
|
+
|
|
|
+ constraint = $
|
|
|
+ Boolean function constraint(host_model : Element, mapping : Element):
|
|
|
+ Boolean names_match
|
|
|
+ Boolean tokens_match
|
|
|
+ names_match = value_eq(read_attribute(host_model, mapping["2"], "name"), read_attribute(host_model, mapping["3"], "name"))
|
|
|
+ tokens_match = value_eq(read_attribute(host_model, mapping["2"], "tokens"), read_attribute(host_model, mapping["3"], "tokens"))
|
|
|
+ return bool_and(names_match, tokens_match)!
|
|
|
+ $
|
|
|
+ }
|
|
|
+ }
|
|
|
{Contains} ForAll match {
|
|
|
LHS {
|
|
|
Pre_Query/Place {
|
|
@@ -50,7 +69,9 @@ A B {
|
|
|
}
|
|
|
}
|
|
|
}
|
|
|
- Initial (schedule, match) {}
|
|
|
+ Initial (schedule, query) {}
|
|
|
+ OnSuccess (query, match) {}
|
|
|
+ OnFailure (query, failure) {}
|
|
|
OnSuccess (match, success) {}
|
|
|
OnFailure (match, failure) {}
|
|
|
}
|