An Information Flow Control Model for Workflows Using OCL as It is Constraint Language

• Main Authors: Chien-Jung Wu, 吳建榮
• Other Authors: Shih-Chien Chou
• Format: Others
• Language: zh-TW
• Published: 2005
• Online Access: http://ndltd.ncl.edu.tw/handle/11895440129336673376

碩士 === 國立東華大學 === 資訊工程學系 === 93 === This thesis proposes an information flow control model for workflows,which is named EWfACL(Extended WfACL). It is an extension of our previous research WfACL(Information flow control model for workflows based on Access control list).WfACL offers various features to prevent information leakage during the execution of workflows. Nevertheless,WfACL is weak in describing and enforcing constraints. In this regard,We extend WfACL by adding the ability of describing and enforcing constraints. The extension results in EWfACL, In extending WfACL,we first tried to define a constraint language,After several months of research, we identitied that OCL(object constraint language) is very powerful in describing the constraints that cannot be described by WfACL. We thus combined OCL and WfACL to form the new model EWfACL. This thesis describes the WfACL and the combination. It also show the interfaces to create workflows and constraints.