Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Store Information using Text Oriented Database #20

Open
niamtokik opened this issue Mar 19, 2024 · 1 comment
Open

Store Information using Text Oriented Database #20

niamtokik opened this issue Mar 19, 2024 · 1 comment
Labels
enhancement New feature or request

Comments

@niamtokik
Copy link
Contributor

While looking for an alternative to JSON and YAML, I found Rec. It seems a good alternative to create a text oriented database, easy to edit, share and export. Here an example with two publications from README.md`:

%rec: Publication
%mandatory: Date Title Urls

Date: 2023-09-27
Title: A monitoring tool for linear-time 𝜇HML
Abstract: We present detectEr, a monitoring tool that targets software
+ applications written for Erlang/OTP.  The tool runtime checks
+ specifications expressed in a safety fragment of the linear-time
+ modal 𝜇-calculus called MAX HML D , used to describe properties
+ about the current system execution. Our technical development is
+ founded on previous theoretical results that are lifted to a
+ first-order setting, where systems produce executions containing
+ events that carry data. We overview the main features of detectEr,
+ showing how properties can be flexibly written and synthesised as
+ executable Erlang monitors that can be instrumented with the running
+ system.
DOI: https://doi.org/10.1016/j.scico.2023.103031
Urls: http://staff.um.edu.mt/afra1/papers/linearDetectErSCP2024.pdf
Authors: Luca Aceto
Authors: Antonis Achilleos
Authors: Duncan Paul Attard
Authors: Léo Exibard
Authors: Adrian Francalanza
Authors: Anna Ingólfsdóttir
Keywords: Runtime verification
Keywords: Linear-time properties
Keywords: Monitor synthesis
Keywords: detectEr
Keywords: MAXHML

Date: 2023-05-31
Title: Effective integration of low-cost digital manufacturing systems: a reference architecture driven approach
Urls: https://www.tandfonline.com/doi/full/10.1080/0951192X.2024.2314785
DOI: https://doi.org/10.1080/0951192X.2024.2314785
Keywords: System integration
Keywords: low-cost
Keywords: digital manufacturing
Keywords: reference architecture

Why using Rec instead of JSON or YAML? (1) a full implementation already exist to define constraints and edit rec files (2) the format is flexible (3) it will probably help people to add more content in this list because of the open format (4) we can easily export it into mnesia or an ets table (5) a simple subset of Rec format can easily be implemented.

@niamtokik niamtokik added the enhancement New feature or request label Mar 19, 2024
@niamtokik
Copy link
Contributor Author

Here a more complete example mainly extracted from erlang.mk. poolboy project is one of my test element.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: No status
Development

No branches or pull requests

1 participant