HOL-OCL
/
ocl-examples
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
45 Commits
1 Branch
0 Tags
1.5 MiB
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Go to file
Achim D. Brucker bf7e22a930
Added master repository URL. 		5 years ago
calendar Added SPDX identifier. 5 years ago
company Added SPDX identifier. 5 years ago
controller_calendar Added SPDX identifier. 5 years ago
digraph Added SPDX identifier. 5 years ago
ebank Added SPDX identifier. 5 years ago
health_system Added SPDX identifier. 5 years ago
invoicing_orders Added SPDX identifier. 5 years ago
isp Added SPDX identifier. 5 years ago
mini_company Added SPDX identifier. 5 years ago
priority_queue Added SPDX identifier. 5 years ago
rbt Added SPDX identifier. 5 years ago
royals_and_loyals Added SPDX identifier. 5 years ago
simple Added SPDX identifier. 5 years ago
simple_chair Added SPDX identifier. 5 years ago
simple_filesystem Added SPDX identifier. 5 years ago
stack Added SPDX identifier. 5 years ago
vehicles Added SPDX identifier. 5 years ago
LICENSE Changed default license. 7 years ago
README.md Added master repository URL. 5 years 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