TImetabling OCL model

doi:10.17605/OSF.IO/ZUH3S

Title	Authors

Home

## 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.

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.

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.

Create an Account Learn More Hide this message

Main content

Home

Menu

Start managing your projects on the OSF today.

Main content

Links to this project

Home

Menu

Add new wiki page

Page permissions have changed

Wiki page deleted

Connected to the collaborative wiki

Connecting to the collaborative wiki

Collaborative wiki is unavailable

Browser unsupported

Start managing your projects on the OSF today.