Commit c7ea0b8c authored by Rieks Joosten's avatar Rieks Joosten

bugfix

parent f0a43492
Pipeline #12837 passed with stages
in 2 minutes and 9 seconds
...@@ -60,14 +60,14 @@ Basically, anything you (or anyone else) can think of qualifies. That includes p ...@@ -60,14 +60,14 @@ Basically, anything you (or anyone else) can think of qualifies. That includes p
Since there is nothing that you, or someone else, can come up with that does not satisfy the criterion, everything qualifies as an Entity. We need the term as a basis for creating intensional definitions. Since there is nothing that you, or someone else, can come up with that does not satisfy the criterion, everything qualifies as an Entity. We need the term as a basis for creating intensional definitions.
### Definition ### Definition
**Entity that comprises at a minimum: **Entity that comprises at a minimum**:
- a non-empty set of scopes in each of which specific objectives are being pursued; - **a non-empty set of scopes in each of which specific objectives are being pursued;**
- a criterion that specifies the necessary and sufficient conditions for being an instance of a named class; - **a criterion that specifies the necessary and sufficient conditions for being an instance of a named class;**
- a set of arguments and/or use-cases (that SHOULD not be empty), and that show the relevance of making this distinction within the scope (and for its objectives); - **a set of arguments and/or use-cases (that SHOULD not be empty), and that show the relevance of making this distinction within the scope (and for its objectives);**
- a name that is created and used within the scope that created the definition, for the purpose of referring to the class, or using it as a placeholder for its instances. - **a name that is created and used within the scope that created the definition, for the purpose of referring to the class, or using it as a placeholder for its instances.**
For the purposes of this document, the scope of every Definition is this Document (with its objectives that have been specified above).** **For the purposes of this document, the scope of every Definition is this Document (with its objectives that have been specified above).**
Note that this definition satisfies itself. Also note that a definition may be used in multiple scopes, where a scope that wants to use the definition that has been defined in another scope, may replace that name with one of its own choosing. This way the meaning expressed by the definition remains preserved. Note that this definition satisfies itself. Also note that a definition may be used in multiple scopes, where a scope that wants to use the definition that has been defined in another scope, may replace that name with one of its own choosing. This way the meaning expressed by the definition remains preserved.
...@@ -75,12 +75,12 @@ Note that this definition satisfies itself. Also note that a definition may be u ...@@ -75,12 +75,12 @@ Note that this definition satisfies itself. Also note that a definition may be u
**A named set of entities that satisfy a criterion that specifies the necessary and sufficient conditions for being a member of that set** **A named set of entities that satisfy a criterion that specifies the necessary and sufficient conditions for being a member of that set**
### Relation ### Relation
**A named set of entity-pairs (L,R), and a criterion C(SRC,TGT), where **A named set of entity-pairs (L,R), and a criterion C(SRC,TGT), where:**
- SRC and TGT are Concepts; - **SRC and TGT are Concepts;**
- L is an element of SRC and R is an element of TGT; - **L is an element of SRC and R is an element of TGT;**
- the name of the relation combined with SRC and TGT identifies the set; - **the name of the relation combined with SRC and TGT identifies the set;**
- C(L,R) is satisfied.** - **C(L,R) is satisfied.**
For example, a relation could be defined by: For example, a relation could be defined by:
...@@ -94,7 +94,7 @@ This relation contains all pairs (X,Y) for which Party X is the owner of Y. The ...@@ -94,7 +94,7 @@ This relation contains all pairs (X,Y) for which Party X is the owner of Y. The
**A Relation the intension of which consists of pairs that do not satisfy a specified expression that consists of concept (elements) and relations, and that can logically be evaluated.** **A Relation the intension of which consists of pairs that do not satisfy a specified expression that consists of concept (elements) and relations, and that can logically be evaluated.**
### Pattern ### Pattern
** A coherent set of Concepts, Relations between these Concepts, and Rules that are expressed in terms of these Concepts and Relations.** **A coherent set of Concepts, Relations between these Concepts, and Rules that are expressed in terms of these Concepts and Relations.**
We need Patterns as a mechanism for ‘chopping up’ mental models, in order to accommodate for the human disability to consciously oversee and think about more than 7 +/- 2 Concepts (including attributes, Relations, and Rules). We need Patterns as a mechanism for ‘chopping up’ mental models, in order to accommodate for the human disability to consciously oversee and think about more than 7 +/- 2 Concepts (including attributes, Relations, and Rules).
Patterns may be associated with texts e.g. for motivating its existence, explaining its purpose, etc. Patterns may be associated with texts e.g. for motivating its existence, explaining its purpose, etc.
...@@ -106,9 +106,9 @@ Also, we capitalize words in mid-sentence whenever it is used in the meaning as ...@@ -106,9 +106,9 @@ Also, we capitalize words in mid-sentence whenever it is used in the meaning as
Patterns will be visualized in this document using a UML-like notation, as follows: Patterns will be visualized in this document using a UML-like notation, as follows:
- a rectangle represents a (named) concept. Concepts serve as entity-classes. Their (operational) extensions, i.e. the respective sets of (runtime) instances, are disjunct. - a **rectangle** represents a (named) concept. Concepts serve as entity-classes. Their (operational) extensions, i.e. the respective sets of (runtime) instances, are disjunct.
- a solid line with a closed arrowhead represent a (named) relation/association between the two concepts it connects. The concept at the arrowhead is called the ‘target concept’ (TGT) for that relation. The concept at the other end is called the ‘source concept’ (SRC) for that relation. Names are chosen such that `<SRC> <relation name> <TGT>` is a phrase that suggests the intension(al definition) of that relation. - a **solid line with a closed arrowhead** represent a (named) relation/association between the two concepts it connects. The concept at the arrowhead is called the ‘target concept’ (TGT) for that relation. The concept at the other end is called the ‘source concept’ (SRC) for that relation. Names are chosen such that `<SRC> <relation name> <TGT>` is a phrase that suggests the intension(al definition) of that relation.
- a dashed line signifies that its intension is created by combination the intensions of other relations (it is a ‘shorthand’ for a path of other relations). - a **dashed line** signifies that its intension is created by combination the intensions of other relations (it is a ‘shorthand’ for a path of other relations).
- an open-ended arrow is an ‘ISA’ relation, which can be read as `<SRC> ISA <TGT>`. It means that SRC is a specialization of TGT (which is a generalization of SRC). Thus, SRC must satisfy all constraints that TGT must satisfy, and has all attributes (including properties) that TGT has. - an **open-ended arrow** is an ‘ISA’ relation, which can be read as `<SRC> ISA <TGT>`. It means that SRC is a specialization of TGT (which is a generalization of SRC). Thus, SRC must satisfy all constraints that TGT must satisfy, and has all attributes (including properties) that TGT has.
- Multiplicities use the [n..m] notation. When a multiplicity is omitted, [0..n] is intended. - **Multiplicities** use the [n..m] notation. When a multiplicity is omitted, [0..n] is intended.
- A concept that is coloured red(dish) represents a notion that is commonly used ‘in the wild’ (and hence needs not be defined here), relates to one or more concepts we need for the pattern, yet is not the same. We include such ‘red concepts’ to help readers identify and subsequently bridge gaps between commonly held thoughts and the (sometimes subtly) different meanings we need in our model. - A **concept that is coloured red(dish)** represents a notion that is commonly used ‘in the wild’ (and hence needs not be defined here), relates to one or more concepts we need for the pattern, yet is not the same. We include such ‘red concepts’ to help readers identify and subsequently bridge gaps between commonly held thoughts and the (sometimes subtly) different meanings we need in our model.
\ No newline at end of file \ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment