SlideShare ist ein Scribd-Unternehmen logo
1 von 29
!"#$%&%"'(#')"%*
               %&*+,"-%".(#')"%*


                 !"#$%&'()*+,,&-,.&/+0%1#,&2($3
             4567&899:&▪&71-11;+01&▪&8<&=>0?&899:
              !""#$%%&'()*+',"'+!-./.012.(0




UNIVERSITÄT ROSTOCK
!"#$%#&$'(")%
@ ;$(A+$#&7B#?"CD+1"(,&E(,&/.*"'#)*%0.&1"'2#$*".F
  ! 2#0&",1#0+;"#01&*"1&G#$H)#0&!+H)0"H)1&G+,,&*"1&G#*I
  ! =#,;#&E(,&#0$+-A1#,&J,1#0+D1"(,%%#K-#,?#,

         Gast    Wirt   Wirt       Gast      Wirt   Gast
         Bestellung            Bier          Rechnung

                Gast    Wirt      Wirt      Gast
                Bestellung            Freibier


@ G#"1#0#&L%B#D1#F&!+H)0"H)1#,*(.#$$M&5,.?-%1>,.#
@ ,"H)1F&",1#0,#%&N#0)+$1#,M&N#0?G#";-,;#,                 8
*%'+),)%$-'$.%)/
@ /+,,&P)(0#(;0+B)"#&"*B$#*#,1"#01&G#0.#,I




                                             O
*%'+),)%$-'$.%)/
@ /+,,&P)(0#(;0+B)"#&"*B$#*#,1"#01&G#0.#,I

               Gast                            Wirt
               sende                         empfange
          Bestellung                     Bestellung



    empfange                         sende
     Bier                            Bier
                       empfange                         sende

    empfange           Freibier      sende            Freibier
   Rechnung                        Rechnung




                                                                 O
*%'+),)%$-'$.%)/
@ /+,,&P)(0#(;0+B)"#&"*B$#*#,1"#01&G#0.#,I

               Gast                            Wirt
               sende                         empfange
          Bestellung                     Bestellung



    empfange                         sende
     Bier                            Bier
                       empfange                         sende

    empfange           Freibier      sende            Freibier
   Rechnung                        Rechnung




                                                                 O
*%'+),)%$-'$.%)/
@ /+,,&P)(0#(;0+B)"#&"*B$#*#,1"#01&G#0.#,I

               Gast                                                          Wirt
               sende                                                       empfange
          Bestellung                                                     Bestellung



    empfange                                                       sende
     Bier                                                          Bier
                       empfange                                                       sende

    empfange           Freibier                                    sende            Freibier
   Rechnung                                                      Rechnung



                                  Gast   Wirt   Wirt      Gast    Wirt     Gast
                                  Bestellung           Bier       Rechnung




                                                                                               O
*%'+),)%$-'$.%)/
@ /+,,&P)(0#(;0+B)"#&"*B$#*#,1"#01&G#0.#,I

               Gast                                                          Wirt
               sende                                                       empfange
          Bestellung                                                     Bestellung



    empfange                                                       sende
     Bier                                                          Bier
                       empfange                                                       sende

    empfange           Freibier                                    sende            Freibier
   Rechnung                                                      Rechnung




                                                                           !
                                  Gast   Wirt   Wirt      Gast    Wirt     Gast
                                  Bestellung           Bier       Rechnung

                                  Gast   Wirt   Wirt      Gast
                                  Bestellung      Freibier
                                                                                               O
0%#-'1"/%$
@ A#-01#"$1&J,1#0+D1"(,%%#K-#,?#,&+,)+,.&P)(0#(;0+B)"#

               Gast                              Wirt
               sende                           empfange
          Bestellung                       Bestellung



    empfange                           sende
     Bier                              Bier
                       empfange                           sende

    empfange           Freibier        sende            Freibier
   Rechnung                          Rechnung




                                                                   Q
0%#-'1"/%$
@ A#-01#"$1&J,1#0+D1"(,%%#K-#,?#,&+,)+,.&P)(0#(;0+B)"#

               Gast               Beobachter               Wirt
               sende                                     empfange
          Bestellung                                 Bestellung



    empfange                                     sende
     Bier                                        Bier
                       empfange                                     sende

    empfange           Freibier                  sende            Freibier
   Rechnung                                    Rechnung




                                                                             Q
0%#-'1"/%$
@ A#-01#"$1&J,1#0+D1"(,%%#K-#,?#,&+,)+,.&P)(0#(;0+B)"#

               Gast                Beobachter               Wirt
               sende                                      empfange
          Bestellung                                  Bestellung



    empfange                                      sende
     Bier                                         Bier
                       empfange                                      sende

    empfange           Freibier                   sende            Freibier
   Rechnung                                     Rechnung




                                  ! "                                         Q
0%#-'1"/%$2345/%$5'
@ 10+,%3(0*"#0#&P)(0#(;0+B)"#&",
  -"*"'3%.%&*%&42".+".-$%42".+56*03#*".
  Gast   Wirt   Wirt      Gast   Wirt   Gast   Gast   Wirt   Wirt    Gast
  Bestellung           Bier      Rechnung      Bestellung      Freibier




                                                                            R
0%#-'1"/%$2345/%$5'
@ 10+,%3(0*"#0#&P)(0#(;0+B)"#&",
  -"*"'3%.%&*%&42".+".-$%42".+56*03#*".
  Gast   Wirt    Wirt      Gast   Wirt   Gast   Gast   Wirt   Wirt    Gast
  Bestellung            Bier      Rechnung      Bestellung      Freibier




                Bestellung

                   Bier
 Freibier
                   Rechnung

                                                                             R
0%#-'1"/%$2345/%$5'
@ 10+,%3(0*"#0#&P)(0#(;0+B)"#&",
  -"*"'3%.%&*%&42".+".-$%42".+56*03#*".
  Gast   Wirt    Wirt      Gast   Wirt   Gast       Gast       Wirt   Wirt    Gast
  Bestellung            Bier      Rechnung          Bestellung          Freibier




                Bestellung                                              Be




                                                          ,R
                                                        ,F
                                                      Bi
                   Bier                                    B e,R             Bi
                                                           Be,F,Bi F
 Freibier                                       *
                   Rechnung                                                  R
                                                           *
                                                                                     R
0%#-'1"/%$67%$8)1%
@ >,.#0#&T#0%B#D1"E#F&U#(A+H)1#0&"%1&#",&7#0E"H#




@ U#(A+H)1#0V7#0E"H#&0'42"&*'%"'*+."#&W#"$,#)*#0   S
0%#-'1"/%$67%$8)1%
@ >,.#0#&T#0%B#D1"E#F&U#(A+H)1#0&"%1&#",&7#0E"H#
                              Beobachter


             Bestellung                              Bestellung
                                           Be



                                 ,R
                               ,F
                Bier                                    Bier

                              Bi
      Gast




                                                                  Wirt
                                B e,R           Bi
              Freibier         Be,F,Bi F               Freibier
                          *
             Rechnung                           R    Rechnung
                                *



@ U#(A+H)1#0V7#0E"H#&0'42"&*'%"'*+."#&W#"$,#)*#0                         S
0%9)%5-'$.%)/
@ 5Y"%1#,?&E(,&D(*B+1"A$#,&T+01,#0V7#0E"H#%
                             Beobachter


            Bestellung                              Bestellung
                                          Be



                                ,R
                              ,F
               Bier                                    Bier

                             Bi
     Gast




                                                                 Wirt
                               B e,R           Bi
             Freibier         Be,F,Bi F               Freibier
                         *
            Rechnung                           R    Rechnung
                               *



                                                                        X
0%9)%5-'$.%)/
@ 5Y"%1#,?&E(,&D(*B+1"A$#,&T+01,#0V7#0E"H#%
                             Beobachter


            Bestellung                              Bestellung
                                          Be



                                ,R
                              ,F
               Bier                                    Bier

                             Bi
     Gast




                                                                 Wirt
                               B e,R           Bi
             Freibier         Be,F,Bi F               Freibier




  !
                         *




                                                              !
            Rechnung                           R    Rechnung
                               *



                                                                        X
*%'+),)%$-'$.%)/3),/30%9)%5-'$.%)/

    P)(0#(;0+B)"#&0#+$"%"#0A+0:M&3+$$%&U#(A+H)1#0&A#."#,A+0



:!"#$!%$&'!(&)*'+'&$,)$-&'.+/0&1$'2&3

 45 67**+.89%'1&!(&)*'+'&$,)$-&'.!:"#$%&'()&*('()+;
 <5 6&$.&'*.&!(&)*'+'&$,)$-&'.
 =5 .&'*>&'+&!(&)*'+'&$,)$-&'.!:?!',-&'#%./,$-&*('(0+;


                                                              Z
;%$/%)+/%3*%'+),)%$-'$.%)/
@ A&$B)*.&9!%)$"!679!!"#$"$"%&C&$6'D&/EFG&*9!
  'HG*&H&9.'&$.!>&$%&9




                                                :
