A collection of (toy) examples using OCL.
Go to file
Achim D. Brucker bf7e22a930 Added master repository URL. 2017-12-07 21:53:00 +00:00
calendar Added SPDX identifier. 2017-12-06 19:25:16 +00:00
company Added SPDX identifier. 2017-12-06 19:25:16 +00:00
controller_calendar Added SPDX identifier. 2017-12-06 19:25:16 +00:00
digraph Added SPDX identifier. 2017-12-06 19:25:16 +00:00
ebank Added SPDX identifier. 2017-12-06 19:25:16 +00:00
health_system Added SPDX identifier. 2017-12-06 19:25:16 +00:00
invoicing_orders Added SPDX identifier. 2017-12-06 19:25:16 +00:00
isp Added SPDX identifier. 2017-12-06 19:25:16 +00:00
mini_company Added SPDX identifier. 2017-12-06 19:25:16 +00:00
priority_queue Added SPDX identifier. 2017-12-06 19:25:16 +00:00
rbt Added SPDX identifier. 2017-12-06 19:25:16 +00:00
royals_and_loyals Added SPDX identifier. 2017-12-06 19:25:16 +00:00
simple Added SPDX identifier. 2017-12-06 19:25:16 +00:00
simple_chair Added SPDX identifier. 2017-12-06 19:25:16 +00:00
simple_filesystem Added SPDX identifier. 2017-12-06 19:25:16 +00:00
stack Added SPDX identifier. 2017-12-06 19:25:16 +00:00
vehicles Added SPDX identifier. 2017-12-06 19:25:16 +00:00
LICENSE Changed default license. 2016-10-02 13:57:54 +01:00
README.md Added master repository URL. 2017-12-07 21:53:00 +00:00

README.md

ocl-examples

A collection of (toy) examples 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.

SPDX-License-Identifier: BSD-2-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team: https://git.logicalhacking.com/HOL-OCL/ocl-examples.

Publications