SEQUAL ramverk

SEQUAL -ramverket är en referensmodell för systemmodellering för att utvärdera kvaliteten på modeller. Ramverket SEQUAL, som står för "semiotic quality framework" är utvecklat av John Krogstie och andra sedan 1990-talet.

SEQUAL-ramverket är ett så kallat "top-down kvalitetsramverk", som är baserat på semiotisk teori, som till exempel Charles W. Morris verk . Med utgångspunkt i dessa teorier "definierar den flera kvalitetsaspekter baserat på relationer mellan en modell, en kunskapsmassa, en domän, ett modelleringsspråk och aktiviteterna för att lära, vidta åtgärder och modellera". Dess användbarhet, enligt Mendling et al. (2006), bekräftades i ett experiment 2002 av Moody et al.

Historia

Grundtanken bakom SEQUAL-ramverket är att " konceptuella modeller kan betraktas som uppsättningar av uttalanden i ett språk , och därför kan utvärderas i semiotiska/lingvistiska termer". Ett första semiotiskt ramverk för att utvärdera konceptuella modeller föreslogs ursprungligen av Lindland et al. i 1994 års artikel "Understanding quality in conceptual modeling". I sin ursprungliga version övervägde den tre kvalitetsnivåer:

syntaktisk,
semantisk, och
pragmatisk kvalitet

Ramverket utökades senare och kallades SEQUAL-ramverket av Krogstie et al. i 1995 års artikel "Defining quality aspects for conceptual models". i 2002 års artikel "Kvalitet på interaktiva modeller" utökade Krogstie & Jørgensen det ursprungliga ramverket och lade till fler nivåer av Stampers semiotiska stege.

SEQUAL ramämnen

Modellering är en integrerad del av många tekniska områden, inklusive teknik , ekonomi och mjukvaruteknik . I detta sammanhang är en modell en formell representation av ett organisationssystem, till exempel en affärsmodell eller en formell beskrivning av programvara i UML .

Modellaktivering

Modellaktivering, enligt John Krogstie (2006), är den process genom vilken en modell påverkar verkligheten . Modellaktivering innebär att aktörer tolkar modellen och i viss mån anpassar sitt beteende därefter. Denna process kan vara:

automatiserad , där en mjukvarukomponent tolkar modellen,
manual , där modellen vägleder mänskliga aktörers handlingar, eller
interaktiv , där föreskrivna aspekter av modellen automatiskt tolkas och tvetydiga delar lämnas till användarna att lösa.

Ingår i kvalitetsramverket

Kvalitetsramverket fungerar med en uppsättning av åtta objekt:

S: Aktörer som utvecklar eller måste förhålla sig till (delar av) modellen. Kan vara personer eller verktyg.
L: Vad kan uttryckas i modelleringsspråket
M: Vad uttrycks i modellen
D: Vad kan uttryckas om domänen (intresseområde)
K: Den explicita kunskapen hos de deltagande personerna
I: Vad personerna i publiken tolkar modellen för att säga
T: Vilka relevanta verktyg tolkar modellen att säga
G: Målen med modelleringen

Fysisk kvalitet

De tre huvudaspekterna av fysisk kvalitet är:

Externalisering eller frågan "Är det möjligt att externisera kunskap genom att använda modellspråket?",
Internaliserbarhet om modellbeständighet och tillgänglighet, och
I grund och botten eller frågan "Kan modellspråket uttrycka modelldomänen?"

Externalisering är att presentera modellmodellens koncept i någon modellform för att andra ska kunna förstå det. Andra kan titta på det och diskutera. Hur andra människor uppfattar modellen är en fråga om internalisering. Efter att ha uppfattat modellen på sitt eget sätt kan de diskutera och ändra uppfattning därefter. För att förstå andra är det bättre att ha något modellspråk gemensamt. Fysisk kvalitet avser möjligheten att externisera modeller genom att använda modellspråk som bör vara tillgängligt och naturligtvis på ett uthålligt sätt att internaliseras av publiken.

Hur tillgänglig är modellen för publiken? Tillgänglighet beror på distributionsmöjligheter, särskilt när medlemmar av publiken är geografiskt spridda. Då kommer en modell som är ett elektroniskt distribuerbart format att vara lättare att distribuera än en som måste skrivas ut på papper och skickas med vanlig post eller fax. Det kan också spela roll exakt vad som distribueras, t.ex. modellen i en redigerbar form eller bara i ett utdataformat.

Hur beständig är modellen, hur skyddad är den mot förlust eller skada? Detta inkluderar även tidigare versioner av modellen, om dessa är relevanta. Till exempel för en modell på disk kommer den fysiska kvaliteten att vara högre om det finns en säkerhetskopia, eller ännu högre om denna säkerhetskopia finns på en annan disk vars fel är oberoende av originalen. På samma sätt, för modeller på papper, kommer mängden och säkerheten för säkerhetskopior att vara avgörande.

Empirisk kvalitet

För att utvärdera empirisk kvalitet bör modellen vara väl externiserad. Huvudaspekter är:

Ergonomi,
läsbarhet,
layout och
informationsteori.

I grunden handlar empirisk kvalitet om frågan "Är modellen lättläst?". Empirisk kvalitet handlar om mångfalden av element som särskiljs, felfrekvenser när de skrivs eller läses, kodning (former av lådor) och ergonomi för Computer-Human Interaction för dokumentation och modelleringsverktyg. Ergonomi är studiet av arbetsplatsdesign och den fysiska och psykologiska påverkan det har på arbetare. Denna kvalitet är relaterad till läsbarhet och layout. Det finns olika faktorer som har en viktig inverkan på visuell betoning som storlek, soliditet, skillnader i förgrund/bakgrund, färg (röd attraherar ögat mer än andra färger), förändring (blinkande eller rörliga symboler drar till sig uppmärksamhet), position och så vidare.

