Txheej txheem qauv: txoj hauv kev, txoj hauv kev, theem

Cov txheej txheem:

Txheej txheem qauv: txoj hauv kev, txoj hauv kev, theem
Txheej txheem qauv: txoj hauv kev, txoj hauv kev, theem
Anonim

txheej txheem simulations yog kev txav ntawm tib yam uas yog dav dav rau hauv tus qauv. Yog li, lo lus no piav qhia txog kev txhim kho ntawm hom qib. Tib txheej txheem qauv yog siv ntau zaus rau kev txhim kho daim ntawv thov. Ntau cov ntawv luam yog qhov tseem ceeb. Ib qho siv tau ntawm cov lus tsa suab yog los sau cov khoom yuav tsum tau ua lossis ua tau. Cov txheej txheem qauv yog qhov kev cia siab ntxhib ntawm qhov kev thov yuav zoo li cas. Qhov kev txav mus los ntawm nws tus kheej yog txiav txim siab thaum lub sijhawm txhim kho tiag tiag ntawm qhov system.

Modeling Goals

txoj kev tswj xyuas
txoj kev tswj xyuas

Ua ntej, nws yuav tsum tau ua kom taug qab ntawm qhov tshwm sim tiag tiag thaum ua haujlwm. Nws yog ib qho tsim nyog yuav tsum coj lub ntsiab lus ntawm tus neeg saib xyuas sab nraud uas saib seb cov txheej txheem tau ua li cas. Cov kauj ruam tom ntej yog txhawm rau txheeb xyuas cov kev txhim kho uas yuav tsum tau ua txhawm rau txhim kho kev ua tau zoo lossis kev ua tau zoo.

kev tswj xyuas txoj kev ua lag luam kev ua qauv
kev tswj xyuas txoj kev ua lag luam kev ua qauv

Txhim cov txheej txheem xav tau thiab lawv yuav tsum ua li cas lossis tuaj yeem ua tau.

Koj yuav tsum tsim cov cai, cov lus qhia thiab kev paub txog tus cwj pwm uas, yog tias ua raws, yuav ua rau qhov kev xav tau. Cov no tuaj yeem muaj los ntawm kev tswj hwm nruj mus rau kev coj noj coj ua yooj yim.

Kev piav qhia

txheej txheem mus kom ze
txheej txheem mus kom ze

Muab lus piav qhia txog kev siv tau ntawm cov txheej txheem. Ntau qhov kev ua tau zoo ntawm kev nqis tes ua raws li kev sib cav sib cav yuav tsum tau tshawb xyuas thiab ntsuas.

Tsim kom muaj kev sib raug zoo ntawm cov txheej txheem thiab cov kev xav tau uas tus qauv kev paub yuav tsum tau ua. Predefines cov ntsiab lus uas yuav muab tau cov ntaub ntawv rau kev qhia.

Target

Los ntawm qhov kev xav ntawm qhov kev xav, kev ua qauv piav qhia cov ntsiab lus tseem ceeb uas xav tau los piav qhia txog qhov tshwm sim thaum lub sijhawm txhim kho. Los ntawm kev xav txog kev ua haujlwm, cov txheej txheem meta-txhim kho lub hom phiaj los muab kev taw qhia rau cov kws tshaj lij thiab cov neeg tsim daim ntawv thov.

Cov txheej txheem kev ua lag luam ua qauv feem ntau yog qhov yuav tsum tau hloov lossis txheeb xyuas cov teeb meem uas yuav tsum tau kho. Qhov kev hloov pauv no yuav xav tau kev koom tes nrog IT. Txawm hais tias qhov no yog ib qho laj thawj rau kev xav tau los ua cov qauv kev lag luam. Cov kev tswj hwm kev hloov pauv yog xav tau los ua cov txheej txheem rau kev xyaum.

Nrog kev txhim kho thev naus laus zis los ntawm cov chaw muab kev lag luam loj, lub tswv yim ntawm kev lag luamcov txheej txheem dhau los ua tau (thiab muaj peev xwm ntawm ob txoj kev tsim). Nws tau los ze rau qhov tseeb txhua hnub. Kev txhawb nqa thev naus laus zis suav nrog cov lus sib koom ua ke, qauv tsim qauv tsim, thiab kev pabcuam kev tsim kho.

Lub tswv yim ntawm kev ua qauv muaj xws li cov txheej txheem kev lag luam kev lag luam, uas ua rau muaj kev siv dav dav. Kev sib raug zoo nyob rau hauv cov ntsiab lus ntawm tus so ntawm lub enterprise systems, cov ntaub ntawv, lub koom haum qauv, lub tswv yim, thiab lwm yam. tsim kom muaj ntau lub sij hawm rau kev tsom xam thiab hloov kev npaj. Ib qho piv txwv ntawm lub neej tiag tiag yog kev koom ua ke thiab kev yuav khoom. Kev nkag siab ntxaws txog cov txheej txheem ntawm ob lub tuam txhab tso cai rau kev tswj hwm los txheeb xyuas qhov tsis txaus ntseeg, ua rau muaj kev sib koom ua ke zoo dua.

Lub tswv yim ntawm kev ua qauv ib txwm yog qhov tseem ceeb ntawm kev lag luam kev tsim kho dua tshiab thiab kev txhim kho txuas ntxiv pom hauv Six Sigma.

Kev faib tawm

Muaj tsib hom kev pab them nqi uas lub sij hawm tus qauv txheej txheem tau txhais txawv:

  • Kev Ua Haujlwm-Lub Hom Phiaj: Ib qho cuam tshuam ntawm kev ua ub no ua rau cov khoom txhais tau li cas. Ib txheej ntawm cov kauj ruam txiav txim ib nrab tsim los ua kom tiav lub hom phiaj ntawm kev simulation.
  • Kev Taw Qhia Khoom Muag: Ib qho kev ua ub no uas ua rau muaj kev hloov pauv yooj yim pab kom ua tiav qhov xav tau.
  • Kev txiav txim siab-taw qhia: cov txheej txheem cuam tshuam tau tsim los txhais cov khoom lag luam.
  • Txoj kev taw qhia tswv yim:tso cai rau koj los tsim cov qauv uas muaj ntau yam txheej txheem thiab npaj txhua txoj hauv kev los tsim cov khoom lag luam raws li lub hom phiaj thiab lub tswv yim.

Kev sib tw

txheej txheem mus kom ze rau kev tswj txheej txheem qauv
txheej txheem mus kom ze rau kev tswj txheej txheem qauv

Cov txheej txheem tuaj yeem muaj ntau hom. Cov ntsiab lus no suav nrog ntau txoj hauv kev ntawm kev simulation. So:

Txoj kev sib tw. Lawv yog lub hom phiaj los tshawb nrhiav lwm txoj hauv kev los ua tej yam thiab tsim ib txoj kev npaj. Feem ntau muaj tswv yim thiab xav tau kev koom tes ntawm tib neeg. Yog li, tsim kev xaiv thiab xaiv los ntawm lawv yog cov haujlwm tseem ceeb heev

Tactical txheej txheem. Qhov no yog los pab koj ua tiav koj txoj kev npaj. Lawv mob siab ntxiv txog cov kev tawm tsam uas yuav raug coj los ua kom tiav cov haujlwm tshaj li kev txhim kho

By granularity

Kev nthuav dav yog hais txog qib ntawm kev nthuav dav ntawm tus qauv txheej txheem thiab cuam tshuam rau hom kev taw qhia, kev piav qhia thiab kev ua raws li qhov tuaj yeem muab tau. Coarse specification txwv lawv mus rau theem nqaim, thaum zoo granularity muab lub sijhawm kom ntxaws. Qib ntawm kev nthuav dav yuav tsum nyob ntawm qhov xwm txheej tshwj xeeb.

Tus thawj tswj hwm txoj haujlwm, tus neeg sawv cev ntawm cov neeg siv khoom, cov thawj coj loj lossis nruab nrab xav tau cov lus piav qhia ntawm cov txheej txheem, vim lawv xav tau lub tswv yim ntawm lub sijhawm, pob nyiaj siv thiab kev npaj peev txheej rau lawv cov kev daws teeb meem. Ntawm qhov tsis sib xws, software developers, cov neeg siv, testers, analysts yuav nyiamtus qauv txheej txheem ntxaws uas txhua yam khoom tuaj yeem muab rau lawv nrog cov lus qhia thiab kev ua tiav tseem ceeb ntawm kev vam khom.

Thaum muaj cov qauv tsim rau cov qauv zoo, cov txheej txheem feem ntau yog cov lus piav qhia ntxhib. Cov qauv yuav tsum muab ntau yam nthuav dav.

Kev hloov pauv

txheej txheem mus kom ze rau kev tswj kev lag luam txheej txheem qauv
txheej txheem mus kom ze rau kev tswj kev lag luam txheej txheem qauv

Qhov no yog lwm txoj hauv kev ua qauv. Nws tau pom tias txawm hais tias cov qauv no yog cov ntawv sau tseg, tej zaum yuav muaj qhov sib txawv ntawm qhov kev coj ua tiag tiag. Tias yog vim li cas lub moj khaum rau kev saws me nyuam tau hloov zuj zus kom cov txheej txheem kev txhim kho kom haum rau cov xwm txheej tshwj xeeb thiab yog li ua kom lawv cov txiaj ntsig zoo.

Txoj kev mus rau kev tswj hwm tus txheej txheem kev ua lag luam tuaj yeem teeb tsa hauv ntau qhov kev hloov pauv ntawm "qis" mus rau "siab". Ntawm qhov "qis" kawg ntawm no spectrum dag txoj kev nyuaj. Whereas nyob rau hauv "sab saum toj" muaj ib tug modular tsim. Rigid txoj kev yog kiag li predetermined thiab tawm me ntsis chav rau adaptation rau qhov uas twb muaj lawm qhov teeb meem. Ntawm qhov tod tes, cov tshuab modular tuaj yeem hloov kho thiab nthuav dav kom haum rau ib lub tswv yim tshwj xeeb.

Thaum kawg, xaiv thiab kho ib txoj hauv kev tso cai rau txhua qhov haujlwm los tsim cov txheej txheem los ntawm ntau txoj hauv kev thiab kho lawv kom haum raws li qhov xav tau.

Quality of method

Nyob rau hauv feem ntau ntawm cov qauv uas twb muaj lawm tsim kom nkag siab txog cov khoom, cov kab ntawm cov qauv ntawm cov qauv thiab lawv daim ntawv thov tsis kos. Daim ntawv qhia noyuav tsom rau ob qho tib si zoo ntawm cov txheej txheem kev ua qauv thiab cov qauv kom meej meej delineate ob. Ntau lub moj khaum tau tsim los pab kom nkag siab txog cov khoom. Cov qauv no kuj muaj qhov zoo ntawm kev muab ib qho kev sib xws thiab kev piav qhia ntawm cov qauv qauv hauv tib lossis ntau hom siv tib yam qauv qauv. Nyob rau hauv luv luv, nws muaj peev xwm ua ib qho kev ntsuam xyuas ntawm ob qho tib si zoo ntawm cov khoom thiab cov txheej txheem, uas twb yav tas los txhais.

Cov khoom muaj feem xyuam rau cov txheej txheem kev ua lag luam:

  • Kev nthuav qhia: qib uas cov txheej txheem muab tau tuaj yeem pom cov qauv ntawm txhua tus lej thiab hom kev siv.
  • Randomness: degree ntawm kev ywj pheej thaum ua qauv tib cheeb tsam.
  • Kev lees txais: Qib ntawm cov txheej txheem muab tau tshwj xeeb tshwj xeeb rau thaj chaw thov tshwj xeeb.
  • Clarity: Qhov yooj yim uas cov neeg koom nkag nkag siab tias yam ua haujlwm li cas.
  • Kev sib raug zoo: qhov twg ntawm tus kheej submodels ntawm tus qauv qauv yog cohesive.
  • Completeness: qib ntawm tag nrho cov ntsiab lus tsim nyog sau tau sawv cev hauv tus qauv.
  • Kev Ua Haujlwm: Qhov twg ntawm cov txheej txheem simulation siv cov peev txheej xws li sijhawm thiab tib neeg.

Kev ntsuas tus qauv rau DEMO qauv qauv tau hais tias tau qhia qhov tsis txaus ntawm Q-ME. Ib qho yog tias nws tsis suav nrog qhov ntsuas qhov ntsuas kom pom qhov zoo ntawm cov qauv kev lag luam, ua rau nws nyuaj rau kev sib piv cov khoom sib txawv.txav hauv qhov qeb duas tag nrho.

Nws tseem muaj txoj hauv kev los ntsuas qhov xwm txheej ntawm cov khoom, hu ua qhov kev ntsuas qhov nyuaj, tau thov los ntawm Rossi (1996). Metamodel txoj kev yog siv los ua lub hauv paus rau kev xam cov kev txwv no. Piv nrog rau cov txheej txheem tau thov los ntawm Krogstie, qhov ntsuas tau tsom mus rau qib kev tshaj lij tshaj li ntawm tus qauv.

Cov kws sau ntawv (Cardoso, Mendling, Neuman thiab Reijers, 2006) tau siv cov kev ntsuas nyuaj los ntsuas qhov yooj yim thiab nkag siab ntawm tus qauv tsim. Qhov no tau lees paub los ntawm kev tshawb fawb tom qab los ntawm Medling. Nws tau sib cav tias tsis muaj kev siv cov ntsuas kev ntsuas zoo, cov txheej txheem yooj yim tuaj yeem ua qauv hauv txoj kev nyuaj thiab tsis tsim nyog. Qhov no, nyob rau hauv lem, ua rau txo kev nkag siab, ntau dua cov nqi kho, thiab tejzaum nws ua tsis tau zoo ntawm cov txheej txheem nyob rau hauv nqe lus nug.

Quality of model

txheej txheem mus kom ze rau kev tswj qauv
txheej txheem mus kom ze rau kev tswj qauv

Cov qauv tsim ntxov tshaj plaws tau cuam tshuam qhov kev hloov pauv ntawm cov txheej txheem, nrog rau kev xaiv ua tau los ntawm kev siv raws li cov ntsiab lus tseem ceeb, muaj cov thev naus laus zis, ib puag ncig tshwj xeeb, kev txwv, thiab lwm yam.

Ntau qhov kev tshawb fawb tau ua tiav ntawm qhov zoo ntawm cov qauv, tab sis tsawg dua kev mloog tau them rau kev ua haujlwm nws tus kheej. Cov teeb meem no tsis tuaj yeem soj ntsuam tag nrho, tab sis hauv kev xyaum muaj plaub lub ntsiab lus qhia rau qhov no. Nov yog:

  • top-down zoo qauv;
  • ntsuas dej ntws;
  • kev tshuaj xyuas;
  • pragmatic cov lus pom zoo.

Hommes tau hais tias txhua tus yam ntxwv tseem ceeb ntawm cov qauv zoo tuaj yeem muab faib ua 2 pawg raws li qhov raug thiab muaj txiaj ntsig. Kev ua kom raug yog los ntawm kev ua raws li qhov kev teeb tsa mus rau qhov tshwm sim uas yog qauv los ntawm nws cov kev cai syntactic. Kev simulation kuj yog lub hom phiaj ywj pheej.

Qhov kev siv hluav taws xob tuaj yeem pom raws li tus qauv, Homms kuj ua rau muaj qhov sib txawv ntxiv ntawm qhov tseeb ntawm qhov tseeb (empirical, syntactic thiab semantic zoo) thiab extrinsic correctness (validity).

Tsis tas li ntawd, txoj hauv kev dav dua yuav tsum ua raws li kev hais lus tsis yog lus, raws li tau ua los ntawm Krogst siv lub hauv paus saum toj saud hu ua SEQUAL. Nws txhais tau ntau qhov zoo raws li kev sib raug zoo ntawm tus qauv, kev paub sab nraud, kev sau npe, qauv lus, thiab kev kawm ua haujlwm.

Txawm li cas los xij, lub moj khaum no tsis muab txoj hauv kev los txhais cov qib sib txawv ntawm qhov zoo, tab sis yog siv dav rau cov txheej txheem kev lag luam hauv kev sim ntsuas. Cov qib tshiab ntawm qhov zoo tau raug txheeb xyuas raws li cov kev tshawb fawb yav dhau los ua los ntawm Moody siv cov qauv kev xav.

Peb tus qauv

  1. Syntactic: ntsuas qib uas tus qauv ua raws li kev cai grammatical ntawm cov qauv qauv siv.
  2. Semantic: Tshawb nrhiav seb daim ntawv thov puas ua tau raws li tus neeg siv khoom xav tau.
  3. Pragmatic: Qhia meej seb tus qauv puas tuaj yeem nkag siab txaus los ntawm txhua tus neeg koom nrog hauv cov txheej txheem ua qauv. Ntawd yog, nws yuav tsumcia cov neeg txhais lus siv kom haum lawv cov kev xav tau.

Txoj kev tshawb fawb tau sau tseg tias cov txheej txheem zoo siv tau yooj yim thiab muaj txiaj ntsig zoo rau kev ntsuas cov qauv txheej txheem, tab sis nws muaj kev txwv ntawm kev ntseeg tau thiab ua rau nws nyuaj rau kev txheeb xyuas qhov tsis xws luag. Nws yog lawv uas coj mus rau kev kho kom zoo ntawm cov qauv los ntawm kev tshawb fawb tom ntej los ntawm Krogstie.

Peb yam ntawm qhov zoo

txheej txheem mus kom ze rau kev tswj
txheej txheem mus kom ze rau kev tswj
  1. Lub cev: Puas yog tus qauv sab nraud tsis tu ncua thiab nkag mus rau cov neeg tuaj saib kom nkag siab.
  2. Empirical: Seb daim ntawv thov yog ua qauv raws li cov cai tsim rau cov lus ntawd.
  3. Kev sib raug zoo: pom seb puas muaj kev pom zoo ntawm cov neeg koom nrog hauv kev ua qauv.

Yog li, peb tau txiav txim siab qeb ntawm cov txheej txheem ua qauv. Peb txheeb xyuas cov txheej txheem thiab theem uas paub niaj hnub no.

Pom zoo: