«localPrecondition»                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    
                                                                                                                                                                           Diese Vorbedingung muss                                                                                                                                                                                                                                                                                                                                 vor                                                              
                                                                                                                                                                           Ausführung dieser Aktion erfüllt sein                                                                                                                                                                                                                                                                                                                                                                                    
                     Schritt 1                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                           «localPostcondition»                                                                                                                                                                                                                                                                                                                                                                                                     
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    
                                                                                                                                                                           Diese Nachbedingung muss                                                                                                                                                                                                                                                                                                                                                                                             nach
                                                                                                                                                                           Ausführung dieser Aktion erfüllt sein