As we discussed during the scrum today, we should add a contribution to 101repo, which demonstrates most data requirements for 101companies:System with Clafer.
It would be nice to add some Makefile-based stuff to the contribution so that model is checked with standard Clafer tools and perhaps some other representations of the Clafer-based data model (XSD, ...) are derived. In particular, some visual representation would be great.
As we discussed during the scrum today, we should add a contribution to 101repo, which demonstrates most data requirements for 101companies:System with Clafer.
Data requirements are listed here: http://101companies.org/wiki/Data_requirement
The Clafer-based model is a contribution which is ... well ... a model. We already have models. This one at least:
https://github.com/101companies/101repo/tree/master/contributions/argoUML
It would be nice to add some Makefile-based stuff to the contribution so that model is checked with standard Clafer tools and perhaps some other representations of the Clafer-based data model (XSD, ...) are derived. In particular, some visual representation would be great.