HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A collection of (toy) examples using OCL.
This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.
23 Commits 1 Branch 0 Tags 518 KiB
Go to file
Achim D. Brucker 66d5335b2f Fixed typo. 2016-10-03 08:37:05 +01:00
calendar Added class diagram as PDF. 2016-10-03 00:50:41 +01:00
company Added the company model. 2016-10-02 21:46:22 +01:00
controller_calendar Added simple calender model using ControllerUML. 2016-10-03 06:39:32 +01:00
digraph Added simple digraph example. 2016-10-03 06:08:44 +01:00
ebank Added ebank example. 2016-10-03 01:09:25 +01:00
health_system Added small health system example. 2016-10-03 04:19:55 +01:00
isp Added ISP example. 2016-10-02 22:10:25 +01:00
mini_company Added tiny management hierarchy example. 2016-10-03 05:58:56 +01:00
royals_and_loyals Only link to main directory. 2016-10-02 14:21:22 +01:00
simple_filesystem Added a simple filesystem model. 2016-10-03 08:11:30 +01:00
stack Added stack example. 2016-10-02 14:29:20 +01:00
vehicles Added simple vehicle example. 2016-10-03 04:31:24 +01:00
LICENSE Changed default license. 2016-10-02 13:57:54 +01:00
README.md Fixed typo. 2016-10-03 08:37:05 +01:00

README.md

ocl-examples

A collection of (toy) examples using OCL that demonstrate the use of OCL in the context of UML as well as SecureUML models. Most of the models were developed in the context of the HOL-OCL and SecureUML projects.

Models

Team

License

This project is licensed under a 2-clause BSD license.

Publications