Z \ W Y X [ E F G H I G J K L I M F N M O H P Q F R F J S H TUTVR O R S M R F! "! #%$ & '! %$ ( ) * ' & $ ' +,$ -,* ) & $ '%'. * / & 0 1 ' * 0' * 3 4, +65 Participant knowledge Physical Perceived semantic Empirical 7 8 9 9 : ; <6= >? @ ; A B C D C Modeling domain Semantic Model externalization Syntactic Language extension Technical Synsem.ppt 1 Synsem.ppt ] ^ I F H M F Q J MVM O H P Q F R F _ ` S J K S a M = c > d d A < A d d : <6e f? 9 g c e : h e A < g? 9 > c c 6i? @ A ; d > h h A? @ A j g e > e : h A c e 9 A ;? ; A k ; A e A? 9 g e l :? 6m n : ; d g? h 9 e 9 ; A c c A ; e f? 9 g c e ; A h d A? A e A h o,p A c e 9 d > h A n e q @ > g h ; g < < g 9 > e c A e k ; r c %s A ; c 9 t f e 9 t 9 9 A 6u A 9 : @ A ; v : ; r j A @ ; A e f? 9 g c 9 > e c c n g d >9 A 9 w ' & / / 6-, / / -x$ ( ) * ' $, +6$ -,* ) & ' ' = A < g? 9 > c c A? h > ; e k ; r c 8 9 9 ; f c c A? 9 : d c? >? h y z { z y } ~ { } ~ ~ ~ = f? 9 g c e A? e > A ; n : ; @ g? h ; 8?? j A h ; A k A ; c g? c : < j >? A ; A e 9 > d e k ; r c 8 9 9 ; f c c z z y } ~ ~ { } ~ ~ ~ ƒ ~ ~ = f? 9 g c e A? j A h ; A? e A e > 9 q e A < g? 9 > c c 3 4 EI R S P Q G G R I RU H J Q JV` GUR M J F R S IUS R K S R J R I F H J ` I 6i? @ A ; d > h h A? @ A j g e > e j g e A ; A e k r e k ; r c @ A e > h? A ; A? e oppfatning av virkeligheten, kjennskap til rukernes virkelighetsoppfatning, og ønsker om formelle egenskaper 6ˆ c e 9 A ;? ; A k ; A e A? 9 g e l :? e f < j : d j ; 8 c språkdrakt, notasjon, kortformer, oksologi Š O ` S P H I G F J F S R M M R S J ^ I F H M J S R G P R I RVJ R G = f? 9 g c e A? j A h ; A? e A ; @ A e A < g? 9 > e c A v A > d A? A guttens alder er grønn: gutt.alder = grønn 6 : A? 9 f k A ; e A < g? 9 > e c A v A > d A ; n g? e c A d > h A r r? @ 9 A ; A n g q e f? 9 g c e ; A h d A ; while(true); all ut-porter må kunne trigges deontiske regler 5 6 1 1
Ž R M J F P Q G RVO J Q H G S H TUT H F Q J M RVJ K S a M %š œ ž Ÿ Ÿ%Ÿ sammensetning (funksjon estår av hode og kropp) sekvens (hode kommer før kropp) ª «ŸŸ «egreper som over, inni, inntil, peker på U Ÿ%Ÿ ž Ÿ eskriver sammensetning, ikke sekvens Š O ` S H I R J M S Q O RVJ ^ I F H M J 6u A 9 g e k ; r c v : ; e k A e >v > c g e l :? g n A 9 < : @ A d d A ; >? h e e k ; r c e e f? 9 g c e Backus-Naur Form Datamodelleringsspråk Predikatlogikk Kominserte representasjonsspråk e.g. datamodell + BNF 7 8 R S M F ^ J F F F R ± ««² š š ž tegneeditor, fargekoding, strukturmakroer, tvangstrøye pixeleditor, okser og streker, moduser, highlighting V³ Ÿ Ÿ%Ÿ Ikke alle enkeltrelasjoner er lovlige Sett av enkeltrelasjoner kan gi ulovlig tilstand Uµ ž ž Š O ` S H I J Q M S RV R I J ^ I F H M F Q J M RUM O H P Q F R F R I U ¹ º»» ¼ ½ ¾ º À Á% Ã,Ä Å ¼»» ¼ ÁÆ ¼ Ç Â º Ã% È º Ç Ã,¼ Å É Á ¾ º Ê ¼ Á Ë È Ä Ê º Ì ½» º Ç ¼ ¾ Í Ä Ç Î Ç Ï Ê Ð M / L = Ø,Ñ ž Ò, Ÿ% œ ¹ Error prevention : a priori-regler (må alltid respekteres), eks. syntaksorienterte editorer Error detection : a posteriori-regler (kan oversees underveis i modelleringen, men må før eller senere oppfylles) 9 10 ÓS L M6H OVJ ^ I F H M J S R G P R S Uµ ž Ñ Ô š øker modelleringsfriheten reglene kan aktiviseres manuelt eller automatisk når visse etingelser er oppfylt Uµ Ñ Ô š kan undertrykke kreativitet sikrer at rukeren hele tiden respekterer grunnprinsippene i modelleringsspråket kontinuerlig påtvunget av verktøyet ] R T H I F Q J MVM O H P Q F R F _ ` S J K S a M Õ,Ö Ø Ù Ú Û Ü Ý Þ Þ ß Ù à ÜÛ Û ß á â ã â â Ý Ù Ø Ý ß Ù â Û Ø à à ä Ø Ø ä á à à Ú ä å á Û Ø ä á à à â Û á ä Ø Ú Û Õ,æ ß é Ù à Ü Û Û Ý Ø ç } à è ê é } } %ë é Alle modellutsagn er korrekte og relevante M/D = Ø,ì í é Modellen inneholder alle korrekte og relevante utsagn D/M = Ø 11 1
Š O ` S H I J Q M S RVJ R T H I F Q J M M O H P Q F R F Uî ¹ inspeksjon av modellen Uï Ñ ¹ sjekk av konsistens mellom modellfragmenter sjekk av konsistens mellom modellfragment og lingvistisk eskrivelse ð ; : j d A < ¹ñ ò ó ô õ ô ö ø õ ù ô ú ö û ô ö ö ô û ü ò ý ø ú ö ò ó ø ö ù û ó ø õ ù þ ú ÿ ø û ò õ û ñ ø õ ø ý ô ú ö ö ý ô û û ò óô õ ô ÿ ÿ ô ý ø õ õ ô õ Ž Q P I S TUQ I G R S F Q P M ` I J Q J F R I J J R M M :? e > e 9 A? e e l A c c j g e A ; 9 k r d : h > e c A j A e c ; > n A d e A ; :? e > e 9 A? e e l A c c j g e A ; 9 k r c :? e 9 ; 8 c 9 > n > 9 A 9 13 14 ` I J Q J F R I J J R M MV H J R S F K a P ` G Q J M RU R J M S Q O R P J R S Õ Ù å Þ ä Ú Ý Û à à Ø ä á à à Ø ä Ú Û â Ù Ü Ú Û Ý Õ ä â Ø à â á Ù Û Ù Ù Ý Ý Þ Ø Ù Õ â Ù Ú Ý ä â Ø â á Ý Þ Ø Ù Û Ü à à ä å Ü Ý Þ Û ä â Ü Õ â Ù Ú Ý ä â Ø â Û ä â Ü Ú Û Ü à Û Ý Û Û Ù ß à Ù Ý Ý Ö ÕUæ ä Ú Ý Û â â á Ü å â Ù Ú Ö Õ Þ ä Ø ä Ú â Ö Û Ü à Ý ß Ù Þ Û Þ ä à á Ý Û Û Ö Ö Ö Ú Õ Ý Û Ø Þ ä Ú Ý Ü Ý Û Ú Ý á Ü â Þ Û Ellers: Sjekk om G(Si) er avgjørar! Hvis avgjørar: ruk resolusjonsmetode til å estemme konsistens Õ" ß Ü Ý # ß â Ö Ü â Þ ä Ú Ý Ü Ý Û Ú Û â Ö Þ ä Ú Ý Ü Ý Û Ú Û " ß Ü Ý Ú Ö Ü â Ù ß å ã â Ù â â Ö Ù ß å ã â Ù â $ R J L P F H F H OVJ F H F Q J MVM ` I J Q J F R I J J R M M % ñ & ' û ô ó ø ô ý ò õ û ù û ö ô õ ö % ñ & ' û ô ó ø ô ý ù õ ò õ û ù û ö ô õ ö ô ÿ ÿ ô ý % û ô ù õ ( ô õ ô ý ù ô ø ( ) ý ø ý %* ô ÿ ò óô õ ÿ ò ( ù û ö ô ò ý ù ô ý ú ø ( ) ý ø ý ø õ ô õ + ý ô û ô ó ù ' ø ( ) ý ø ý û ù õ ò õ û ù û ö ô õ û ø õ ü ø û ö û ÿ, û ô ô ö ô ( ý ô õ û ô ö ø õ ö ø ÿ ÿ û ö ô ( % ô ö ò ô ý ü ò ý, û ô ô ò õ û ù û ö ô õ û ô õ Lewis: predikatlogikk Kung: grafteoretisk formulering 15 16 ` I J F S L M F Q O Q F R F ` GxM ` I J Q J F R I J Õ.- Ú á Ù Ø Ú Û Ù à â Ü Ú Ü à ä Ý / Ý Û Ø Ý 0 ä â Þ 1 Ù Ú å ä â Ý è Definer systemet som et sett av deler Definer systemstrukturen Definer systemdelene Bestem egenskapene til systemet Õ,æ ä Ú Ý Û â Þ Û Ü ß Ü Û Û è á Û ç Û à á å Ú Ý Þ Ù Ú Û Ü à Û Ý / Ý Û Ø Ù Ý â Û ç å Ú Ý Þ Ù Ú Û Ü à á Û Ý Ý Ý / Ý Û Ø â ` I J F S L M F Q O Q F R F Q 3 8? h e 9 > d? 4 ; < >? h 5 6 7 8 9 : ; Inputs og outputs representert som logiske uttrykk og knyttet sammen ved logiske operatorer = >? @ ; A < e 9 > d? 4 ; < >? h 5 6 7 8 = > 8 8 : ; Konstruksjon av et tilstandsdiagram for prosessnettverket 6u >? h? A > e 9 > d? 4 ; < >? h 5 6 7 7 @ > 7 A : ; Konstruksjon av et tilstandsdiagram fra kanonisk form av prosessnettverket 17 18 3 3
y { v x w z B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I C g e > e ; En konseptuell modell estår av grafiske modellelementer og små eskrivelser i naturlig språk Tolkningen av NL-eskrivelsen må være konsistent med den lingvistiske tolkningen av modellelementet B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I N DR _ Q I Q J ` I H O J K S a M 6m n A ; 9 < : @ A d d c :? e A k 9 @ A v >? A ; 9 n A @ d >? h n > e 9 > e c A B e A < g? 9 > e c A e 9 ; 8 c 9 8 ; A ; 6ˆ c e A < k A d ; = > h? u : @ A d 5 v : ; A? c d A 9 : company company company own own uy plant employee plant E F G H I J K L M N J O P - transition - endpoint agent: [+concrete +identifiale] patient: [+concrete + identifiale]] F L I J I Q P [+concrete + identifiale + countale] 19 0 B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I N R 3 S $ /!.T $ '! &. / $! Uµ Ÿ% œ œ ú õ ù ü ù û ô ý ô ý ó ô U ô õ ö ù ö V W X ø Uµ š œ % Y V Ñ Z ` a Q P +transition + endpoint agent: [..] patient: [..]] Ú Ü Ü Ý â â Ü Þ Þ ] Ø á - â à Ù Û Ü ä Ú Ý # Ü 1 è Ü 1 ^ K _ O H L Q : [+concrete +countale + identifiale - living] [ Ú Ü Ü Ý â â è \ Ù K L P - transition - endpoint agent: [..] patient: [- living...]] B Q I G O Q J F Q J M6O R S Q _ Q M H J ` I N c $ R P H J ` I R S 6ˆ ; d : e? 5 f : < k g? f B A < k d : f A A : g A? d : n d > h c :? e 9 ; 8 c e l :? o Vi kominerer strukturene for enkeltordene, slik at entitetene unifiseres med argumentene til relasjonene Hvis unifikasjonen lykkes, er konstruksjonen mulig fra et lingvistisk synspunkt Ugyldig konstruksjon own(company,employee): - transition - endpoint agent:[+concrete...] patient:[+concrete - living +living...]] i j k l m n l l m n o o p q r n s t l p l m k n o o p r p k q u! "!! * + -,* & $ '%'. * / & 0 1 ' * 0' * 3 h Participant knowledge Physical Perceived semantic Empirical 7 8 9 9 : ; <6= >? @ ; A B C D C Modeling domain Semantic Model externalization Syntactic Language extension Technical Synsem.ppt 3 4 4 4
Š Ž R M I Q M M R S} ~ Q T R I J ` I R S = k ; r c v : ; e 9 r A d e A C?? : d @ e ; A d A n g? e B v : c 8 e e 9 ; 8 c 9 8 ; g? g df e A : ; e 9 r A d e A g n : k k v t ; e A d 5 A c e A c n A ; >? h : ƒ ˆ M F Q O Q F R F R S. k k d 4 ; >? h C? e k A c e l :? ; h l A?? : < h g? h A ; g n < : @ A d d A ;,p ; g? e v : ; < g e l :? A ; g n < : @ A d d A ; T: M1 M Ž 5 6 Ž S H I J _ ` S T H J ` I R S. < v : ; < 8 d A ; >? h> 5 g j : j g Kan gi ny forståelse ved å gjøre visse forhold eksplisitte 6u : @ >v > e A ; >? h g n d g f : 8 9 Bedre oversikt, forståelse Basert på graf-estetiske retningslinjer Manuell eller automatisk Ž S H I J _ ` S T H J ` S I R S _ ` S F J } š ž Ÿ ž språk/meta-modell - egrensning av språk-elementer modell/spesifikasjon - skjule detaljer V³ inklusiv/eksklusiv deterministisk/indeterministisk gloal/lokal N M person writes paper person 1 N writes 7 8 Ž S H I J _ ` S T H J ` I R S _ ` S F J = d A 9 9 >? h Del av modell fjernes C?? e A 9 9 >? h ny del legges til modellen s A ; e l :? A ; Flere modeller av det samme som eksisterer på samme tid Ž S H I J _ ` S T H J ` I R S _ ` S F J T: M M š, œš Språk med ulike pragmatiske kvaliteter Semantisk, ikke syntaktisk mapping. kan være tekst eller diagram, ž ³ ± µ Ÿ œ Mer vanlig i programmeringsomgivelser 9 30 5 5
ª ««ª ± ² ³ µ ª ³ ª ¹ º»½¼ ¾ À ¾ Á Á Â Ã Ä Å Æ Ç ¼ ª ««ª ± ² ³ µ ª ³ ª ¹ º Þ ß à á à á â ã ä å æ ç à ß ç à ß è á é ê ë è ê.è É Ê Ë Ì Ë Í Î Ê É Î ÏÐ Ï Ñ Ë Î Ò Ó Ô Î Ô Ï Õ Ö Spesialiserte deklarative oversettingsspråk Generelt og komplett Språk og oppgaveuavhengig.è Í Í Í É Ð Ó Ì Ø Ù Ë Ô Ú É Ú É Ì É Ê Ì É Î É Ô Í Ë Î Ò Ó Ô É Ì Ulike repositories for modeller Tekstlige og diagrammatiske språk.û Ô Í É Ì Ë Ñ Í Ï Õ Í Õ Î Ë Ü Í Ó Ý Ë Í Ï Î Ñ Ñ Y Y œ}ì š í Identifisere og stailisere krav Uµ š Ò, Gradvis utvikle til fullt system U š Ytre fasade, ingen dyp oppførsel Uµ Ÿ Fastslå gjennomførarhet av foreslått løsning 31 3 ª ««ª ± ² ³ µ ª ³ ª ¹ º Þ ß à á à á â ã ä å æïî á ð ñ è à å à òä ó Ù Ë Î Î Ï Ð Ï Î É Ì Ï Ô ô Ù Ë Ô ô Î õ Ú Ï Ý É Ô Î Ò Ó Ô É Ì %.ö ø ù ú û ü ù ÿ ô ø û þ ô ö ô ý ÿ ù ý þ ý ò ö ò ö þ ô ö %.ú ø ý û ü ò ý ó ô ÿ ù ý þ ý ò ö ò ö þ ô ö %.þ ÿ þ û ü ò ý þ ô ý ò þ þ ü ) ý û ô ÿ ô õ %.ú ø û ü ò ý ó ô ö ô û ö ø ö ø ÿ ù ý ý ú ö % þ ú ý ù ø û ü ò ý ö ù ÿ ù ( ù þ ý ò û ô ö ô ö % û ü ò ý ÿ ô õ ( ô ÿ ù ý ô õ ý ú ö õ, ý ø û ö ô ö ª ««ª ± ² ³ µ ª ³ ª ¹ º Þ ß à á à á â ã ä å æïî è ã ß é ñ Uµ «Hva systemet skal gjøre på et visst astraksjonsnivå Logiske og algeraiske språk «Både HVA og HVORDAN, om en annen Eksekverare konseptuelle modeller œñ Ñ% š Programmeringsorienterte, prolemspesifikke 33 34 ª ««ª ± ² ³ µ ª ³ ª ¹ º ñ è ê ñ ê ß ä å æð ïñ à å è ê ã á ê ë ë ê ò à ê ë ë ê ß % + # % (, ($ - %. / ) CM VHLL HLL ± ª ª «ª ª ± ª ª «³ ª «ª ª ª ª µ ± ª ª «ª! " ª ± ª «" ª " " Lavere astraksjon # $ % # $ & # ' ( ) * ª ««ª ± ² ³ µ ª ³ ª ¹ º 0 ã ã è òò ê ß ä å æ %1 ø ÿ ù ö ô ö û õ ù, ô ý %1 ø ÿ ù ö ô ö û ó, ÿ..., syntaktisk, semantisk, pragmatisk,... Syntaktisk korrekthet, validitet, kompletthet, forståelse % ö ù ÿ ü ) ý ô õ ô ó ù ÿ ô ý Manuelle eller i verktøystøtte Feilforhindring / feildeteksjon Konsistenssjekk, lingvistisk verifikasjon Transformasjoner Prototyping, modell-eksekvering ± ª ª «! " ª ± ª «" ª " " 35 36 6 6