计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2014年
7期
2115-2123
,共9页
业务过程管理%合规性验证%标注表达式%过程模型%满足性求解
業務過程管理%閤規性驗證%標註錶達式%過程模型%滿足性求解
업무과정관리%합규성험증%표주표체식%과정모형%만족성구해
business process management%compliance checking%process model%annotation expression%satisfiability solving
当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束.如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题.确保过程模型的合规性是实现过程感知系统的合规性的重要前提.针对过程设计阶段过程模型的合规性,扩展前期关于语义标注过程模型的可执行性分析的工作,提出了基于标注的合规性验证方法.方法包括:合规性规则模式的标注表达式生成和基于合规性标注的过程模型的可执行性分析方法.合规性标注表达式描述了规则所关联的活动及其相应的合规性约束,对合规性验证的调试及运行时合规性检测评估能起到有效的支持作用;合规性标注的过程模型的可执行分析方法是利用满足性求解器对合规性信息标注后的过程模型是否可执行进行求解.通过银行开户的流程案例,证明了上述方法的有效性.
噹前,企業的業務活動受到越來越多的來自政府法律法規、行業標準及自身內控製度的規範約束.如何確保支撐企業業務活動的過程感知繫統是閤規的已成為信息繫統(IS)研究領域的熱點問題.確保過程模型的閤規性是實現過程感知繫統的閤規性的重要前提.針對過程設計階段過程模型的閤規性,擴展前期關于語義標註過程模型的可執行性分析的工作,提齣瞭基于標註的閤規性驗證方法.方法包括:閤規性規則模式的標註錶達式生成和基于閤規性標註的過程模型的可執行性分析方法.閤規性標註錶達式描述瞭規則所關聯的活動及其相應的閤規性約束,對閤規性驗證的調試及運行時閤規性檢測評估能起到有效的支持作用;閤規性標註的過程模型的可執行分析方法是利用滿足性求解器對閤規性信息標註後的過程模型是否可執行進行求解.通過銀行開戶的流程案例,證明瞭上述方法的有效性.
당전,기업적업무활동수도월래월다적래자정부법율법규、행업표준급자신내공제도적규범약속.여하학보지탱기업업무활동적과정감지계통시합규적이성위신식계통(IS)연구영역적열점문제.학보과정모형적합규성시실현과정감지계통적합규성적중요전제.침대과정설계계단과정모형적합규성,확전전기관우어의표주과정모형적가집행성분석적공작,제출료기우표주적합규성험증방법.방법포괄:합규성규칙모식적표주표체식생성화기우합규성표주적과정모형적가집행성분석방법.합규성표주표체식묘술료규칙소관련적활동급기상응적합규성약속,대합규성험증적조시급운행시합규성검측평고능기도유효적지지작용;합규성표주적과정모형적가집행분석방법시이용만족성구해기대합규성신식표주후적과정모형시부가집행진행구해.통과은행개호적류정안례,증명료상술방법적유효성.
