N ve CASE-koparna vad de vi ha!
N ve CASE-koparna vad de vi ha!
N ve CASE-koparna vad de vi ha!
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