A collection of (toy) examples using OCL.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Achim D. Brucker bf7e22a930 Added master repository URL. 1 year ago
calendar Added SPDX identifier. 1 year ago
company Added SPDX identifier. 1 year ago
controller_calendar Added SPDX identifier. 1 year ago
digraph Added SPDX identifier. 1 year ago
ebank Added SPDX identifier. 1 year ago
health_system Added SPDX identifier. 1 year ago
invoicing_orders Added SPDX identifier. 1 year ago
isp Added SPDX identifier. 1 year ago
mini_company Added SPDX identifier. 1 year ago
priority_queue Added SPDX identifier. 1 year ago
rbt Added SPDX identifier. 1 year ago
royals_and_loyals Added SPDX identifier. 1 year ago
simple Added SPDX identifier. 1 year ago
simple_chair Added SPDX identifier. 1 year ago
simple_filesystem Added SPDX identifier. 1 year ago
stack Added SPDX identifier. 1 year ago
vehicles Added SPDX identifier. 1 year ago
LICENSE Changed default license. 2 years ago
README.md Added master repository URL. 1 year ago

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