| 123456789101112131415161718192021222324252627282930 |
- Decompose as connected graph of metamodel objects?
- Verification of objects in model requires both object-based and instance-based
- verification.
- - object-based will assume one instance of the object.
- - object-based doesn't need to follow chains into process models.
- Since subtyping doesn't use referential attributes, these connections will have
- their own explicit category. Connected graph should align.
- Objects can be end-of-chain, never-end-of-chain, possibly-end-of-chain, and
- middle-of-chain.
- Identifier chain is always a loop.
- Active and Passive perspectives are the relationship phrases. Must have both.
- Object-based will check if referential is on right side
- - pair instance(s) and relationship to multiplicity and conditional
- information. i.e., collect relationship end information.
- - collect referential attribute for relationship and attached instance.
- - run against where-to-put-referential rules.
- How to 'collect and verify'?
- - generate templates from metamodel as bridges where every required
- parameter needs to have a value. (Does this require externally published
- user data types?)
- - verification would require collecting the elements from the model editor
- in a metamodel buildable order.
|
