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

文章目录

  • 一、前言
  • 二、重点概念
      • 商业流程合规性概览
      • 什么是合规性?
      • 确保合规性
      • 合规生态系统
      • 基于设计的合规性方法
      • 合规性要求的来源
      • 示例:合同片段
      • 合规性的形式化
      • 义务逻辑
      • 标准义务逻辑
      • 违规悖论
      • 模型规范
      • 使规范显性化
      • 规则合并
      • 删除冗余
      • 检测冲突
      • 正常的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.rhkb.cn/news/474490.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

基于Java Springboot外卖平台系统

一、作品包含 源码数据库设计文档万字PPT全套环境和工具资源部署教程 二、项目技术 前端技术:Html、Css、Js、Vue、Element-ui 数据库:MySQL 后端技术:Java、Spring Boot、MyBatis 三、运行环境 开发工具:IDEA/eclipse 数…

vue2动态导出多级表头表格

需求:导出多级表格,如下,每个人名对应的是不同的城市金钱和年龄,日期占俩行,需要根据数据进行动态展示 1.效果 2.关键代码讲解 2.1数据源 2.2所需插件 npm install xlsx 2.3关键代码 创建name组和date组&#xff0c…

散户持股增厚工具:智能T0算法交易

最近市场很多都说牛市,但是大多数朋友怎么来的又怎么吐出去了。这会儿我们用T0的智能算法交易又可以增厚我们的持仓收益。简单来说,就是基于用户原有的股票持仓,针对同一标的,配合智能T0算法,每天全自动操作&#xff0…

独立开发:一人公司模式下副业产品的全流程

在数字经济的浪潮下,越来越多的开发者选择成为自由职业者或创立一人公司,通过副业产品开发实现个人价值与经济收益的双重提升。本文将围绕一人公司模式下副业产品的设计、开发、运营及变现落地全流程,提供一套实战指南,帮助有志于…

SD模型微调之Textual Inversion和Embedding fine-tuning

​ 🌺系列文章推荐🌺 扩散模型系列文章正在持续的更新,更新节奏如下,先更新SD模型讲解,再更新相关的微调方法文章,敬请期待!!!(本文及其之前的文章均已更新&a…

【Vue笔记】基于vue3 + element-plus + el-dialog封装一个自定义的dialog弹出窗口组件

这篇文章,介绍一下如何使用vue3+element-plus中的el-dialog组件,自己封装一个通用的弹出窗口组件。运行效果如下所示: 目录 1.1、父子组件通信 1.2、自定义VDialog组件(【v-model】模式) 1.2.1、编写VDialog组件代码 1.2.2、使用VDialog组件 1.2.3、运行效果 1.3、自…

Spring Cloud Alibaba [Gateway]网关。

1 简介 网关作为流量的入口,常用功能包括路由转发、权限校验、限流控制等。而springcloudgateway 作为SpringCloud 官方推出的第二代网关框架,取代了Zuul网关。 1.1 SpringCloudGateway特点: (1)基于Spring5,支持响应…

不完全微分PID控制算法

不完全微分PID控制算法是一种改进的PID控制方法,主要针对PID控制中的微分环节对高频噪声敏感的问题。通过对微分项进行优化和改造,减少其对噪声的放大作用,同时保留对系统动态变化的响应能力。 不完全微分PID控制原理 不完全微分的核心思想是…

DataOps for LLM 的数据工程技术架构实践

导读 在 LLM 蓬勃发展的今天,数据工程已成为支持大规模 AI 模型训练的基石。DataOps 作为数据工程的重要方法论,通过优化数据集成、转换和自动化运维,加速数据到模型的闭环流程。本文聚焦新一代数据 & AI 集成工具- Apache SeaTunnel 在…

go-zero(七) RPC服务和ETCD

go-zero 实现 RPC 服务 在实际的开发中,我们是通过RPC来传递数据的,下面我将通过一个简单的示例,说明如何使用go-zero框架和 Protocol Buffers 定义 RPC 服务。 一、生成 RPC项目 在这个教程中,我们根据user.api文件&#xff0…

【c++丨STL】list模拟实现(附源码)

🌟🌟作者主页:ephemerals__ 🌟🌟所属专栏:C、STL 目录 前言 一、节点、迭代器以及函数声明 二、list功能实现 1. 节点 2. 迭代器 迭代器的默认构造 operator* operator-> 前置和-- 后置和--…

SpringBoot:不支持发行版本17超详细解决办法

一开始linux中就已经下好了JDK21,但是后来创建项目的时候选用了JDK23,导致环境错乱,估计大部分都是因为这个原因,接下来我会一步步带大家解决。 检查系统环境(以Ubuntu为例) 没有下载JDK的可以在官网下载…

计算机网络中的数据包传输机制详解

💓 博客主页:瑕疵的CSDN主页 📝 Gitee主页:瑕疵的gitee主页 ⏩ 文章专栏:《热点资讯》 计算机网络中的数据包传输机制详解 计算机网络中的数据包传输机制详解 计算机网络中的数据包传输机制详解 引言 数据包的基本概念…

Springboot3.3.5 启动流程之 tomcat启动流程介绍

在文章 Springboot3.3.5 启动流程(源码分析) 中讲到 应用上下文(applicationContext)刷新(refresh)时使用模板方法 onRefresh 创建了 Web Server. 本文将详细介绍 ServletWebServer — Embedded tomcat 的启动流程。 首先&…

HarmonyOs鸿蒙开发实战(9)=>解析json数据,自动生成实体Bean插件-jsonFormat使用教程(铁粉福利)

1.条件:基于HarmonyOs5.0.0版本. 2.老规矩先看效果> 3.第一步 >下载jsonFormat.jar文件,使用版本1.0.5-deveco https://plugins.jetbrains.com/plugin/24930-jsonformat/versions/stable 4.第二步 > 在DevEco Stuio中安装插件 5.第三步 > 新建bean文件&#xff…

VSCode+ESP-IDF开发ESP32-S3-DevKitC-1(2)第一个工程 LED心跳灯

VSCodeESP-IDF开发ESP32-S3-DevKitC-1(2)第一个工程 LED心跳灯 前言1.新建工程2.编写控制LED代码3.LED控制独立成.c和.h文件 前言 实际开发中很多时候我们需要有一个类似心跳灯或运行指示灯的灯以不同的状态闪烁以表示程序的运行状态,所以第…

系统掌握大语言模型提示词 - 从理论到实践

以下是我目前的一些主要个人标签: 6 年多头部大厂软件开发经验;1 年多 AI 业务应用经验,拥有丰富的业务提示词调优经验和模型微调经验。信仰 AGI,已经将 AI 通过自定义 Chatbot /搭建 Agent 融合到我的工作流中。头部大厂技术大学…

FromData格式提交接口时入参被转成JSON格式问题

本地上传文件后通过事件提交文件,一般先通过前端组件生成文本流,在通过接口提交文本流,提交文本流一般使用FormData的入参形式传入,接口请求头也默认"Content-Type": “multipart/form-data”,但是某些场景统…

【插件】重复执行 pytest-repeat

安装 pip3 install pytest-repeat 用法 1.命令行 pytest --count num pytest --count 32.装饰器 pytest.mark.repeat(num) #num运行次数 pytest.mark.repeat(5)#执行结果如下:

【Spring】循环引用 解决流程,只用一二级缓存?

文章目录 循环引用循环引用循环引用解决流程为什么不只用一二级缓存?:red_circle: 循环引用 循环引用 循环依赖:循环依赖其实就是循环引用,也就是bean互相持有对方,最终形成闭环。比如A依赖于B,B依赖于A 循环依赖在…