< Return to Ballot details

Vote Details

Ballot: Behavioral Metadata: "Types and Features"
Company:
University of Sheffield
Vote:
Yes
Comment:
If we're allowing OCL for constraints over feature values then we don't need a separate "types and features" syntax - you can express a t&f constraint like "all persons that have an age feature" by something like "select(p | p.oclKindOf(ex::Person) and p.age->notEmpty())" in OCL.