23.09.2013 Views

N ve CASE-koparna vad de vi ha!

N ve CASE-koparna vad de vi ha!

N ve CASE-koparna vad de vi ha!

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

TEMPORA<br />

Am itias satsning pa<br />

integrera CAS milja<br />

I TEMPORA saker <strong>vi</strong> mo<strong>de</strong>llera en <strong>ve</strong>rksamhet ur<br />

flera olika syn<strong>vi</strong>nklar. Kittet som bin<strong>de</strong>r samman<br />

<strong>de</strong> olika mo<strong>de</strong>llema bestar av en vaI<strong>de</strong>finierad<br />

metod oeh <strong>de</strong>ss datorstad. Denna datorisera<strong>de</strong> <strong>ve</strong>rktygsIada<br />

skall stadja systemeraren hela vagen iran<br />

speeifikation till fardigt system.<br />

Den <strong>ve</strong>rktygsmilja som nu ut<strong>ve</strong>cklas inom TEM-<br />

PORA inne<strong>ha</strong>ller bl a grafiskt ritstad farTEMPORA:s<br />

alika mo<strong>de</strong>lltyper. Vidare ingar datorstad for kontroll<br />

och analys av specifikationen, sam ten kodgeneratar<br />

som fran systemspecifikationen genererar programkod<br />

och databasschema. Hur <strong>de</strong> olika <strong>de</strong>lama<br />

i <strong>de</strong>nna <strong>CASE</strong>-miljo <strong>ha</strong>nger samman <strong>vi</strong>sas i figur 1.<br />

Specifikations<strong>ve</strong>rktygen ar tre till antalet, ett far respekti<strong>ve</strong><br />

mo<strong>de</strong>lltyp, dvs data-, regel- oeh proeessmo<strong>de</strong>ll.<br />

De ar intelligenta grafiska <strong>ve</strong>rktyg som forutom<br />

ritstad ocksa uttar <strong>vi</strong>ssa kontroller. Det ar till exempel<br />

inte majIigt att rita syntaktiskt felaktiga diagram.<br />

S?ECIFIKA TIONSVERKTYG<br />

DATA<br />

PM<br />

SYSTEMSPECIFIKA nON<br />

EJ IKONCEPT. MOD.<br />

TRANSFORMATION<br />

Figur 1. TEMPORA:s <strong>ve</strong>rktygsmilj6.<br />

Konsistens mellan mo<strong>de</strong>llerna<br />

Eftersom <strong>vi</strong> inom TEMPORA <strong>vi</strong>ll mo<strong>de</strong>llera <strong>ve</strong>rkligheten<br />

ur tre olika aspekter staller <strong>de</strong>tta stora krav pa<br />

aUdatorsto<strong>de</strong>n uppditt<strong>ha</strong>ller konsistens mellan mo<strong>de</strong>llema.<br />

Vissa regier kan till exempel mo<strong>de</strong>lleras<br />

ba<strong>de</strong> i datamo<strong>de</strong>llen och regelmo<strong>de</strong>llen. De far naturIigt<strong>vi</strong>s<br />

inte vara motstridiga.<br />

De olika specifikations<strong>ve</strong>rktygen ar ocksa val integrera<strong>de</strong>.<br />

Om man refererar till ett o<strong>de</strong>finierat objekt<br />

ur datamo<strong>de</strong>llen i en regel, kommer systemet aUpaminna<br />

om aU <strong>de</strong>tta objekt saknas.<br />

Nara kopplat till specifikations<strong>ve</strong>rktygen for <strong>de</strong> tre<br />

mo<strong>de</strong>lltyperna finns ett UIMS (eng. User Interface<br />

Management System), ett <strong>ve</strong>rktyg far granssnittsoch<br />

dialogspecifikation.<br />

I TEMPORA:s <strong>CASE</strong>-milja arbetar <strong>vi</strong> parallellt med<br />

<strong>de</strong> olika mo<strong>de</strong>llema. Detta innebar att man samtidigt<br />

pa skarmen <strong>ha</strong>r tillgang till alla <strong>de</strong> olika <strong>ve</strong>rktygen.<br />

En skarmbild skulle kunna se ut som i figur 2.<br />

Har ser <strong>vi</strong> exempel pa <strong>de</strong> olika diagrammen samt ett<br />

fonnuUir.<br />

Den kunskap som fangats av specifikations<strong>ve</strong>rktygen,<br />

dvs <strong>de</strong>n koneeptuella mo<strong>de</strong>llen, sammanfars<br />

och Iagras i en gemensam databas. Tillsamrnans<br />

moo en gransnittsspecifikation (GS) fran UIMS utgor<br />

<strong>de</strong>n konceptuella mo<strong>de</strong>llen systernspecifikationen.<br />

Mer komplicera<strong>de</strong> kontroller och analyser gars pa<br />

systemspecifikationen moo ett antal analys<strong>ve</strong>rktyg.<br />

Har ingar a<strong>ve</strong>n <strong>ve</strong>rktyg far djupa semantiska analyser<br />

av <strong>de</strong>t avsOOdasystemets egenskaper.<br />

Efter kontroll och analys av systemspecifikationen<br />

skaU <strong>de</strong>n vara korrekt och komplett nog fOratt anvandas<br />

for generering av <strong>de</strong>n programkod och <strong>de</strong>t<br />

databasschema sam vart malsystem bestar avoYtterligare<br />

krav kan dock komma till, exempel<strong>vi</strong>s prestandakrav.<br />

Mycket av <strong>de</strong>n programvara som anvands i TEM-<br />

PORA <strong>ha</strong>r tagits fram i andra projekt. Detta <strong>ha</strong>r gjort<br />

att ut<strong>ve</strong>cklingen av <strong>CASE</strong>-miljOn faU en flygan<strong>de</strong><br />

start eftersom <strong>vi</strong> integrerat befintliga program. Det<br />

ar dock sa att TEMPORA ar en komplicerad ansats<br />

14 S1SU Informa IK1I3

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!