K THUT KIM TRA TNH HP L

CA CC M HNH TIN TRNH NGHIP V

o Cng Anh
Kha QH-2007-I/CQ , ngnh Cng Ngh Thng Tin

Tm tt kha lun tt nghip:

Mi c quan, t chc doanh nghip mun hot ng hiu qu u cn phi xy dng
cho mnh h thng quy trnh nghip v ph hp. BPM (Business Process Management) l mt
tp hp cc cng ngh v cc chun h tr vic thit k, t ng ha v qun tr cc quy trnh
nghip v cho t chc doanh nghip. Mun t ng ha c cc quy trnh nghip v th
trc ht cn phi m hnh ha cc quy trnh nghip v . BPM cung cp chun BPMN
(Business Process Modeling and Notation) dng m hnh ha cc quy trnh nghip v.
Ngi lm nhim v thit k v m hnh ha quy trnh nghip v cn phi tun th theo
chun ny c v mt c php v ng ngha ca m hnh. Trong ti kha lun ny ti xin
trnh by mt k thut dng kim chng tnh ng n v hp l ca cc m hnh quy trnh
nghip v so vi chun c t BPMN 2.0. K thut ny c thc hin vi mt cng c h
tr c t cc h thng thng tin rt mnh l USE (UML-based Specification Environment).
BPM (Business Process Model) metamodel c biu din trong USE di dng class
diagram v cc rng buc ng ngha, c php c biu din di dng cc iu kin bt bin
OCL (OCL invariants). Cc m hnh quy trnh (hay tin trnh) nghip v c biu din nh
cc th hin (instances) ca BPM metamodel v c kim tra tnh hp l so vi cc iu
kin bt bin bi USE.
T kha: BPMN, metamodel, USE (UML-based Specification Environment), OCL