R118

Jump to bottom

Leon Starr edited this page Feb 24, 2022 · 1 revision

R118 / 1:1c

Subclass defines subset on b side of zero or one Minimal Partition

Minimal Partition yields subset on b side as exactly one [[Subclass]

See R117 substituting b side for a side.

Formalization

Minimal Partition.(Rnum, Domain, B subclass) -> Subclass.(Rnum, Domain, Class)

Copyright © 2021-2023 Leon Starr

Content Overview

Class Metamodel

Class and State Metamodel Document Register

Domain Subsystem

Class and Attribute Subsystem

Relationship Subsystem

Formalization Subsystem

External Entity Subsystem

State Metamodel

State Subsystem

Event Subsystem

Technical Notes

1 Synchronous and Asynchronous Creation States

Action Metamodel

Action Subsystem Document Register

Subsystems

Action Subsystem

Activity Subsystem

Attribute Access Subsystem

Computation Subsystem

Conditional Logic Subsystem

Create Delete Subsystem

Flow Subsystem

Iteration Subsystem

Navigation Subsystem

Relational Action Subsystem

Select Action Subsystem

Set Action Subsystem

Signal Subsystem

Type Subsystem

Technical Notes

1 Reading and Updating Attributes

2 Relationship Navigation

3 Data Flow Semantics

4 Reference Actions

5 Instance Creation

6 Activities

7 Signal Action

8 Signal Action to and from Metamodel Exploration

9 Select Action

10 Loose Ends Inventory

11 Parse Experiments

Whiteboards

Relationship navigation

Resources

Clone this wiki locally