Skip to content
This repository has been archived by the owner on Aug 30, 2023. It is now read-only.

Latest commit

 

History

History
59 lines (38 loc) · 2.17 KB

README.md

File metadata and controls

59 lines (38 loc) · 2.17 KB
Raw

Digital COVID Certificates: MPS implementation of CertLogic

About • Organisation • Testing & Status • Licensing

About

This part of the repository contains implementations of CertLogic and Validation Rules languages in JetBrains MPS. This validation rules environment is for demo-purposes only, for the moment.

These implementations are not as feature-complete as they could be. In particular, the following are missing:

  • Only part of a rule's meta data can be input - the focus is on the Logic part
  • Defining tests alongside rules
  • Exporting (or importing) rules in any way - either to the staging repository, or elsewhere

Installation

Steps:

  1. Download the latest version of MPS.
  2. Install it.
  3. Open MPS, and point it to the DCC directory which is an MPS project.
  4. Click the “green hammer” to Make Project:
  5. In the project overview:
    • navigate to the dcc-rules “solution” (marked with an “S” icon),
    • then to the rules “model” (marked with an "M" icon),
    • and then double-click the EU template rules section.

Things should now look like this: screenshot of EU rules

Testing & Status

  • If you found any problems, please create an Issue.
  • Current status: Work-In-Progress.

Licensing

Copyright (c) 2021 Dutch Ministry of Health, Welfare and Sport, and all other contributors

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.

You may obtain a copy of the License at https://www.apache.org/licenses/LICENSE-2.0.

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the LICENSE for the specific language governing permissions and limitations under the License.