| Description | Abstract Relationship Kuratowski's ordered pair gives locality of relationships (the pair’s existence is tied to the source element 'a'): <a,b> ={ {a}, {a,b} } . The relationship (a,b) is local to a — it exists only in the syntactic context of a.” epresent edges of directed graphs as a lists where each vertex (Elements) points to its targets through a referencing mechanism: Adjacency Item.
|
|---|
| Connected Entity | Name | Description |
|---|---|---|
| Nesting Entity |
Element | Abstract An Element is an elementary constituent of a model. It is the top level abstraction of the SysFEAT upper ontology. |
| Nested Entity | Adjacency Item | Abstract An Adjacency Item is a member of an Kuratowski's ordered pair, and represents an elementary constituent of a model, used to reference an Element. It is a basic construct to form Kuratowski's ordered pairs. An Adjacency Item is either a Reference Adjacency or a Nesting Adjacency . |
Click node rectangle to collapse/expand one level. Click triangle for full recursive collapse/expand. Double-click on a node to open its URL. Hover for description.