mintproject / ModelCatalog

A repository containing the resources needed to create a catalog of software model models and link them together
Other
1 stars 3 forks source link

Complete alignment to SVO and add missing variables #6

Closed dgarijo closed 5 years ago

dgarijo commented 5 years ago

Model catalog variables should be properly aligned to SVO: for each variable name, bring the semantics of the SVO to the model catalog: properties and objects being linked and quantifiers.