第 5 章 ワークフローのモデル化
5.6 モデルの記述
次に，SQLからガード関数へ変換した図を図5.5に示す．プレースRID 1には帳票の 申請を行おうとする担当者のトークン情報が，プレースRDBにはその申請に対して許可 されている担当者，すなわち学生のトークン情報が含まれている．そして，トランジショ
ンLogin 1は，2つのプレースのトークン情報が合致した場合のみ発火が可能となり，申
請を行なう担当者のを振り分けが可能となる．
図 5.5: ガード関数による振り分けルール表現
ldb id
id id ixd
ptr id
id ptr id
ixd
str ixd wp
wp str
wp wp form
ldb ldb
ldb
CID_1 SID_1
AJ_1 [id=ldb]
IF_1
SF_1
ST_1 Login_1
[id=ldb]
RDBP_1 1`"A"
LDB AID_1
ID
AIDP_1
1`"A"++1`"S"++1`"F"
ID IID_1InputID
ID
RID_1 ID
CD_1 RedData
""
STRING SDT_1
(1,"") IxD
AR_1 IxD FF_1
WP
RedDataID_1
""
STRING DF_1
WP RDBRDB
LoginDB LDB
FC_1 regfrm
FORM
SLP_1 LDB
Snk_1 Out Portal Src_1
In ptr Portal In
Out RDB
RedData
RedData
図 5.7: 履修モデル
再履修サブプロセスを図5.8に示す．再履修サブプロセスの流れは，履修サブプロセス と同様に，学生が申請を行なうことができ，まずこの権限を確認する．そして，帳票の表 示・記入が終わると主指導教員および講義担当教員へ帳票が回覧される．いずれかの教員 から承認が得られないと処理が終了する．2教員から承認されると，帳票が送信され，受 理者である教務課の担当者の権限を確認した後，帳票が受理され，再履修サブプロセスの 処理が終了する．
ptr id
reject ldb reject
ptr
id id id
c wp
accept accept
accept accept
accept c
wp
accept accept accept ldb
ldb ldb
SID_2
Logout_2 SFLA_2 [id=ldb]
LJ_2 HF_2
SVJ_2
SF_2 Login_2
[id=ldb]
AIDP_2
1`"A"++1`"S"++1`"F"
ID
RDBP_2 1`"A"
LDB End_2
Logout IID_2
1`"I00504"
ID
RID_2 ID
ACLJ_2CHK.all() CHK
AA_2 JUDGE LA_2
JUDGE ACSVJ_2CHK.all()
CHK
FR_2 WP RDBRDB
LoginDB LDB
LR_2 JUDGE SVA_2
JUDGE
SLP_2 LDB Src_2
In ptr Portal
Snk_2 Out Portal Out In
RDB
図 5.8: 再履修モデル
受講者通知サブプロセスを図5.9に示す．受講者通知サブプロセスは，教務課に所属す る担当者であるか確認し，帳票の表示・記入を行なう．そして，受理者の権限が教員であ ることを確認して，帳票を開示することができ，このサブプロセスの処理を終える．
ldb id id
id ptr id
ldb
form
form
ptr wp wp wp
wp ldb ldb SID_3
CF_3 [id=ldb]
IF_3
ST_3 Login_3
[id=ldb] AIDP_3
1`"A"++1`"S"++1`"F"
ID
RDBP_3 1`"F"
LDB IID_3
1`"I01401"
ID
RID_3 ID
RDBRDB LoginDB
LDB
FCK_3 regfrm FORM FR_3
WP
FC_3 regfrm
FORM
DF_3 WP SLP_3
LDB
FCF_3 Out Portal Src_3
In ptr Portal In
Out RDB
図 5.9: 受講者通知モデル
休講通知サブプロセスを図5.10に示す．休講通知サブプロセスは，申請者が教員であ ることを確認し，帳票の表示・記入を行なう．そして，受理者の権限が教務課の担当者で あることを確認して，帳票を受理し，このサブプロセスの処理を終了する．
ldb id
ldb id ptr id
form
ldb
wp
wp form
ldb ldb
ptr wp wp SID_4
SF_4 [id=ldb]
IF_4
ST_4 Login_4 [id=ldb]
RDBP_4 1`"A"
LDB AIDP_4
1`"A"++1`"S"++1`"F"
ID
RID_4 ID IID_4
1`"I00201"
ID
RDBRDB LoginDB
LDB
FF_4clfrm FORM FR_4
WP
DF_4 WP FC_4
clfrm FORM
SLP_4 LDB Src_4 In
ptr Portal
Snk_4 Out Portal Out In
RDB
図 5.10: 休講通知モデル
点数登録サブプロセスを図5.11に示す．点数登録サブプロセスは休講通知サブプロセ
スと同様に，申請者が教員であることを確認し，帳票の表示・記入を行なう．そして，受 理者の権限が教務課の担当者であることを確認して，帳票を受理し，このサブプロセスの 処理を終了する．
ldb id ldb
id ptr id
pform
wp
ptr ixd
ixd ixd wp
pform ldb
wp wp ldb ldb SID_5
CF_5 [id=ldb]
SF_5
IF_5 ST_5 Login_5 [id=ldb]
RDBP_5 1`"A"
LDB AIDP_5
1`"A"++1`"S"++1`"F"
ID RID_5
ID IID_5
1`"I00201"
ID
PtFORMFC_5 2`ptfrm
PFORM
ST_5 1`(1,"AFF") IxD AR_5
IxD FF_5
WP
FCC_5 PtFORM 2`ptfrm
PFORM RDBRDB LoginDB
LDB
DF_5 WP SLP_5
LDB
Snk_5 Out Portal Src_5
In ptr Portal In
Out RDB
PtFORM PtFORM
図 5.11: 点数登録モデル