Skip to content

kairav/ICSE-2011-UMLsec

 
 

Repository files navigation

How to use the UMLsec tool under windows

*run it with the checksystem.bat file

How to use the UMLsec tool under GNU/Linux

  • run it with the checksystem.sh file

The tool is currently being reworked as version 2.0. For more information which functions and examples are already working with this version visit the user-manual-pages at: http://ls14-www.cs.tu-dortmund.de/main2/jj/umlsectool/users_new.html

===========================================================

ICSE-2011-UMLsec


This repository is contains information related to the tool UMLsec produced by Dr. Jan Jürjens and his colleagues. The tool was originally presented in this paper.

This repository is not the original repository for this tool. Here are some links to the original project:

The license of the tool (quote from orignal website):

Copyright notice The source code is © by the members of the UMLsec tool group 2001-2014 and available under an open-source license. Please ask about availability under other agreements.

In this repository, for UMLsec you will find:

This repository was constructed by Yi-Chun Chen (RimiChen) under the supervision of Emerson Murphy-Hill.

Thank for all assistances from Dr. Jan Jürjens. He helped us to find the binary and the source of the tool. And, the tool's website contains clear user manuals which give us guides to use the tool.

================================================================================== This README document is created for CSC 510 Software engineering course, NCSU, 2015 fall. and by

  • Name: Yi-Chun Chen

  • UnityID: ychen4

  • Team: Onslow

  • Studied paper: ICSE- 2011 "Automated Security Hardening for Evolving UML Models."

==================================================================================

Project history: None. The author provided his source code in his website. I migrated it to Github.

About

This tool is produced by Dr. Jan Jürjens. One of its parts UML static check was published in ICSE- 2011. And it is available under an open-source license.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • HTML 72.7%
  • Java 27.2%
  • AspectJ 0.1%
  • Batchfile 0.0%
  • Cool 0.0%
  • Shell 0.0%