Skip to content

Write document explaining model correctness #88

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 19 commits into
base: main
Choose a base branch
from
Open

Write document explaining model correctness #88

wants to merge 19 commits into from

Conversation

dslmeinte
Copy link
Contributor

Issue: #83

@dslmeinte dslmeinte requested a review from enikao March 4, 2023 10:42
enikao
enikao reviewed Mar 5, 2023
View reviewed changes
joswarmer
joswarmer reviewed Aug 22, 2023
View reviewed changes
@enikao enikao mentioned this pull request Aug 31, 2023
Closed
@enikao
Copy link
Contributor

enikao commented Aug 31, 2023

Do we need to incorporate #48?

@dslmeinte
Copy link
Contributor Author

Do we need to incorporate #48?

No, because those are constraints specific to a M2 which is an instance of an M3.

enikao
enikao reviewed Jan 3, 2024
View reviewed changes
enikao
enikao reviewed Jan 11, 2024
View reviewed changes
@joswarmer
Copy link
Contributor

joswarmer commented Jan 11, 2024 •
edited
Loading

NB: As a general remark, there are two different things for which we can (and are) define validations:

  1. Chunk Validations: these are crucial because our interoperability/interchange is fully based on such chunks.
    Chunks are by definition incomplete.
  2. Model Validations: these are validation rules that are defined on complete models.
    As far as LionWeb is concerned, interoperability/interchange is not affected by this kind of validation errors.
    I don't think we have a precise definition for complete models.

We should make a very clear distinction between these two.

@dslmeinte
Copy link
Contributor Author

@markusvoelter @enikao @joswarmer @ftomassetti After a long while I've done some work on this again.

A question to you: Didn't the term “meta-referential” sense at all?

@joswarmer
Copy link
Contributor

@markusvoelter @enikao @joswarmer @ftomassetti After a long while I've done some work on this again.

A question to you: Didn't the term “meta-referential” sense at all?

To me, not really no.

enikao
enikao reviewed Jul 3, 2024
View reviewed changes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ftomassetti ftomassetti ftomassetti left review comments

@markusvoelter markusvoelter markusvoelter left review comments

@joswarmer joswarmer joswarmer left review comments

@enikao enikao enikao left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@dslmeinte @enikao @joswarmer @ftomassetti @markusvoelter