Main content

Home

Menu

View
Wiki Version:
## Timetabling model using USE-OCL ## --------------- UML (*Unified Modeling Language*) model an OCL (*Object Constraint Language*) invariants of the timetabling problem at UJAT-DAIS. The model was designed and validated in [USE: *UML-based Specification Environment*](http://sourceforge.net/projects/useocl). Figure 1 shows the class diagram. ![Class diagram](https://files.osf.io/v1/resources/zuh3s/providers/osfstorage/5b28aa8cb3ed85000edc8a60?mode=render) _Figure 1. Class diagram._ The model specification is included in the file **modelo.use.txt**. File **modelo.use_default.clt** contains the layout shown in Figure 1. The model validation is presented in Figure 2. ![Model validation](https://files.osf.io/v1/resources/zuh3s/providers/osfstorage/5b28aaaeb3ed85000fdc89a5?mode=render) _Figure 2. Model validation._
OSF does not support the use of Internet Explorer. For optimal performance, please switch to another browser.
Accept
This website relies on cookies to help provide a better user experience. By clicking Accept or continuing to use the site, you agree. For more information, see our Privacy Policy and information on cookie use.
Accept
×

Start managing your projects on the OSF today.

Free and easy to use, the Open Science Framework supports the entire research lifecycle: planning, execution, reporting, archiving, and discovery.

Copyright © 2011-2025 Center for Open Science | Terms of Use | Privacy Policy | Status | API
TOP Guidelines | Reproducibility Project: Psychology | Reproducibility Project: Cancer Biology