没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
工作流模型及其形式化描述
工作流模型及其形式化描述
工作流
工作流元模型
工作流模型
工作流管理系统
需积分: 9
147 下载量
57 浏览量
2007-08-10
09:09:35
上传
评论
收藏
203KB
PDF
举报
温馨提示
立即下载
详细论述各个子模型及其相互关系,并给出三维工作流模型的形式化描述。
资源推荐
资源评论
工作流事务的形式化描述和实现 (2009年)
浏览:124
工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法.这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿.形式化的事务模型描述以及基于集合论和图论
工作流组织资源建模及其形式化配置方法 (2009年)
浏览:70
提出了基于统一建模语言(UML)和多色集合(PS)的工作流组织资源模型及其形式化配置方法,建立了包含部门和工作组的工作流组织资源UML类图模型.结合制造企业的工作流过程,对通用的组织资源UML类图模型进行了实例化,建立了工作流组织资源的UML对象图模型.基于PS理论,对工作流组织资源的类图模型和对象图模型进行了形式化描述,建立了工作流组织资源的PS层次结构模型.通过对PS围道矩阵的递阶推理,完成了
基于WfSL的柔性工作流模型形式化定义 (2007年)
浏览:31
针对传统工作流模型柔性不足的问题,考虑各种动态需求以及流程中的可变因素,使用工作流规格说明语言WfSL对柔性工作流模型进行形式化定义,从而增加了模型定义的柔性,使其可以动态地进行过程、角色、状态和异常定义的修改,实现了工作流的动态性和灵活性。
P2P网络模型的形式化描述方法
浏览:37
P2P网络模型的形式化描述方法 本资源为英文原版文献用于介绍p2p的网络模型,可以让初学者更加容易了解p2p的结够
BLP改进模型的形式化描述及自动化验证.pdf
浏览:126
BLP改进模型的形式化描述及自动化验证.pdf
基于持久消息队列的工作流管理系统研究
浏览:182
4星 · 用户满意度95%
包括以下工作:工作流管理系统的体系结构设计、过程模型的建模以及对该模型进行描述的过程定义语言开发、工作流的实现技术研究。 本文首先结合当前主流建模理论和方法,提出了过程模型的设计原则,并建立了...
基于角色的工作流建模研究
浏览:179
传统的基于过程的工作流建模方法以过程为中心,忽视了角色之间的交互。从角色及其交互角度出发,考察了现有的 ...的外部接口,突出角色之间的协作关系,Petri 网的形式化语义方便进行模型的验证和分析。
论文研究-角色建模工具RModeler的设计与实现.pdf
浏览:100
提倡在对象技术中基于角色识别对象及其协调关系,然后展开到类模型、接口模型、实体模型,同时对角色模型的形式化定义和表示方法进行了系统地研究,并在此基础上设计和实现了基于RML的可视化角色建模工具RModeler。...
一种新型的访问控制模型及其实现 (2005年)
浏览:143
针对基于角色的访问控制模型的不足,引入了数据和工作流元素,提出了一种基于多数据库、工作流与角色的访问控制模型(MDWRBAC),并给出了模型各要素的定义、关系及其形式化描述。最后将该模型应用到实例中,较好地...
基于任务的群体感知模型的形式化描述.kdh
浏览:60
4星 · 用户满意度95%
基于任务的群体感知模型的形基于任务的群体感知模型的形式化描述.kdh式化描述.kdh基于任务的群体感知模型的形式化描述.kdh
模型检测中的CTL形式化描述模板 (2013年)
浏览:22
针对SPS(specificationpatternsystem)和Prospe(cpropertyspecification)不能将组合命题形式化为模型检测器可以接受的CTL(computationtreelogic)公式问题,通过研究SPS和Prospec产生系统性质描述的形式化方法,并对比CTL与F1L(futureintervallogic)的表达能力以及CTL与LTL(lineartem
基于Agent的分布式模型形式化语义描述.pdf
浏览:194
#资源达人分享计划#
论文研究-多色集合及其在概念设计产品模型形式化描述中的应用.pdf
浏览:152
论文研究-多色集合及其在概念设计产品模型形式化描述中的应用.pdf, 首先介绍了多色集合的主要思想和基本概念 .然后将多色集合应用于概念设计产品模型( CDPM)形式化描述中 ,以获得便于计算
阅卷信息的形式化描述及其应用*) (2005年)
浏览:102
本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势,并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性,延长其生命周期,并可广泛应用于其他领域。
佩雷尔曼W熵的相对论一般化以及引力场和宇宙学的热力学描述
浏览:106
对于具有局部热力学平衡以及相对论流体力学中的耗散过程和非耗散过程是分离的模型,考虑了4-d伪黎曼度量的几何流的一般化。 该方法是在经典场论(相对论连续体和流体力学模型)的框架内详细阐述的,而没有潜在的...
基于WF-net的卫星在轨测试过程建模 (2012年)
浏览:64
为解决卫星在轨测试过程建模问题,以导航卫星...分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过 程的逻辑性。应用工作流网对卫星在轨测试过程进行建模是可行的。
Activiti6.0教程例子下载
浏览:56
工作流(workflow)就是工作流程的计算模型,即将工作流程中的工作如何前后组织在一起的逻辑和规则在计算机中以恰当的模型进行表示并对其实施计算。它主要解决的是“使在多个参与者之间按照某种预定义的规则传递文档...
2005-2009软件设计师历年真题
浏览:42
5星 · 资源好评率100%
•描述软件需求的方法(功能层次模型、数据流模型、控制流模型、面向数据的模型、面向对象的模型等) •定义软件需求的方法(结构化分析方法、面向对象分析方法) •软件设计(分析与集成、逐步求精、抽象、...
软件工程知识点
浏览:21
5星 · 资源好评率100%
(2)数据流模型。用于描述系统对数据的加工过程,其图形符号是一些具有抽象意义的逻辑符号,主要的图形符号包括:数据接口、数据流、数据存储和数据处理。可以依靠数据流图来实现从用户需求到系统需求的过渡。结构...
硬件构件的形式化描述及其组装机制 (2010年)
浏览:18
针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。
三维体元拓扑数据模型的修正及其形式化描述 (2009年)
浏览:3
针对三维体元拓扑数据模型(OO-Solid Model)的不足,对模型的构模元素进行了修正。对模型的修正和重新设计不仅有利于利用多源数据构模,提高构模自动化程度,便于地质模型的动态更新,更有利于与其他模型(如TIN模型)的无缝集成。利用面向对象和集合相结合的方法,从拓扑学角度,对基本构模元素及模型表达的空间对象进行了严格定义和形式化描述。
通用连接器模型及其形式化推导研究 (2005年)
浏览:7
基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交巨实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行描述,并在此基础上对连接器模型进行了扩展,以支持不同体系结构风格的构件组装.同时,基于Wright的软件体系结构描述语言(ADL)和通信顺序进程(CSP)中对于进程的描述方法
论文研究-基于Pi-演算的Web服务形式化描述模型.pdf
浏览:156
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提
论文研究-商空间模型下的Ontology形式化及其检验.pdf
浏览:127
形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域,利用商空间理论对Ontology进行形式化,并在此基础上对Ontology进行模型检验。
数据库设计的典型案例.pdf
浏览:100
5星 · 资源好评率100%
2.1 数据流图 数据流图是通过系列符号及其组合来描述系统功能的输入、输出、处理 或加工构造。 数据流图中使用的符号在各种书籍和资料上表达不尽相同,目前许多常 6 用的一些流行的数据库辅助设计工具如 Microsoft ...
软件工程完整ppt
浏览:31
1422模型与工作方式的组织 143教学管理系统的分析与设计 1431系统需求分析 1432系统问题领域分析 1433静态结构模型的建立 1434动态行为模型的建立 1435物理模型的建立 144UML类图与VB代码的转换 ...
领域驱动设计第一分卷
浏览:176
5星 · 资源好评率100%
第5章 软件中的模型描述 56 5.1 关联 57 5.2 实体(又称引用对象) 62 5.2.1 实体建模 65 5.2.2 设计标识操作 66 5.3 值对象 68 5.3.1 设计值对象 71 5.3.2 设计包含值对象的关联 73 5.4 服务 74 5.4.1 服务...
领域驱动设计第二分卷
浏览:149
5星 · 资源好评率100%
第5章 软件中的模型描述 56 5.1 关联 57 5.2 实体(又称引用对象) 62 5.2.1 实体建模 65 5.2.2 设计标识操作 66 5.3 值对象 68 5.3.1 设计值对象 71 5.3.2 设计包含值对象的关联 73 5.4 服务 74 5.4.1 服务...
什么是数据库设计数据库设计的步骤.docx
浏览:195
以扩充的实体—(E-R模型)联系模型方法为例,第一步先明确现实世界各部门所含的各种实体及其属性、实体间的联系以及对信息的制约条件等,从而给出各部门内所用信息的局部描述(在数据库中称为用户的局部视图)。...
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
alexjm
粉丝: 0
资源:
5
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
桌面运维助手00000000000000000000000000000
vscode配置cc加加环境
axios+vue 获取笑话
币卡比卡你懂的,可以直接看动画
mybatis配置及优缺点.zip
U8125数据字典资源
U8120数据字典资源
基于局域网的 Android P2P 聊天系统
傅里叶变换经典算法的matlab仿真设计
基于matlab心电信号(毕设).zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功