)1 $ & " "#!$ .$! A B C D E F /+$! $ D#$&EF & $1 2 &>&1 1* & 1+& &+& 31 ++& 3 && 4 4 && :**! 4 / ;3<# 0 &&&*& #&2 4 =+8& 3 4 &+ 4 & $ 3 "7!

Transkript

1 ( 9 & " #!$! ) % #!$ &*$&&+ #& #& ((,&$ - && :**! /2+ =+8& &+ & $ "7!.$! ' #$ &+ $&#& #& #!$" &*$&&+ Rahmen A B C D Anforderungen Architektur Formale Methoden Test, Validation, Verifikation Methodischer Entwurf Systemarchitektur Middleware 0 #!$" &*$&&+ #$ &+ $ # *&* $!$ & >&1& $ #*&!&* $1 & 2$ 1 1 2$ $&$ $ & #$&& * &&,& * 2$ *$ >&1 2$ E F Prozeß Web-Engineering Muster & Komponenten Formale Architektur- Beschreibungssprachen * &*& $&<$*&>&1,*$ $, * 0 &?&$&$ ; 1!1& $ $ * 1 &!$&& * B /+$! $ 0 #$ &+ $& 1 + 2$ &*$ "$!$ $!$ 0! 1 1 $&$ & $ & & )1 $ $ 1 &$ ) & ** 7!11 *!,&$ 2$ 1! 0 & * $ &&&*& #&82 #!$" 2$ $&$ &$ &8 $ &1 1* - $% - & & "#!$C D#$&EF & $1 2 &>&1 1* & 1+& &+& 1 ++& && $G 7 #$ -!.$+ (9H( 0 #&+! *&& *% *&! >&1&$!$ $ "1 $!$&+2+ *2 >&1 2! D=G 0 I * *$ / $ 7&$!$ $ D!G &*& #! 0 & & * & &! & "#!$ #!$*$J *$J $& 1!1& 1 &11 1

2 H ( &+ #!$*&*$&&+ # &+$ * &1 &?1 &1 $& #=# (K@B & 2 #"/2+%! Damit Konnektoren nur zueinander passende Ports verbinden, müssen ihre Enden getypt sein. - (KKH # L =+ (KKB $!1 & * KB /1 LL<π"/! M L<; =NN * K' L"L " * KH 2 $ ;<#! ;"L #"#&2 (( #"/2+%!!! > *&! > </2+ 1 1! O /&&11 O 7!&1 1 O P$&&$1 O #!8&11 O ) $& Q # #&82 2$,$ #L $& $% I2$?1&1 & & &, $ I*8$! $&"!! I L LL<#L! 0 & D)>+G & & & /!"& J! 0! *&* $ Q $& $, *2 & 0 & 1! 2 $ 2 7& $ P$&&$1 &+22 0 & P$&1 1 &+ &! J! K ( #"/2+ :**! #"/2+%! L$ L FunTours.RS Reisesystem Individualreise Einkauf L1 +< Ein Konnektor verbindet Rollen. Wie beschreibe ich die Interaktion der Rollen? Pauschalreise Reisebüro Gruppenreise In-/Exkasso Produktdef. CRM Reiseveranstalter Partner Ebene: 1 Phase: Architektur-Entwurf Autor: HS Version: 0.1 Sicht: Struktur/Schnittstellen L1 +$ 7&$ 2

3 ( && :**! /2+ =+8& &+ & $ "7! (B - "/! 1+ + connector pipe = port pclnt = in!x --> source port psrv = out?y --> sink glue = pclnt.in?x --> psrv.out!x --> glue 1+ L< connector C-S-connector = role Client = (request!x --> result?y --> Client) z role Server = (invoke?v --> return!w --> Server) z glue = (Client.request?x --> Server.invoke!x --> Server.return?y --> Client.result!y --> glue) (9 $& &+ (H Client 1 2 P c P s Server && :**! /2+ P c P s request waiting reply busy snd(put) rcv(get) rcv(reply) snd(request) waiting snd(reply) rcv(request) rcv(get) snd(put) busy =+8& &+ & $ "7! (' (@ - " &+ ;<# " $&*&+ System CSExample component Server = port provide = [ provide protocol] computation = [ some computation ] component Client = port request = [ request protocol] computation = [ some computation ] connector C-S-connector = role client = [ client protocol] role server = [ server protocol ] glue = [ glue protocol] 7&2,*$ s: Server s.provide as cs.server c: Client c.request as cs.client cs: C-S-connector System Client Pc Server Ps Pl p Logger q

4 ne 1 Phase: Architektur-Entwu Autor: Version: Sicht: Struktur/Schnittstellen (K ;#"/1+ $ "! ;#"/$ simple component Client { port Pc { provided {void request(); required {void send(long time, String message); protocol <! behaviour { states { initial Initial; simple PreC; simple IdleC; simple WorkingC; transitions { Initial -> PreC; PreC -> WorkingC {trigger request; WorkingC -> IdleC {effect ^b.send(); IdleC -> WorkingC {trigger request;!> void request() implements Pc.request() { Pc.send(System.currentTimeMillis(), " Message "); composite component Example { configuration { component System s = new System(); component Logger logger = new Logger(); connector Connector con = new Connector(); con.connect(s.p, logger.q) { send(string) -> receivemessage(string) ; void start() { s.start(); ;#"/1+ $ "! simple component Server { port Ps { provided { void receive(string message, long time); required { void request(); protocol <!...!> port Pl { required { void sendmessage(string x); void receive(string message, long time) implements Ps.receive(String, long) { try { Thread.sleep(00); catch (InterruptedException e) { Pl.sendMessage(message + ": " + time); Ps.request(); && :**! /2+ =+8& &+ & $ "7! void start() {Ps.request(); ( ;#"/$ ( - &&&*& #&2 9 composite component System { port P { required { void send(string s); configuration { component Server s = new Server(); component Client c = new Client(); connector Connector cs = new Connector(); cs.connect(server.ps, Client.Pc) { send(long, String) -> receive(string, long) [2,1] ; FunTours.RS Reisesystem IndiR Eink PauschR PDF Reisebüro GRS Reiseveranst. CRM InEx Partner Expertenwissen Schlußfolgerungen Ableitungen connector Connector cs2 = new Connector(); cs2.connect(server.ps, this.p) { sendmessage(string) -> send(string) ; Modell Wissensbasis Regeln void start() { b.start();

5 ne 1 Phase: Architektur-Entwu Autor: Version: Sicht: Struktur/Schnittstellen - &&&*& #&2 &+ FunTours.RS Reisesystem IndiR Eink PauschR PDF Reisebüro GRS Reiseveranst. CRM InEx Partner Wissensbasis Modell el id name type attrs super Id: atom (int) name: atom type: atom attrs: predicate list super: id list 0 DPG 1 DUG $ 1, 1 P$&&$1 1 ' 1 el(, y, port, [in_sig(), out_sig(), behavior()],..). 0 el(9, _, role, [in_sig(), out_sig(), behavior()],..). el(, y, port, [role(9)], []). 0 P$&&$1 DVG 1 #&2$& H el(, q, sm, [states([7,..]), transitions([8,..])],..). 0 el(7, gebucht, state, [initial(true)],[]). transition(8, _, tr, [from(7), to(), trigger(), action()], []). B 1& &$ "1 -&&&*&& $& &+ K 0 1 & & $ el(id, name, typ, attrs, super). Client 1 2 P c P s Server 0? id 1 $ 7 2 * name 1 8 I1 type 1 8 I1!&& attrs +& Q #*$ 8! 1 & - P c P s request waiting reply busy snd(put) rcv(get) rcv(reply) snd(request) snd(reply) rcv(request) rcv(get) snd(put) super &,& $ 7&2! N*!&& waiting busy H &+ ( "7! 0 D7!&&G && &% el(1, inexkasso, part, [], []). 0 DRG 1 "<#$&* <#$&*" S*T $ ST el(2, x, port, [in_sig([a,b,c]), out_sig([d,e,f])], []). 0 DUG 1 $1! "<#$&* <#$&*" DRG el(, y, port, [in_sig([d,e,f]), out_sig([a,b,c])], []). 0.* 7! ( & 0, L& 1!1 + N+ :*&&" ! &! * 11 1! el(, _, interface, [methods ([d,e,f])], []). el(, _, interface, [methods ([a,b,c])], []). el(, y, port, [in_sig(), out_sig()], []).

6 ( "7!!! $ *&! > 7 & *&+ %#%#%#%# % 7?1 1 2 *> *> 7N+ 7N+ 7 && L*1 * 8 N$ & 7! & - $8 #$&$! *W 9 $ ' 0 1& I % #++ #$ #&" -&> 0 % & #$!" "1 ( 0 =; #% #?1 #++ #$ L"L L"KH KH" (99 "^ - 0 &? =2$!,% #=#% #>&& 1$ $++ & L$ >&1& 7 ), &"( I?* (K@B ++ K"(( (( ' N+% & + + *! #$&*! $! L%?1 0 N+% EE & FF X EEFF EEFF EE FF X EEFF EEFF EE + FF X EEFF SεT EE + FF X EEFF Y EEFF EE *! FF X +& EEFF 0 &$! G&$ G &$Z% Z%Z% Y X Y X Y > X Y > > Y Rahmen A B C D E F Anforderungen Architektur Formale Methoden Test, Validation, Verifikation Prozeß Web-Engineering Methodischer Entwurf Systemarchitektur Middleware Muster & Komponenten Formale Architektur- Beschreibungssprachen B 7&"N+% $ 11 $ 11 P -$ *&*!$& ** G[Z EE + FF X EE + FF * EE + FF X SεT EE ++ FF \ EE FF[ X[ EE &]+ FF \ Ende