An easy common formal language that let's us say:
"You must have a valid drivers license, be 18 years of
age, and be at our location on weekdays between
the hours of 08:00 and 17:00 local time. Then you can rent a car."
But one which respects formal semantics sufficient
for planning-based composition
But doesn't look like F(x,do(a,s)) ≡ ϒF+(x,a,s)
∨ (F(x,s) ∧ ¬ϒF-(x,a,s)
And somehow match
the requirements language and the service language.
Why should we think tags or
Wikipedia would be up to this?
And how will academic projects like SOA4ALL make common semantics practical?
