SEPIA | Security-oriented PN Framework | Application Framework library

by iig-uni-freiburg Java Version: 1.0.2 License: BSD-3-Clause

X-Ray Key Features Code Snippets Community Discussions(1)Vulnerabilities Install Support

kandi X-RAY | SEPIA Summary

SEPIA is a Java library typically used in Server, Application Framework, Framework applications. SEPIA has no bugs, it has no vulnerabilities, it has build file available, it has a Permissive License and it has low support. You can download it from GitHub, Maven.

SEPIA stands for "Security-oriented Petri Net Framework" and provides implementations for various types of Petri nets. Along Place/Transition-Nets, it supports Petri nets with distinguishable token colors. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modelling, which enable users to assign security-levels (high, low) to transitions, data elements and persons/agents participating in the process execution. For the usage in editors, Petri nets can be put in graphical containers, which hold visualization information. To preserve compatibility, Petri nets from other frameworks can be imported with the parser functionalities and also be exported for other frameworks using the serializing functionalities. Additionally, the framework comes with classes for the traversal of Petri nets.

Support

Quality

Security

License

Reuse

Support

SEPIA has a low active ecosystem.

It has 2 star(s) with 4 fork(s). There are 3 watchers for this library.

It had no major release in the last 12 months.

SEPIA has no issues reported. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of SEPIA is 1.0.2

Quality

SEPIA has no bugs reported.

Security

SEPIA has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

SEPIA is licensed under the BSD-3-Clause License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

SEPIA releases are available to install and integrate.

Deployable package is available in Maven.

Build file is available. You can build the component from source.

Installation instructions are not available. Examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi has reviewed SEPIA and discovered the below as its top functions. This is intended to give you an instant insight into SEPIA implemented functionality, and help decide if they suit your requirements.

Performs a CWN setup
Perform the CWN properties
Checks if the node is valid
Checks if the string is strong connectedness of the network
Invokes the WF - net routine
Checks if the given place is valid
This method is called when creating a new graph
Invoke the WF net
Returns a string representation of the position
Check that the transition is valid
Sets the initial marking of the net
Returns a string representation of this object
Runs a workflow cycle
Reads all the arcs and adds them to the external network
Append the transition type information
Reads all transitions
Reads a list of known places
Creates a new PTNet
Reads all arcs defined in the XML
Create an ORFrag for the given alternatives
Builds a marking graph
Reads all known places
Creates a ptNet for a producer consumer
Adds the resource context header
Creates a ptNet from the given processes
This method initializes the input panel

Get all kandi verified functions for this library.

SEPIA Key Features

No Key Features are available at this moment for SEPIA.

SEPIA Examples and Code Snippets

No Code Snippets are available at this moment for SEPIA.

Community Discussions

Trending Discussions on Application Framework

What is meant by required-api: param name=”#target” in config.xml file of AGL widgets?

QUESTION

What is meant by required-api: param name=”#target” in config.xml file of AGL widgets?

Asked 2020-Mar-06 at 09:53

I am trying to understand various available AGL specific options that we can give in config.xml and I am referring to the link below

https://docs.automotivelinux.org/docs/en/halibut/apis_services/reference/af-main/2.2-config.xml.html

This is the sample config.xml file

...

ANSWER

Answered 2020-Mar-06 at 09:48

I figured out why we need this

required-api: param name="#target"

OPTIONAL(not compulsory)

It declares the name of the unit(in question it is main) requiring the listed apis. Only one instance of the param “#target” is allowed. When there is not instance of this param, it behave as if the target main was specified.

Source https://stackoverflow.com/questions/60561230

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install SEPIA

You can download it from GitHub, Maven.
You can use SEPIA like any standard Java library. Please include the the jar files in your classpath. You can also use any IDE and you can run and debug the SEPIA component as you would do with any other Java program. Best practice is to use a build tool that supports dependency management such as Maven or Gradle. For Maven installation, please refer maven.apache.org. For Gradle installation, please refer gradle.org .

Support

A detailled documentation of SEPIA can be found under [http://doku.telematik.uni-freiburg.de/sepia](http://doku.telematik.uni-freiburg.de/sepia "http://doku.telematik.uni-freiburg.de/sepia").

Find more information at: