meta.json

{
    "vertexTraits": [
        {
            "name": "ModelOfComputation"
        },
        {
            "name": "ModelOfArchitecture"
        },
        {
            "name": "ModelOfBinding"
        },
        {
            "name": "ReactorElement",
            "refinedTraits": ["ModelOfComputation"]
        },
        {
            "name": "ReactorActor",
            "refinedTraits": ["ReactorElement"],
            "required_ports": [
                {
                    "name": "children_actors",
                    "vertexTrait": "ReactorActor",
                    "ordered": true
                },
                {
                    "name": "reactions",
                    "vertexTrait": "ReactorReaction",
                    "ordered": true
                },
                {
                    "name": "timers",
                    "vertexTrait": "ReactorTimer"
                }
            ],
            "required_properties": [
                {"name": "state_names", "type": {"name": "array", "valueType": {"name":  "str"}}},
                {"name": "state_sizes_in_bytes", "type": {"name": "array", "valueType": {"name":  "int"}}}
            ]
        },
        {
            "name": "ReactorReaction",
            "refinedTraits": ["ReactorElement"],
            "required_ports": [
                {"name": "triggers", "vertexTrait": "ReactorElement"},
                {"name": "effects", "vertexTrait": "ReactorElement"},
                {"name": "implementation", "vertexTrait": "ModelOfComputation", "multiple": false}
            ]
        },
        {
            "name": "ReactorTimer",
            "refinedTraits": ["ReactorElement"],
            "required_properties": [
                {"name": "period_numerator_per_sec", "type": {"name": "int"}},
                {"name": "period_denominator_per_sec", "type": {"name": "int"}, "default": 1},
                {"name": "offset_numerator_per_sec", "type": {"name": "int"}, "default": 0},
                {"name": "offset_denominator_per_sec", "type": {"name": "int"}, "default": 1}
            ]
        },
        {
            "name": "ReactorSignal",
            "refinedTraits": ["ReactorElement"],
            "required_ports": [
                {"name": "source_reaction", "vertexTrait": "ReactorReaction", "multiple": false},
                {"name": "target_reaction", "vertexTrait": "ReactorReaction", "multiple": false}
            ]
        },
        {
            "name": "AbstractProcessingComponent",
            "refinedTraits": [
                "ModelOfArchitecture"
            ],
            "required_properties": [
                {
                    "name": "can_be_explored",
                    "type": {"name": "bool"},
                    "default": true
                }
            ]
        },
        {
            "name": "AbstractCommunicationComponent",
            "refinedTraits": [
                "ModelOfArchitecture"
            ]
        },
        {
            "name": "Composite",
            "required_ports": []
        },
        {
            "name": "AbstractOrdering",
            "refinedTraits": [
                "ModelOfBinding"
            ]
        },
        {
            "name": "TriggeredTask",
            "refinedTraits": [
                "AbstractOrdering"
            ]
        },
        {
            "name": "SporadicTask",
            "refinedTraits": [
                "AbstractOrdering"
            ]
        },
        {
            "name": "ExtraFunctional"
        },
        {
            "name": "WCET",
            "refinedTraits": [
                "ExtraFunctional"
            ],
            "required_ports": [
                {
                    "name": "application",
                    "vertexTrait": "ModelOfComputation",
                    "direction": 1,
                    "multiple": true
                },
                {
                    "name": "platform",
                    "vertexTrait": "AbstractProcessingComponent",
                    "direction": 1,
                    "multiple": true
                }
            ],
            "required_properties": [
                {
                    "name": "time",
                    "type": {"name": "integer"},
                    "default": 0
                }
            ]
        },
        {
            "name": "WCCT",
            "refinedTraits": [
                "ExtraFunctional"
            ],
            "required_ports": [
                {
                    "name": "signal",
                    "vertexTrait": "ModelOfComputation",
                    "direction": 1,
                    "multiple": true
                },
                {
                    "name": "platform_element",
                    "vertexTrait": "AbstractCommunicationComponent",
                    "direction": 1,
                    "multiple": true
                }
            ],
            "required_properties": [
                {
                    "name": "time",
                    "type": {"name": "integer"},
                    "default": 0
                }
            ]
        },
        {
            "name": "Requirement"
        },
        {
            "name": "HardRequirement",
            "refinedTraits": [
                "Requirement"
            ]
        },
        {
            "name": "LocationRequirement",
            "refinedTraits": [
                "Requirement"
            ],
            "required_ports": [
                {
                    "name": "ModelOfComputation",
                    "vertexTrait": "ModelOfComputation",
                    "direction": 1,
                    "multiple": true,
                    "ordered": false
                },
                {
                    "name": "processing_unit",
                    "vertexTrait": "AbstractProcessingComponent",
                    "direction": 1,
                    "multiple": true,
                    "ordered": false
                }
            ]
        },
        {
            "name": "TimeTriggeredScheduler",
            "refinedTraits": [
                "ModelOfBinding"
            ],
            "required_properties": [
                {
                    "name": "trigger_time",
                    "type": {"name": "integerMap", "valueType": {"name": "string"}},
                    "default": {}
                }
            ]
        },
        {
            "name": "RoundRobinScheduler",
            "refinedTraits": [
                "ModelOfBinding"
            ],
            "required_properties": [
                {
                    "name": "minimum_time_slice_in_sec_numerator",
                    "type": {"name": "int"},
                    "default": 0
                },
                {
                    "name": "minimum_time_slice_in_sec_denominator",
                    "type": {"name": "int"},
                    "default": 1
                },
                {
                    "comment": "Negative in case the scheduler has no maximum time slice. Positive Otherwise",
                    "name": "maximum_time_slice_in_sec_numerator",
                    "type": {"name": "int"},
                    "default": -1
                },
                {
                    "name": "maximum_time_slice_in_sec_denominator",
                    "type": {"name": "int"},
                    "default": 1
                }
            ]
        }
    ],
    "edgeTraits": [
        {
            "name": "Input"
        },
        {
            "name": "Output"
        },
        {
            "name": "Annotation"
        },
        {
            "name": "Composition",
            "refinedTraits": []
        },
        {
            "name": "AbstractPhysicalConnection"
        },
        {
            "name": "AbstractDecision"
        },
        {
            "name": "AbstractScheduling",
            "refinedTraits": [
                "AbstractDecision"
            ]
        },
        {
            "name": "AbstractMapping",
            "refinedTraits": [
                "AbstractDecision"
            ]
        },
        {
            "name": "AbstractAllocation",
            "refinedTraits": [
                "AbstractDecision"
            ]
        },
        {
            "name": "ReactorConnection",
            "refinedTraits": [

            ]
        }
    ],
    "portTraits": {},
    "__commented__": {
        "vertexTraits": {
            "TypeRepresentation": null,
            "integer": {
                "refinedTraits": [
                    "TypeRepresentation"
                ],
                "required_properties": [
                    {
                        "name": "bits",
                        "type": "integer",
                        "default": 0
                    }
                ]
            },
            "Floating": {
                "refinedTraits": [
                    "TypeRepresentation"
                ],
                "required_properties": [
                    {
                        "name": "bits",
                        "type": "integer",
                        "default": 0
                    }
                ]
            },
            "Record": {
                "refinedTraits": [
                    "TypeRepresentation"
                ],
                "required_properties": [
                    {
                        "name": "name",
                        "class": "String"
                    }
                ]
            },
            "Array": {
                "refinedTraits": [
                    "TypeRepresentation"
                ],
                "required_properties": {
                    "size": {
                        "class": "integer",
                        "default": 0
                    }
                }
            }
        }
    },
    "extra": {
        "Goal": null,
        "MinimumThroughput": {
            "refinedTraits": [
                "Goal"
            ],
            "required_ports": {
                "application": {
                    "class": "ModelOfComputation",
                    "direction": 1,
                    "multiple": true
                }
            },
            "required_properties": {
                "apriori_importance": {
                    "class": "integer",
                    "default": 1
                }
            }
        },
        "FixedPriorityScheduler": null,
        "CustomScheduler": null,
        "RoundRobinScheduler": null,
        "ModelOfComputation": null,
        "InstrumentedFunction": {
            "refinedTraits": [
                "ModelOfComputation"
            ],
            "required_properties": {
                "max_operations": {
                    "class": "stringMap",
                    "key": {
                        "class": "string"
                    },
                    "value": {
                        "class": "long"
                    },
                    "default": {}
                },
                "max_memory_size_in_bytes": {
                    "class": "long",
                    "default": 1
                }
            }
        },
        "Signal": null,
        "BufferSignal": {
            "refinedTraits": [
                "Signal"
            ]
        },
        "LabelSignal": {
            "refinedTraits": [
                "Signal"
            ]
        },
        "Instrumented": {
            "refinedTraits": [],
            "required_properties": {
                "requires": {
                    "class": "stringMap",
                    "key": {
                        "class": "string"
                    },
                    "value": {
                        "class": "stringMap",
                        "key": {
                            "class": "string"
                        },
                        "value": {
                            "class": "int"
                        }
                    }
                },
                "provides": {
                    "class": "stringMap",
                    "key": {
                        "class": "string"
                    },
                    "value": {
                        "class": "stringMap",
                        "key": {
                            "class": "string"
                        },
                        "value": {
                            "class": "int"
                        }
                    }
                },
                "configurations": {
                    "class": "array",
                    "value": {
                        "class": "string"
                    }
                }
            }
        },
        "InstrumentedSignal": {
            "refinedTraits": [
                "Signal",
                "Instrumented"
            ],
            "required_properties": {
                "max_elem_size_bytes": {
                    "class": "long"
                },
                "max_elem_count": {
                    "class": "long",
                    "default": 1
                }
            }
        },
        "SYComb": {
            "refinedTraits": [
                "ModelOfComputation"
            ],
            "required_ports": {
                "combinator": {
                    "class": "ModelOfComputation",
                    "direction": 0
                }
            }
        },
        "SYPrefix": {
            "refinedTraits": [
                "ModelOfComputation"
            ],
            "required_ports": {
                "prefixer": {
                    "class": "ModelOfComputation",
                    "direction": 0
                }
            }
        },
        "SDFComb": {
            "refinedTraits": [
                "ModelOfComputation"
            ],
            "required_ports": {
                "combinator": {
                    "class": "ModelOfComputation",
                    "direction": 0
                }
            },
            "required_properties": {
                "consumption": {
                    "class": "stringMap",
                    "key": {
                        "class": "string"
                    },
                    "value": {
                        "class": "integer"
                    }
                },
                "production": {
                    "class": "stringMap",
                    "key": {
                        "class": "string"
                    },
                    "value": {
                        "class": "integer"
                    }
                }
            }
        },
        "SDFPrefix": {
            "refinedTraits": [
                "ModelOfComputation"
            ],
            "required_ports": {
                "prefixer": {
                    "class": "ModelOfComputation",
                    "direction": 0
                }
            }
        },
        "ReactorElement": null,
        "ReactorTimer": {
            "refinedTraits": [
                "ReactorElement"
            ],
            "required_properties": {
                "period_numerator_per_sec": {
                    "class": "integer"
                },
                "period_denominator_per_sec": {
                    "class": "integer",
                    "default": 1
                },
                "offset_numerator_per_sec": {
                    "class": "integer",
                    "default": 0
                },
                "offset_denominator_per_sec": {
                    "class": "integer",
                    "default": 1
                }
            },
            "required_ports": {
                "output": {
                    "class": "ReactorElement",
                    "multiple": true,
                    "direction": 1
                }
            }
        },
        "ReactorReaction": {
            "refinedTraits": [
                "ReactorElement",
                "ModelOfComputation"
            ],
            "required_ports": {
                "triggers": {
                    "class": "ReactorElement",
                    "multiple": "ordered",
                    "direction": -1
                },
                "effects": {
                    "class": "ReactorElement",
                    "multiple": "ordered",
                    "direction": 1
                },
                "reaction_implementation": {
                    "class": "ModelOfComputation",
                    "direction": 0
                }
            }
        },
        "ReactorActor": {
            "refinedTraits": [
                "ReactorElement",
                "Composite"
            ],
            "required_ports": {
                "children": {
                    "direction": 1,
                    "multiple": true
                }
            }
        },
        "InstrumentedProcessorTile": {
            "refinedTraits": [
                "AbstractProcessingComponent",
                "Instrumented"
            ],
            "required_properties": {
                "min_frequency_hz": {
                    "class": "long"
                },
                "max_frequency_hz": {
                    "class": "long"
                },
                "max_clock_cycles_per_op": {
                    "class": "stringMap",
                    "key": {
                        "class": "string"
                    },
                    "value": {
                        "class": "long"
                    }
                },
                "max_memory_internal_bytes": {
                    "class": "long"
                }
            }
        },
        "AbstractStorageComponent": {
            "refinedTraits": [
                "ModelOfArchitecture"
            ]
        },
        "AbsractInterfaceComponent": {
            "refinedTraits": [
                "ModelOfArchitecture"
            ]
        },
        "InstrumentedCommunicationInterconnect": {
            "refinedTraits": [
                "AbstractCommunicationComponent"
            ],
            "required_properties": {
                "max_bandwith_bytes_per_sec": {
                    "class": "integer"
                }
            }
        },
        "TimeDivisionMultiplexer": {
            "refinedTraits": [
                "AbstractCommunicationComponent"
            ],
            "required_properties": {
                "slots": {
                    "class": "integer",
                    "default": 1
                }
            }
        }
    }
}