;%$/%)+/%3*%'+),)%$-'$.%)/
@ A&$B)*.&9!%)$"!679!!"#$"$"%&C&$6'D&/EFG&*9!
  'HG*&H&9.'&$.!>&$%&9

 Gast2   Wirt   Wirt     Gast2   Wirt   Gast2   Wirt    Gast
 Lokalrunde            Bier      Rechnung         Freibier




                                                               :
;%$/%)+/%3*%'+),)%$-'$.%)/
@ A&$B)*.&9!%)$"!679!!"#$"$"%&C&$6'D&/EFG&*9!
  'HG*&H&9.'&$.!>&$%&9

 Gast2         Wirt         Wirt     Gast2         Wirt   Gast2   Wirt    Gast
 Lokalrunde                        Bier            Rechnung         Freibier
               Implementierung 1
               Gast                       Gast 2
               sende
          Bestellung



    empfange
     Bier
                       empfange

    empfange           Freibier
   Rechnung                                                                      :
;%$/%)+/%3*%'+),)%$-'$.%)/
@ A&$B)*.&9!%)$"!679!!"#$"$"%&C&$6'D&/EFG&*9!
  'HG*&H&9.'&$.!>&$%&9

 Gast2         Wirt         Wirt     Gast2         Wirt   Gast2        Wirt          Gast
 Lokalrunde                        Bier            Rechnung              Freibier
               Implementierung 1                            Implementierung 2
               Gast                       Gast 2             Gast               Gast 2
               sende                                        empfange            sende
          Bestellung                                       Freibier       Lokalrunde

                                                                               empfange
                                                                                Bier
    empfange
     Bier                                                                      empfange
                       empfange
                                                                              Rechnung
    empfange           Freibier
   Rechnung                                                                                 :
