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.

Categories

Archive

Tags

academia appsec cordova dast devops devsecops event fixeffort floss hol-ocl hol-testgen iast industry isabelle/hol logic mbst mobile modelling monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification

Search


blog whole site