Control-space typically shows a list of possible completions.
[ ] The completions should be filtered based on what is acceptable in the current context.
[ ] Completion for vocabulary restrictions
Example:
concept Concern :> analysis:MeasuredElement, base:AggregatedElement, base:IdentifiedElement [
restricts all relation base:aggregates to Concern
restricts all relation base:isAggregatedIn to Concern
]
There are two places where completion would be useful.
Immediately after 'restricts all relation'.
Filter for relations whose domain is the same as or a generalization of the context entity (e.g. Concern in this example)
Immediately after 'to'.
Filter for entities that are the same or a specialization of the relation (e.g. base:aggregates or base:isAggregatedIn in this example).
[ ] Completion for description assertions
Example:
ci WBS : project:WorkPackage [
project:realizes WP06.04:06.04.10.GNC
]
There are two places where completion would be useful.
For selecting a relation (e.g., project:realizes) or a scalar property.
Filter for relations/properties whose domain is the same as or a generalization of the instance classifier(s) (e.g. project:WorkPackage in this example)
After a relation, for selecting a suitable instance (e.g. WP06.04:06.04.10.GNC).
Filter for instances classified by an entity that is the same or a specialization of the relation range (e.g., project:realizes).
Control-space typically shows a list of possible completions.
[ ] The completions should be filtered based on what is acceptable in the current context.
Example:
There are two places where completion would be useful.
Immediately after 'restricts all relation'. Filter for relations whose domain is the same as or a generalization of the context entity (e.g.
Concern
in this example)Immediately after 'to'. Filter for entities that are the same or a specialization of the relation (e.g.
base:aggregates
orbase:isAggregatedIn
in this example).[ ] Completion for description assertions
Example:
There are two places where completion would be useful.
project:realizes
) or a scalar property. Filter for relations/properties whose domain is the same as or a generalization of the instance classifier(s) (e.g.project:WorkPackage
in this example)WP06.04:06.04.10.GNC
). Filter for instances classified by an entity that is the same or a specialization of the relation range (e.g.,project:realizes
).