What do {readonly} \ {query} mean in UML?

user_11157583 0
Viewed 441

Are they constraints?

Are they part of standard UML, or are they customized by startUML or EA?

How many of them are there? Where can I find a detailed description of each {xxx} in UML2.5 Specificationformal?

Thank you for your answers!

uml
1 Answers

{xxx, yyy, ...} are properties you can put on attribute/relations/..., readOnly

There are predefined list of properties attached to some elements.

readOnly is one of the properties of Properties, § 9.5.4 from page 113 of formal 2017 2.5.1 :

  • ‘readOnly’ means that the Property is read only.
  • ‘union’ means that the Property is a derived union of its subsets.
  • ‘subsets’ means that the Property is a proper subset of the Property identified by , where may be qualified.
  • ‘redefines’ means that the Property redefines an inherited Property identified by , where may be qualified.
  • ‘ordered’ means that the Property is ordered, i.e., isOrdered = true.
  • ‘unordered’ means that the Property is not ordered, i.e., isOrdered = false.
  • ‘unique’ means that there are no duplicates in a multi-valued Property, i.e., isUnique = true.
  • ‘nonunique’ means that there may be duplicates in a multi-valued Property, i.e., isUnique = false.
  • ‘seq’ or ‘sequence’ means that the property represents an ordered bag, i.e., isUnique = false and isOrdered = true
  • ‘id’ means that the Property is part of the identifier for the class.

query is one of the predefined property of Operation Template Parameters, of formal 2017 2.5.1 §9.6.4 page 118 :

  • ‘redefines’ means that the Operation redefines an inherited Operation identified by , where may be qualified.
  • ‘query’ means that the Operation does not change the state of the system.
  • ‘ordered’ applies when there is a multi-valued return Parameter and means that its values are ordered.
  • ‘unordered’ applies when there is a multi-valued return Parameter and means that its values are not ordered.
  • ‘unique’ applies when there is a multi-valued return Parameter and means that its values have no duplicates.
  • ‘nonunique’ applies when there is a multi-valued return Parameter and means that its values may have duplicates.
  • ‘seq’ or ‘sequence’ applies when there is a multi-valued return Parameter and means that its values constitute an ordered bag, i.e., isUnique = false and isOrdered = true.
user_24589910
Related