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

Clafer-based model of 101companies:System #41

Open
rlaemmel opened this issue Feb 25, 2013 · 0 comments
Open

Clafer-based model of 101companies:System #41

rlaemmel opened this issue Feb 25, 2013 · 0 comments
Assignees

Comments

@rlaemmel
Copy link
Collaborator

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants