Model Catalogue Tool, Phase 3

A model catalogue application will be created for visualisation, presentation, identification, composition and maintenance of ALIGNED semantic metamodels, models, and data. This tool will be integrated with the Eclipse IDE – permitting managed iterative development of designs. It shall generate ALIGNED system specifications from meta-models, Linked Data datasets and Linked Data descriptions of external software. This will require the definition of new techniques to map between Linked Data and B-model notation. This deliverable shall be led by Oxford Computer Science. It updates D3.2