Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

Supporting the OCL Repository Initiative

During the Lightning Talk session at the OCL Workshop this year, Martin Gogolla and Jordi Cabot made an excellent point that we need to make more OCL examples available to everyone. Easily available examples will not only help in learning OCL. More importantly, they make it easier to evaluate, test and compare OCL-related tools.

To support this initiative, we just made a collection of (toy) examples available 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.

Supplementary Material

Welcome to the blog of the Software Assurance & Security Research Team at The University of Sheffield. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.




academia appsec bitcoin browserextensions browsersecurity chrome cordova dast devops devsecops event extensions fixeffort floss hol-ocl hol-testgen hybridapps iast industry iot isabelle/hol logic malicous mbst mobile modeling monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification webinar websecurity


blog whole site