;%$/%)+/%3*%'+),)%$-'$.%)/
@ $&'B.!+'DB!'9!I'&$)$DB'&!&'93     vollständig
  &DB.!J>'+DB&9!67**+.89%'1&$         verteilt

  F9%!.&'*>&'+&$!(&)*'+'&$,)$-&'.    teilweise




                                                  [9
;%$/%)+/%3*%'+),)%$-'$.%)/
@ $&'B.!+'DB!'9!I'&$)$DB'&!&'93                                                      vollständig
  &DB.!J>'+DB&9!67**+.89%'1&$                                                          verteilt

  F9%!.&'*>&'+&$!(&)*'+'&$,)$-&'.                                                     teilweise




@ K*17$'.BHF+!1',.!'()*%+,"(%-+$!).(+%"%3
  ! LM7-)*$F9%&L!F9%!L0&+.&**F91L!+'9%!9'DB.!
    F9),B891'1
   Gast   Wirt       Wirt          Gast       Wirt      Gast              Gast      Wirt      Wirt    Gast
   Bestellung               Bier              Rechnung                    Bestellung            Freibier

             Gast2          Wirt      Wirt      Gast2      Wirt   Gast2      Wirt      Gast
            Lokalrunde                       Bier          Rechnung              Freibier
                                                                                                             [9
<,=51"$#5%3>#??@5).'/)#5
@ 6&$"&'9&$&!).7H)$&9!N)DB$'DB.&9)F+.)F+DB3



           Bestellung

              Bier
Freibier
              Rechnung



@ $&+.*'DB&$!K*17$'.BHF+!F96&$89%&$.
@ A7$)F++&.JF913!/",0#$1%2."&OF2&$            [[
<,=51"$#5%3>#??@5).'/)#5
@ 6&$"&'9&$&!).7H)$&9!N)DB$'DB.&9)F+.)F+DB3



           Bestellung

              Bier
Freibier
              Rechnung



@ $&+.*'DB&$!K*17$'.BHF+!F96&$89%&$.
@ A7$)F++&.JF913!/",0#$1%2."&OF2&$            [[
<,=51"$#5%3>#??@5).'/)#5
@ 6&$"&'9&$&!).7H)$&9!N)DB$'DB.&9)F+.)F+DB3

                                    Bestellung
           Bestellung
                                       Bier
              Bier
Freibier                 Freibier         !Rechnung
              Rechnung
                                      ?Rechnung

@ $&+.*'DB&$!K*17$'.BHF+!F96&$89%&$.
@ A7$)F++&.JF913!/",0#$1%2."&OF2&$                    [[
A'B)/
@ #+$"%"#0A+0D#"1&]5";#,%H)+31&E(,&P)(0#(;0+B)"#,^&-,.&
  U#."#,A+0D#"1&]5";#,%H)+31&E(,&_0H)#%10"#0-,;^&%",.&&"2'+
  ".7+E#0G+,.1
@ ,#-#0&U#;0"`F&1"'*"%$*"+!"#$%&%"'(#')"%*
8 "%.2"%*$%42"&L$;(0"1)*#,&-,.&a#0+,;#)#,%G#"%#,
@ b#C,"1"(,&cA#0&9"3#.*%)M&,"H)1&cA#0&b#D(*B(%"1"(,

<@,-+)1.
8 :03(%.#*%0.++-%&1.0%$&-0(,.#2,3%'4&-,.
  1.0%$-,..%-0%3#2,3%'4

                                                         [8
A'B)/
@ #+$"%"#0A+0D#"1&]5";#,%H)+31&E(,&P)(0#(;0+B)"#,^&-,.&
  U#."#,A+0D#"1&]5";#,%H)+31&E(,&_0H)#%10"#0-,;^&%",.&&"2'+
  ".7+E#0G+,.1
@ ,#-#0&U#;0"`F&1"'*"%$*"+!"#$%&%"'(#')"%*
8 "%.2"%*$%42"&L$;(0"1)*#,&-,.&a#0+,;#)#,%G#"%#,
@ b#C,"1"(,&cA#0&9"3#.*%)M&,"H)1&cA#0&b#D(*B(%"1"(,

<@,-+)1.
8 :03(%.#*%0.++-%&1.0%$&-0(,.#2,3%'4&-,.
  1.0%$-,..%-0%3#2,3%'4          Danke   sehr!
                                Gibt es fragen?
                                                         [8

Weitere ähnliche Inhalte

Andere mochten auch

Andere mochten auch (16)

exposicion grupo 3
exposicion grupo 3exposicion grupo 3
exposicion grupo 3
 
Ihre zukunft
Ihre zukunftIhre zukunft
Ihre zukunft
 
Community Management Blaupause
Community Management BlaupauseCommunity Management Blaupause
Community Management Blaupause
 
Maestria en gestion de la tecnologia educativa
Maestria en gestion de la tecnologia educativaMaestria en gestion de la tecnologia educativa
Maestria en gestion de la tecnologia educativa
 
VILLA_DOVERPARK
VILLA_DOVERPARKVILLA_DOVERPARK
VILLA_DOVERPARK
 
Explizite Zustandsraumanalyse
Explizite ZustandsraumanalyseExplizite Zustandsraumanalyse
Explizite Zustandsraumanalyse
 
Tutorial de-slideshare-3744
Tutorial de-slideshare-3744Tutorial de-slideshare-3744
Tutorial de-slideshare-3744
 
Gifs
GifsGifs
Gifs
 
Aspectos teóricos e instrumentales en la identificación del alumnado superdot...
Aspectos teóricos e instrumentales en la identificación del alumnado superdot...Aspectos teóricos e instrumentales en la identificación del alumnado superdot...
Aspectos teóricos e instrumentales en la identificación del alumnado superdot...
 
Perú encifras del 90
Perú encifras del 90Perú encifras del 90
Perú encifras del 90
 
Usergroup02 Berlin IE8
Usergroup02 Berlin IE8Usergroup02 Berlin IE8
Usergroup02 Berlin IE8
 
Diseño de proyectos
Diseño de proyectosDiseño de proyectos
Diseño de proyectos
 
One
OneOne
One
 
Ftq 4º eso trabajo verano curso 2012
Ftq 4º eso trabajo verano  curso 2012Ftq 4º eso trabajo verano  curso 2012
Ftq 4º eso trabajo verano curso 2012
 
Das leben
Das lebenDas leben
Das leben
 
Proyecto Final - Batista_Diaz
Proyecto Final - Batista_DiazProyecto Final - Batista_Diaz
Proyecto Final - Batista_Diaz
 

Mehr von Universität Rostock

Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementationsPragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementationsUniversität Rostock
 
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process modelsWhere did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process modelsUniversität Rostock
 
Decidability Results for Choreography Realization
Decidability Results for Choreography RealizationDecidability Results for Choreography Realization
Decidability Results for Choreography RealizationUniversität Rostock
 
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMNArtifact-centric modeling using BPMN
Artifact-centric modeling using BPMNUniversität Rostock
 
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business ProcessesCompliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business ProcessesUniversität Rostock
 
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 ImplementationVerification with LoLA: 7 Implementation
Verification with LoLA: 7 ImplementationUniversität Rostock
 
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLAVerification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLAUniversität Rostock
 
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case StudiesVerification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case StudiesUniversität Rostock
 
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLAVerification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLAUniversität Rostock
 
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space ReductionVerification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space ReductionUniversität Rostock
 
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input LanguageVerification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input LanguageUniversität Rostock
 
Internal Behavior Reduction for Services
Internal Behavior Reduction for ServicesInternal Behavior Reduction for Services
Internal Behavior Reduction for ServicesUniversität Rostock
 
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial SymposiumKarsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial SymposiumUniversität Rostock
 
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDAImplementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDAUniversität Rostock
 
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...Universität Rostock
 
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and FionaDemonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and FionaUniversität Rostock
 

Mehr von Universität Rostock (20)

Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementationsPragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementations
 
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process modelsWhere did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process models
 
Decidability Results for Choreography Realization
Decidability Results for Choreography RealizationDecidability Results for Choreography Realization
Decidability Results for Choreography Realization
 
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMNArtifact-centric modeling using BPMN
Artifact-centric modeling using BPMN
 
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business ProcessesCompliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business Processes
 
Verification with LoLA
Verification with LoLAVerification with LoLA
Verification with LoLA
 
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 ImplementationVerification with LoLA: 7 Implementation
Verification with LoLA: 7 Implementation
 
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLAVerification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
 
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case StudiesVerification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case Studies
 
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLAVerification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLA
 
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space ReductionVerification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space Reduction
 
Verification with LoLA: 1 Basics
Verification with LoLA: 1 BasicsVerification with LoLA: 1 Basics
Verification with LoLA: 1 Basics
 
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input LanguageVerification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input Language
 
Saarbruecken
SaarbrueckenSaarbruecken
Saarbruecken
 
Ws4 dsec talk @ Kickoff RS3
Ws4 dsec talk @ Kickoff RS3Ws4 dsec talk @ Kickoff RS3
Ws4 dsec talk @ Kickoff RS3
 
Internal Behavior Reduction for Services
Internal Behavior Reduction for ServicesInternal Behavior Reduction for Services
Internal Behavior Reduction for Services
 
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial SymposiumKarsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial Symposium
 
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDAImplementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDA
 
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
 
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and FionaDemonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and Fiona
 

Realisierbarkeit ist Bedienbarkeit