1 Definition 2 Functional Requirements 3 Syntax 4 Semantics

1 Definition

Program Qualifier is a set of Data providing additional information on a Program Item for potential use by a machine.

Contract is specified by MMM-TEC V1.0.

2 Functional Requirements

  1. The Data of a Program has a format enabling it to be executed in the target M-Instance.
  2. A Programmay be subject to certification before it can be imported into an M-Instance.
  3. Program Qualifier must allow the expression of the following Elements:
    1. Sub-Types
    2. Formats
    3. Attributes

Users needing support of other entries in MPAI-TFA should make a documented request to the MPAI Secretariat to consider addition of such entries.

3 Syntax

https://schemas.mpai.community/TFA/V1.1/data/ProgramQualifier.json

4 Semantics

  1. Sub-Types

    1. Non-BlockChain specific
    2. BlockChain specific
    3. Autonomous

  2. Formats

    1. Content
      1. Non-Blockchain
        1. C
        2. C++
        3. Java
      2. Blocchain
        1. Michelson
        2. Solidity
    2. Transport

  3. Attributes