Data

Tools

Indexes

Applications

Experiments

Open Source Science

carisma-tool

Implementation of the CARiSMA Tool

https://github.com/carisma-tool/carisma-tool

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (11.9%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Implementation of the CARiSMA Tool

Basic Info
Statistics
  • Stars: 3
  • Watchers: 3
  • Forks: 5
  • Open Issues: 13
  • Releases: 13
Created almost 9 years ago · Last pushed 6 months ago
Metadata Files
Readme License Citation

README.md

CARiSMA

Modeling offers an unprecedented opportunity for high-quality critical systems development that is feasible in an industrial context. CARiSMA enables you to perform:

  • compliance analyses,
  • risk analyses, and
  • security analyses

of software models. CARiSMA is an acronym for CompliAnce, Risk, and Security Model Analyzer.

Since CARiSMA is a reimplemented variant of the former UMLsec tool it natively supports UML models. Due to its EMF-based implementation CARiSMA can also support domain-specific modeling languages such as BPMN.

CARiSMA is fully integrated into Eclipse and can thus become part of the modeling tool of your choice including but not limited to Papyrus MDT, IBM Rational Software Architect, and many others.

A flexible plugin architecture makes CARiSMA extensible for new languages and allows users to implement their own compliance, risk, or security checks.

Installation

See Installation Guide for how to install CARiSMA and its extensions.

General Usage

See Usage Guide for information on how to use CARiSMA.

Features

See Features for information on CARiSMA specific features.

Development

If you want to extend CARiSMA, consult the Development Guide.

Video Documentation

There are multiple different screencasts available on the CARiSMA-Tool

Contact / Team

If you find bugs, please use GitHub's issue tracker.

For other questions contact: Research Group Software Engineering at University of Koblenz

Contact: * Jan Jürjens * Julian Flake * Sven Peldszus

Further developers and contributors: * Sven Wenzel * Daniel Poggenpohl, né Warzecha * Benjamin Berghoff * Jens Bürger * Lidiya Kaltchev * Johannes Kowald * Kubi Mensah * Marcel Michel * Alexander Peikert * Klaus Rudack * Nils Rodewald * Sanjeev Sun Shakya

Licenses

CARiSMA uses various third party components which utilize a number of different licenses.

Owner

  • Name: CARiSMA-Tool
  • Login: CARiSMA-Tool
  • Kind: organization

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
type: software
authors:
- family-names: "University of Koblenz, Faculty Computer Science, Institute for Software Technology, Research Group Software Engineering"
  #given-names: ""
title: "CARiSMA - CompliAnce, Risk, and Security Model Analyzer"
#version: 1.0.0
#doi: 10.5281/zenodo.1234
date-released: 2024-05-31
url: "https://github.com/CARiSMA-Tool/carisma-tool"

GitHub Events

Total
  • Create event: 17
  • Commit comment event: 7
  • Issues event: 8
  • Release event: 8
  • Delete event: 12
  • Issue comment event: 6
  • Push event: 55
  • Pull request event: 9
Last Year
  • Create event: 17
  • Commit comment event: 7
  • Issues event: 8
  • Release event: 8
  • Delete event: 12
  • Issue comment event: 6
  • Push event: 55
  • Pull request event: 9

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 3
  • Total pull requests: 2
  • Average time to close issues: 4 months
  • Average time to close pull requests: 2 days
  • Total issue authors: 2
  • Total pull request authors: 2
  • Average comments per issue: 0.67
  • Average comments per pull request: 0.5
  • Merged pull requests: 1
  • Bot issues: 0
  • Bot pull requests: 1
Past Year
  • Issues: 1
  • Pull requests: 2
  • Average time to close issues: about 2 months
  • Average time to close pull requests: 2 days
  • Issue authors: 1
  • Pull request authors: 2
  • Average comments per issue: 1.0
  • Average comments per pull request: 0.5
  • Merged pull requests: 1
  • Bot issues: 0
  • Bot pull requests: 1
View more stats
Top Authors
Issue Authors
  • nuthub (13)
  • APHDKO (7)
Pull Request Authors
  • nils-rodewald (3)
  • sanjeev55 (3)
  • nuthub (3)
  • APHDKO (2)
  • SvenPeldszus (2)
  • dependabot[bot] (1)
Top Labels
Issue Labels
bug (2) deployment (1)
Pull Request Labels
dependencies (1) java (1)

Dependencies

.github/workflows/main.yml actions
  • actions/checkout v3 composite
  • actions/setup-java v3 composite
deployment/carisma.updatesite/pom.xml maven
deployment/feature.carisma.bpmn2/pom.xml maven
deployment/feature.carisma.bpmn2.checks/pom.xml maven
deployment/feature.carisma.core/pom.xml maven
deployment/feature.carisma.ocl/pom.xml maven
deployment/feature.carisma.uml2/pom.xml maven
deployment/feature.carisma.uml2.checks/pom.xml maven
deployment/feature.carisma.uml2.evolution/pom.xml maven
deployment/feature.carisma.uml2.evolution.checks/pom.xml maven
deployment/feature.carisma.uml2.ids.checks/pom.xml maven
plugins/carisma.check.activity2petrinet/pom.xml maven
plugins/carisma.check.activitypaths/pom.xml maven
plugins/carisma.check.bpmn2.dummy/pom.xml maven
plugins/carisma.check.bpmn2.marisk/pom.xml maven
plugins/carisma.check.bpmn2.ocl/pom.xml maven
plugins/carisma.check.dummy/pom.xml maven
plugins/carisma.check.idschecks/pom.xml maven
plugins/carisma.check.oclcheck/pom.xml maven
plugins/carisma.check.parametertest/pom.xml maven
plugins/carisma.check.rabac/pom.xml maven
plugins/carisma.check.requirescheck/pom.xml maven
plugins/carisma.check.sequencediagramcrypto/pom.xml maven
plugins/carisma.check.smartcard/pom.xml maven
plugins/carisma.check.smartcard.evolution/pom.xml maven
plugins/carisma.check.statemachinepaths/pom.xml maven
plugins/carisma.check.staticcheck/pom.xml maven
plugins/carisma.check.staticcheck.evolution/pom.xml maven
plugins/carisma.check.template/pom.xml maven
plugins/carisma.core/pom.xml maven
  • com.thoughtworks.xstream:xstream 1.4.20
plugins/carisma.evolution/pom.xml maven
plugins/carisma.evolution.uml2/pom.xml maven
plugins/carisma.evolution.uml2.umlchange/pom.xml maven
plugins/carisma.evolution.uml2.umlchange.ui/pom.xml maven
plugins/carisma.modeltype.bpmn2/pom.xml maven
plugins/carisma.modeltype.bpmn2.extended/pom.xml maven
plugins/carisma.modeltype.bpmn2.extension/pom.xml maven
plugins/carisma.modeltype.bpmn2.extension.edit/pom.xml maven
plugins/carisma.modeltype.bpmn2.extension.editor/pom.xml maven
plugins/carisma.modeltype.uml2/pom.xml maven
plugins/carisma.ocl/pom.xml maven
plugins/carisma.ocl.library/pom.xml maven
plugins/carisma.ocl.library.edit/pom.xml maven
plugins/carisma.ocl.library.editor/pom.xml maven
plugins/carisma.profile.umlchange/pom.xml maven
plugins/carisma.profile.umlsec/pom.xml maven
plugins/carisma.profile.umlsec.rabac/pom.xml maven
plugins/carisma.profile.umlsec.umlsec4ids/pom.xml maven
plugins/carisma.ui.console/pom.xml maven
plugins/carisma.ui.eclipse.descriptor/pom.xml maven
tests/carisma.check.ids.tests/pom.xml maven
plugins/carisma.ui.eclipse/pom.xml maven
  • org.apache.commons:commons-text 1.10.0
pom.xml maven
report-aggregate-module/pom.xml maven
  • carisma:carisma.check.bpmn2.marisk 1.0.1-SNAPSHOT
  • carisma:carisma.check.bpmn2.marisk.tests 1.0.0-SNAPSHOT
  • carisma:carisma.check.bpmn2.ocl 1.0.1-SNAPSHOT
  • carisma:carisma.check.bpmn2.ocl.tests 1.0.0-SNAPSHOT
  • carisma:carisma.check.dummy.tests 1.1.0-SNAPSHOT
  • carisma:carisma.check.oclcheck 1.0.3-SNAPSHOT
  • carisma:carisma.check.oclcheck.tests 1.0.2-SNAPSHOT
  • carisma:carisma.check.rabac.tests 1.0.0-SNAPSHOT
  • carisma:carisma.check.staticcheck 1.0.4-SNAPSHOT
  • carisma:carisma.check.staticcheck.tests 1.0.1-SNAPSHOT
  • carisma:carisma.core 1.4.3-SNAPSHOT
  • carisma:carisma.modeltype.bpmn2 1.0.0-SNAPSHOT
  • carisma:carisma.modeltype.bpmn2.extended 1.0.1-SNAPSHOT
  • carisma:carisma.modeltype.bpmn2.extended.tests 1.0.0-SNAPSHOT
  • carisma:carisma.modeltype.bpmn2.extension 1.0.1-SNAPSHOT
  • carisma:carisma.modeltype.bpmn2.tests 1.0.0-SNAPSHOT
  • carisma:carisma.modeltype.uml2 1.1.4-SNAPSHOT
  • carisma:carisma.modeltype.uml2.tests 1.1.1-SNAPSHOT
  • carisma:carisma.ocl 1.0.2-SNAPSHOT
  • carisma:carisma.ocl.library 1.0.3-SNAPSHOT
  • carisma:carisma.profile.umlsec 1.0.6-SNAPSHOT
  • carisma:carisma.profile.umlsec.rabac 1.0.0-SNAPSHOT
  • carisma:carisma.profile.umlsec.tests 1.0.3-SNAPSHOT
tests/carisma.check.activity2petrinet.tests/pom.xml maven
tests/carisma.check.activitypaths.tests/pom.xml maven
tests/carisma.check.bpmn2.marisk.tests/pom.xml maven
tests/carisma.check.bpmn2.ocl.tests/pom.xml maven
tests/carisma.check.dummy.tests/pom.xml maven
tests/carisma.check.oclcheck.tests/pom.xml maven
tests/carisma.check.rabac.tests/pom.xml maven
tests/carisma.check.requirescheck.tests/pom.xml maven
tests/carisma.check.sequencediagrammcrypto.test/pom.xml maven
tests/carisma.check.smartcard.evolution.tests/pom.xml maven
tests/carisma.check.smartcard.tests/pom.xml maven
tests/carisma.check.staticcheck.evolution.tests/pom.xml maven
tests/carisma.check.staticcheck.tests/pom.xml maven
tests/carisma.core.tests/pom.xml maven
tests/carisma.evolution.tests/pom.xml maven
tests/carisma.evolution.uml2.tests/pom.xml maven
tests/carisma.evolution.uml2.umlchange.tests/pom.xml maven
tests/carisma.modeltype.bpmn2.extended.tests/pom.xml maven
tests/carisma.modeltype.bpmn2.tests/pom.xml maven
tests/carisma.modeltype.uml2.tests/pom.xml maven
tests/carisma.profile.umlchange.tests/pom.xml maven
tests/carisma.profile.umlsec.tests/pom.xml maven
tests/carisma.tests.modelutils.uml/pom.xml maven
tests/carisma.umlchange.efficiency.tests/pom.xml maven
.github/workflows/updatesite.yml actions
  • actions/checkout v4 composite
  • actions/configure-pages v5 composite
  • actions/deploy-pages v4 composite
  • actions/setup-java v4 composite
  • actions/upload-pages-artifact v3 composite