pntd.labeling.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 labelings.
        
        File name: labeling.rng
        Version: 2015
        (c) 2015
        Adrian Lange
        IIG Telematics
        University of Freiburg
        Germany
    

    
        Labeling of an IF-Net containing token labels, clearances and classifications.
        Can be used with any IF-Net with the same transition identifiers, token colors and subjects.
        Doesn't contain any graphical information.
        
            T. Stocker, F. Böhr: IF-Net: A Meta-model for Security-oriented Process Specification. University of Freiburg. 2013.
        
    

    
        
    

    
        
            
                A labeling 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 labeling type (labelingtype.uri) of a labeling should be redefined in the grammar for new labeling types. The following value is a default.
        
        
            http://ifnml.process-security.de/grammar/v1.0/labeling 
        
    

    
        
            The parent element for the transition classifications.
        
        
            
                
            
        
    

    
        
            The element for the activity classification.
        
        
            
                
                    
                
                
            
        
    

    
        
            The parent element for the token labels.
        
        
            
                
            
        
    

    
        
            The element for the token label.
        
        
            
               
                   
               
                
            
        
    

    
        
            The parent element for the subject clearances.
        
        
            
                
            
        
    

    
        
            The element for the subject clearance.
        
        
            
                
                    
                
                
            
        
    

    
        
            A security domain label, represented as an enum value with the choice between "low" and "high".
            Its sub-elements occur in any order.
        
        
            
        
    

    
        
            The analysis context definition.
        
        
            
        
    

    
        
            The default security level definition.
        
        
            
        
    

    
        
            Security level definition.
        
        
            low
            high