Download
1 / 41
440 likes | 778 Views
Begreppsmodellering i UML. En kort-kort introduktion. av Ambjörn Naeve. http://kmr.nada.kth.se. Begreppsbildning. Syfte:. Begreppsbildning syftar till att hjälpa oss. att bortse från oväsentligheter genom att. bygga upp idealiserade strukturer. som fokuserar på det väsentliga.
E N D
Begreppsmodellering i UML En kort-kort introduktion av Ambjörn Naeve http://kmr.nada.kth.se
Begreppsbildning Syfte: Begreppsbildning syftar till att hjälpa oss att bortse från oväsentligheter genom att bygga upp idealiserade strukturer som fokuserar på det väsentliga. Exempel: Punkt, Linje, Plan, ….. inom geometrin. Effektivitet: Effektiva begrepp bortser från det mesta så att det märks så lite som möjligt. “Styrkan i tänkandet ligger i att veta vad man inte ska tänka på.”
Begreppsmodellering Def: En beskrivning av de viktigaste begreppen och deras inbördes relationer inom ett visst område kallas en begreppsmodell över området. För att begreppsmodellera ett område på ett effektivt sätt måste man kunna reducera dess komplexitet. Fyra viktiga vapen vid komplexitetsreducering är: • Abstraktion bortseende • Hierarki upplösning • Inkapsling gränssnitt • Modularitet uppdelning
kalibr erings- pr ocess Två olika begreppsmodeller av ett område P Adam Bertil Adams bild av P Bertils bild av P
Begreppet begrepp Def: Ett begrepp är en representation av något som vi har upplevt eller kan föreställa oss, och som vi kan tillämpa på objekten i vårt medvetande. Def: Mängden av objekt som tillhör ett begrepp kallas för begreppets extension = exemplifieringar=instanser. Att identifiera ett begrepp genom att Def: iaktta likheter och särskiljande egenskaper hos en grupp av objekt kallas för att klassificera objekten.
Begreppet begrepp (forts.) Def: Ett begrepps definition anger dess intention, dvs vilka egenskaper det vill uttrycka respektive avgränsa i förhållande till omgivningen. Def: Vi säger att ett begrepp kan tillämpas på ett visst föremål (= objekt = instans) om föremålet uppfyller begreppets intention, dvs villkoren i dess definition.
Egenskaper hos begreppet begrepp • Ett begrepp måste alltid definieras med hjälp av andra begrepp. • Ett begrepp kan betecknas av ett eller flera olika namn (= symboler). • Ett begrepp är alltid idealiserat, dvs det innehåller förenklingar som lyfter fram vissa saker och utelämnar andra. • Definitionen av ett begrepp är alltid beroende av i vilket sammanhang begreppet ska användas. • Det gäller hela tiden att bortse från det som är oväsentligt och fokusera på det väsentliga.
Att symbolisera begrepp Def: Två symboler kallas synonyma om de betecknar samma begrepp. Exempel: Kund och klient kan beteckna samma begrepp i en modell av ett affärssystem. Def: Två begrepp kallas homonyma om de kan betecknas av samma symbol. Exempel: Negation och subtraktion betecknas inom matematiken båda av symbolen minus (-).
det där det där Specialisering av Exempel på det där Del av det där det här Helhet för T yp för Gener alisering av det där det där Att symbolisera relationer mellan begrepp Unified Language Modeling
Fordon Bil :Bil :Hjul Hjul Unified Language Modeling är en sorts ensorts speciellt sorts är en en harett har är endel aven del av är ett ett
UML - ett världsspråk för modellering • UML (= Unified Modeling Language) är ett bildspråk för att specificera, visualisera och dokumentera begreppsmodeller inom olika områden. • UML utvecklades under åren 1993 -1997 inom den objektorienterade mjukvaruindustrin som ett försök att förena de c:a 250 olika begreppsmodelleringsspråk som var i bruk vid mitten av 1990-talet. • UML representerar en samling av praktiskt utprovade modelleringstekniker som har visat sig framgångsrika vid beskrivning av stora och komplexa system.
UML- ett bildspråk för begreppsrelationer-1 • UML-diagram är ett bildspråk där man kan rita upp begreppen och deras relationer i olika typer av diagram. • Avsikten är att synliggöra hur man tänker inom ett visst begreppsområde. • Orden förgår - bilderna består!
UML - ett bildspråk för begreppsrelationer-2 • Diagram skapar överblick och ger en helhetsbild. • Man får en synlig bakgrund mot vilken man kan diskutera där det klart framgår hur man hittills har tänkt. • Detta: • underlättar vidareutveckling av begreppsmodellen. • ökar möjligheterna att “kalibrera begreppen” och uppnå konsensus (= samsyn) på vilka aspekter som är viktiga i sammanhanget.
enBil Bil Typ och klass - två synonymer för begrepp Def: Det begrepp vars extension är en mängd av instanser och vars intention beskriver deras gemensamma struktur betecknas inom datalogin med instansernas typ eller klass. Klassificering av bilar uttryckt i UML: <<ärEn>> Namngiven Instans Typ (eller klass) Klassifikationspil
enPenna färg = röd Egenskaper och operationer för ett begrepp Def: De statiska kännetecken som hör till ett begrepp kallas dess egenskaper (= attribut). UML-exempel: Def: De dynamiska kännetecken som hör till ett begrepp kallas dess operationer. UML-exempel: enPenna.skriv( )
Bil Båt Flygplan förar e förar e förar e ägar e ägar e ägar e hjul vingar köl na vigera na vigera na vigera åk åk åk Gen/Spec - en typ av begreppsrelation Olika begrepp kan ha gemensamma egenskaperoch operationer. Exempel: Dessa begrepp kan då betraktas som specialiseringar av ett generaliserat begrepp.
F ordon förar e ägar e na vigera Bil Båt Flygplan vingar hjul köl åk åk åk Gen/Spec (forts.) Generaliseratbegrepp: Specialiseradebegrepp:
Fordon enBil Bil Gen/Spec (forts.) enBilärEnSortsFordon <<ärEnSorts>> <<Sorts>> <<ärEn>>
Bil enBil 1 4 1 enMotor Motor Hjul aHjul bHjul cHjul dHjul Aggregation - en typ av begreppsrelation En aggregation är en typ av assocation som uttrycker en helhet-del relation mellan motsvarande instanser.
Fordon Person ägarskap ägar e äger ägs a v enBåt pelle enBil anna Association - en typ av begreppsrelation Exempel: association 0..1 1 egendom <<ärEnSorts>> <<ärEnSorts>> <<ärEn>> <<ärEn>> länk länk En länk är en instans av en association. En association mellan två begrepp beskriver begränsningar i länkstrukturen mellan instanser av motsvarande begrepp.
ägarskap 0..2 1 Fordon Person ägar e egendom <<ärEnSorts>> <<ärEnSorts>> <<ärEn>> <<ärEn>> enBåt pelle anna enBil Länk-begränsningar uttrycks genommultiplicitet Varje instans av typ Fordon Tolkning: är länkat till exakt 1 instans av typ Person. Varje instans av typ Person är länkat till 0, 1, eller 2 instanser av typ Fordon.
Sverige Organ EU Utbildnings Riksdag Regering eEurope Surf Verkställande View Myndighet Info Sanktionerande Ideell Granskande Tillsyns Ansvarig Kommersiell Kravställande IT Sverige ur ett tillgänglighetsperspektiv Intressent Forsknings
CID Standardarbete Myndighet Intressent Surf View Forsknings Tillsyns Ansvarig Info Kommersiell SIH TPB Skolverket HI Ideell Kommun AMS HandikappOrganisation Kommunförbundet Folkrörelse Handikapp.se FMLS Språka loss Myndigheter och intressenter
Konsortium Standard Internationellt Språk Teknisk DAISY W3C UML SMIL-1 WAI Open E-book Microsoft Reader Internationellt standardiseringsarbete ...
uppfyller * * Modell Matematisk T eori gäller för 2..* * Def inition Påstående {grundlägg ande påstående} T eor em Axiom 1 <<synon ym>> 1..* Be vis P ostulat {logiskt resonemang som grundar sig på axiomen} Strukturen hos en matematisk teori {härlett påstående}
För grund förändra en modell av hur vi använder mentala modeller modellen minska dif f uppmärksamheten k ontrollera k ontrollera re gistrera re gistrera modell- modell- sinnesintryck en sinnesintryck en förväntning arna förväntning arna öka dif f uppmärksamheten Dynamisk modellering - Aktivitetsdiagram Bakgrund ja nej nej ja
