公开(公告)号：CN105574145A

公开(公告)日：2016-05-11

申请号：CN201510938344.1

申请日：2015-12-15

Applicant: 上海电机学院

Inventor： 杨志和 ,  陈顺 ,  覃海焕

IPC: G06F17/30

CPC classification number: G06F16/40

Abstract: 本发明提供了一种现代家庭档案电子化管理方法和系统。本发明的现代家庭档案电子化管理系统包括：模拟客厅模块、新增记录模块、修改记录模块、删除记录模块以及系统管理模块；其中，模拟客厅模块存储有多个分类的家庭档案相关信息，其中家庭档案相关信息以模拟客厅的人机交互场景和界面的方式显示在显示屏上；新增记录模块用于向多个分类的家庭档案相关信息增加数据，修改记录模块用于增加多个分类的家庭档案相关信息的属性，删除记录模块用于隐藏多个分类的家庭档案相关信息中的数据以使得隐藏的数据不被显示在显示屏上。

公开(公告)号：CN106682873A

公开(公告)日：2017-05-17

申请号：CN201611186430.2

申请日：2016-12-20

Applicant: 上海电机学院

Inventor： 覃海焕 ,  计春雷

IPC: G06Q10/10

CPC classification number: G06Q10/103

Abstract: 本发明涉及一种基于目标的以Artifact为中心的工作流事务模型，其特征在于，包括以Artifact为中心的工作流模型W、业务目标集B及业务目标集B中业务目标之间的关系BR、任务的事务行为映射函数H、任务的事务依赖集D，以及可接受终止状态集ATSs。本发明的另一个技术方案是提供了一种上述工作流事务模型的验证方法。在本发明提供的模型中，高层需求可通过目标模型表达；且本发明提供一种放松的自定义失败原子性、任务事务行为，以及相应的有效性规则和验证方法。

公开(公告)号：CN108108878A

公开(公告)日：2018-06-01

申请号：CN201711263280.5

申请日：2017-12-04

Applicant: 上海电机学院

Inventor： 覃海焕

IPC: G06Q10/06 ,  G06Q10/10

Abstract: 本发明提供了一种基于目标的可配置工作流事务模型，包括基于目标的支持并行化的以Artifact为中心的工作流模型W、任务的事务行为映射函数H、任务的事务依赖集D，以及可接受终止状态集ATSs。本发明还提供了基于目标的可配置工作流事务模型的动态验证方法。在该模型中，高层需求可通过目标模型表达，目标模型可使用artifact属性域表达式描述，并链接到事务管理，为后续工作流事务快速响应高层需求或业务逻辑变化打好基础。在运行时，提供有效的事务前向恢复机制，给出了失败流程的运行时动态配置和动态验证方法。本发明兼顾业务目标对事务管理的影响，同时支持运行时的事务配置，大大提高了执行成功率。