pntd.analysiscontext.rng Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of SEPIA Show documentation

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution.

The newest version!





    
        RELAX NG implementation for IF-Net analysis contexts.
        
        File name: analysiscontext.rng
        Version: 2015
        (c) 2015
        Adrian Lange
        IIG Telematics
        University of Freiburg
        Germany
    

    
        Analysis context of an IF-Net containing subject descriptors.
        
            T. Stocker, F. Böhr: IF-Net: A Meta-model for Security-oriented Process Specification. University of Freiburg. 2013.
        
    

    
        
    

    
        
            
                A analysis context document consists of classifications for transitions, labels for colors, clearances for subjects and a cross-reference of subjects and activities.
            
            
            
            
                
                
            
        
    

    
        
            Identifier (id) declaration shared by all objects in any PNML model.
            The ID data type is a SGML basic type and must follow some specifications (see http://www.w3.org/TR/html4/types.html#h-6.2).
        
        
            
        
    

    
        
            The analysis context type (analysiscontexttype.uri) of a analysis context should be redefined in the grammar for a new analysis context type. The following value is a default.
        
        
            http://ifnml.process-security.de/grammar/v1.0/analysiscontext 
        
    

    
        
            The parent element of the cross-reference of activities and their subject.
        
        
            
                
            
        
    

    
        
            A single cross-reference of activities and their subject.
        
        
            
                
                    
                
                
                    
                
            
        
    

    
        
            The access control model definition.