面向服务的软件工程——业务流程合规性(Business Process Compliance)(week12)

server/2024/11/20 9:21:57/

文章目录

  • 一、前言
  • 二、重点概念
      • 商业流程合规性概览
      • 什么是合规性?
      • 确保合规性
      • 合规生态系统
      • 基于设计的合规性方法
      • 合规性要求的来源
      • 示例:合同片段
      • 合规性的形式化
      • 义务逻辑
      • 标准义务逻辑
      • 违规悖论
      • 模型规范
      • 使规范显性化
      • 规则合并
      • 删除冗余
      • 检测冲突
      • 正常的FCL形式
      • 义务逻辑(备注)
      • 义务逻辑(备注续)
      • BPM合规性:开户流程
      • 商业流程合规性
      • 如何检查合规性
      • 合规之旅
      • 添加注释
      • 流程的规则
      • 理想语义:合规性检查
      • 活动的义务链
      • 合规性检查算法
      • 最终合规性定义
      • 合规性检查:示例
      • 义务分类
      • 即时与持续性义务
      • 成就与维持义务
      • 抢先或非抢先义务
      • 结构性合规:顺序
      • 结构性合规:AND-分裂与AND-合并
      • 结构性合规:XOR-分裂与XOR-合并
      • 非抢先义务(示例)

一、前言

面向服务的软件工程这门课程的知识点是比较集中,并且比较实用的,在工作当中,如果你是一个leader,这些基本概念,知识,思想应该是很有用的。接下来就让我们一起学完这门课程的最后一个部分

二、重点概念

商业流程合规性概览

**商业流程合规性(Business Process Compliance,BPC)**是指确保企业的业务流程符合相关的合规要求。因此,BPC 是业务流程管理(BPM)和合规管理(CM)的重要组成部分。

什么是合规性?

合规性是指确保业务操作、流程和实践符合给定的规范性(通常是法律)文件要求。合规性可以分为以下几种类别:

  • 法规

    • 巴塞尔协议 II(Basel II)
    • 萨班斯-奥克斯利法案(Sarbanes-Oxley Act)
    • 美国爱国者法案(OFAC,USA Patriot Act)
    • 加拿大金融机构监督办公室“封锁实体”名单(OSFI “Blocked Entity” Lists)
    • 健康保险可移植性和责任法案(HIPAA)
    • 格雷厄姆-里奇-布利利法案(Graham-Leach-Bliley Act)
  • 标准

    • 最佳实践模型
    • SAP 解决方案地图
    • ISO 9000
    • 医疗指南
  • 合同

    • 服务协议
    • 客户合同
    • 保修保险政策
    • 商业伙伴关系

确保合规性

合规性是两个规范集之间的关系,即业务流程的正式规范与规范规则的正式规范之间的对齐。确保业务流程合规性需要一种适合的语言,用于表达规范性规定,以便:

  • 识别出规范系统中的形式漏洞、死锁和不一致之处。
  • 使隐含条件显性化。

合规生态系统

合规性涉及法律空间、连接点和流程空间之间的关系。合规检查是其中的重要环节。

基于设计的合规性方法

使用基于义务逻辑的形式化语言来表示和分析源自合规要求的规范性立场。例如:

  • 创建和批准采购请求必须由两个不同的采购人员完成。

    形式化表达如下:

    c1 : CreatePR(x , y ), PurchaseOfficer (y ) ⇒ O¬ApprovedPR(x , y )
    

    术语解释

    • 源于:如果某种情况或问题源于某事物,意味着它最初是由该事物引起的。
    • 义务逻辑:表达责任的逻辑。

合规性要求的来源

合规性要求可能来自内部(治理)或外部(法规/标准/合同)。咨询顾问会定义控制目标以履行合规义务。

规范系统的关键组成部分包括:

  • 定义性条款(规则)
  • 规范性条款(规范)
    • 义务
    • 权限
    • 禁止
    • 违规

示例:合同片段

  1. “优质客户”是指在商品上花费超过 10,000 美元的客户。
  2. (1) 标记为“特殊订单”的服务需加收 5% 的附加费。优质客户免除此附加费。
    (2) 供应商应在一天内提供采购订单中的商品。
  3. 如果未能满足第 1 或第 2 条中的任何条件,采购方有权向供应商收取每小时 100 美元的罚款。

合规性的形式化

合规性可以通过以下形式化方法来表达:

  • 条款形式(Sergot-Kowalski, Ghose-Koliadis, Hoffman-Weber-Governatori)
  • 时态逻辑(van der Aalst, Rinde

http://www.ppmy.cn/server/143436.html

相关文章

Objective-C 1.0和2.0有什么区别?

Objective-C ObjC比较小众,在1980年左右由Stepstone公司的Brad Cox和Tom Love发明。后来NeXT公司获得ObjC语言使用权,再后来到1996年NeXT被苹果公司收购也变成苹果公司使用,Mac市场占有率本身就不高,ObjC没有太多程序员。在移动互…

Mysql 数据库架构

1. 概念 数据库架构是指数据库的总体设计结构,它描述了数据库的组织方式、数据存储方式、数据访问方式以及各个组件之间的关系。一个良好的数据库架构能够有效地存储和管理数据,支持高效的数据访问和操作,并且能够适应业务需求的变化。 2. …

深入理解Flutter生命周期函数之StatefulWidget(一)

目录 前言 1.为什么需要生命周期函数 2.开发过程中常用的生命周期函数 1.initState() 2.didChangeDependencies() 3.build() 4.didUpdateWidget() 5.setState() 6.deactivate() 7.dispose() 3.Flutter生命周期总结 1.调用顺序 2.函数调用时机以及主要作用 4.生…

同三维T80004EHU 高清HDMI/USB编码器

同三维T80004EHU 高清HDMI/USB编码器 1路HDMI或1路USB输入,带1路3.5音频输入,高清1080P60 同三维T80004EHU 高清HDMI/USB编码器 产品简介: 同三维T80004EHU高清HDMI/USB编码器是一款1路HDMI或1路USB高清编码器。可将 HDMI 或USB视频源编码…

go版本,google-authenticator动态口令算法,二次安全校验

go版本,google-authenticator动态口令算法,二次安全校验 登录安全二次校验,可以有效的提升账户安全等级,目前常用的方法:手机短信二次校验、动态口令 本文介绍google-authenticator动态口口令算法,以及加解…

sql中的聚合函数

SQL中的聚合函数用于对表中的数据进行汇总计算,常用来生成统计信息,例如总和、平均值、最大值、最小值等。它们通常与GROUP BY子句一起使用,以对数据分组后再计算聚合结果。 以下是SQL中常用的聚合函数及其详细讲解: 1. COUNT( )…

【原创】如何备份和还原Ubuntu系统,非常详细!!

前言 我在虚拟机装了一个xfce4的Ubuntu桌面版,外加输入法、IDEA等,我想将这个虚拟机里的系统直接搬到物理机中,那我可以省的再重新装一遍、配置xfce4桌面、修改一堆快捷键还有配置idea了,那直接说干就干。 本教程基于Ubuntu24.0…

网络百问百答(一)

什么是链接? 链接是指两个设备之间的连接,它包括用于一个设备能够与另一个设备通信的电缆类型和协议。OSI参考模型的层次是什么? 有7个OSI层:物理层,数据链路层,网络层,传输层,会话层…