För grafestetik kan det finnas olika överväganden (Battista, 1994, Tamassia , 1988) som att vinklarna mellan kanterna inte ska vara för små, minimera antalet böjar längs kanterna, minimera antalet korsningar mellan kanterna, placera noder med hög grad i mitten av ritningen, har symmetri av söner i hierarkier, har enhetlig täthet av noder i ritningen, har vertikalitet av hierarkiska strukturer och så vidare.

Syntaktisk kvalitet

Syntaktisk kvalitet är överensstämmelsen mellan modellen M och språktillägget L för det språk som modellen är skriven på. Tre aspekter här är:

Feldetektering : Under en modelleringssession bör vissa syntaktiska fel --- syntaktisk ofullständighet --- tillåtas på tillfällig basis. Till exempel, även om DFD-språket kräver att alla processer är kopplade till ett flöde, är det svårt att rita en process och ett flöde samtidigt. Syntaktisk fullständighet måste kontrolleras på användarens begäran. Så i motsats till implicita kontroller där verktyget tvingar användaren att följa språksyntaxen, kan explicit kontroll endast upptäcka och rapportera om befintliga fel. Användaren måste göra korrigeringarna.
Felkorrigering : för att ersätta ett upptäckt fel med ett korrekt uttalande

Semantisk kvalitet

Vad uttrycks i modellen? De semantiska målen för detta ramverk är:

Giltighet; om alla påståenden i modellen är korrekta och relaterade till problemet. M\D = Ø
Fullständighet; om modellen innehåller alla relevanta och korrekta påståenden för att lösa detta problem. D\M = Ø

Upplevd semantisk kvalitet

Upplevd semantisk kvalitet är relationen mellan en aktörs tolkning av en modell och hans/hennes kunskap om domänen.

Upplevd giltighet I\K = Ø
Upplevd fullständighet K\I = Ø

Pragmatisk kvalitet

Pragmatisk kvalitet är överensstämmelsen mellan modellen och människors tolkning av den. Förståelse är det enda pragmatiska målet i ramverket. Det är mycket viktigt att människor som läser modellen förstår den. Ingen lösning är bra om ingen förstår den. Pragmatisk kvalitet relaterar till den effekt modellen har på deltagarna och världen. Fyra aspekter behandlas specifikt, att:

den mänskliga tolkningen av modellen är korrekt i förhållande till vad som menas.
verktygstolkningen är korrekt i förhållande till vad som är tänkt att uttryckas i modellen.
deltagarna lär sig utifrån modellen.
domänen ändras (helst i positiv riktning i förhållande till målet med modellering).

Social kvalitet

Målet för den sociala kvaliteten är enighet. Enighet om kunskap, tolkning och modell. Överensstämmelse uppnås om upplevd semantisk kvalitet och förståelse uppnås. Det finns relativ överenskommelse och absolut enighet. För de tre avtalsdelarna (kunskap, tolkning och modell) kan vi definiera:

Relativ överensstämmelse i de tre ovanstående avtalstyperna; all kunskap, tolkning och modell är konsekventa.
Absolut överensstämmelse i de tre ovanstående avtalstyperna; all Kunskap, Tolkning och Modell är lika.

Kunskapens kvalitet

Grad av internalisering av befintlig organisatorisk verklighet.

Kunskapen i domänen är "fullständig": D\K = Ø.
Kunskaper i domänen är "giltiga": K\D = Ø.

Aktiviteter för förbättring:

Identifiering av intressenter
Identifiering av kunskapskälla
Forskning och utredning
Val av deltagare
Deltagarutbildning
Problemdefinition

Språkkvalitet

För att få bra språkkvalitet är det viktigt att:

Språket är lämpligt för domänen.
Språket är anpassat till deltagarnas kunskaper i modelleringsspråk
Språket som är lämpligt för att uttrycka deltagarnas kunskaper

Om språkkvaliteten är god kommer det att förbättra deltagarnas tolkning och andra tekniska aktörers tolkning. För ytterligare information, se kvaliteten på modelleringsspråk

Organisatorisk kvalitet

Modellens organisatoriska kvalitet relaterar till:

Att alla påståenden i modellen bidrar till att uppfylla målen för modellering, eller Organizational goal validity .
Att alla mål med modellering adresseras genom modellen, eller Organizational goal completeness .

Alternativ kvalitetsram

Ett alternativt kvalitetsramverk är Guidelines of Modeling (GoM) baserat på allmänna redovisningsprinciper . Ramverket "inkluderar de sex principerna om korrekthet, tydlighet, relevans, jämförbarhet, ekonomisk effektivitet och systematisk design". Den operationaliserades för händelsestyrda processkedjor och testades även i experiment

Ett annat alternativt kvalitetsramverk för modelleringsprocessen som faktiskt bygger på SEQUAL är ramverket "Quality of Modelling" (QoMo). QoMo är fortfarande en "preliminär modelleringsprocess orienterad, baserad på kunskapstillståndsövergångar, kostnaden för de aktiviteter som leder till sådana övergångar och en målstruktur för aktiviteter-för-modellering. Sådana mål är direkt kopplade till begreppen SEQUAL".

Vidare läsning

John Krogstie (2012). "Modellbaserad utveckling och utveckling av informationssystem: en kvalitetsstrategi"
John Krogstie (2001). "Ett semiotiskt förhållningssätt till kvalitet i kravspecifikationer"