一种工作流形式化建模方法

工作流模式表达了工作流的基本结构特征,对工作流模式的支持是衡量工作流产品在过程表达能力和适用性方面的重要标准.目前的工作流产品对不少复杂的工作流模式尚不能很好的支持,尤其是缺乏对工作流模式进行形式化描述的方法.本文提出了一种新的选择逻辑,和传统的数理逻辑相比,针对工作流建模进行了优化,具有更加简单、易于理解的形式;使用选择逻辑建模时,将工作流模式拆分为汇合逻辑和分支逻辑,不仅能形式化地描述工作流模式,并且能够进一步表达工作流模型中与业务元素有关的要素,从而可以很好地支持业务过程建模.     

大批量定制模型的客户驱动参数映射与描述结构研究

文章提出了一种客户驱动的大批量定制模型的参数映射方法,从客户角度考虑,分析了客户驱动参数类型,研究了驱动参数类型的描述方法,建立了一种既能反映客户需求又能体现产品结构、性能等关系的客户驱动参数描述结构及客户化产品数据结构。最后提出的客户驱动模块组合模型,旨在为产品定制的定量化分析提供数学方法。     

面向在线定制客户需求信息表达和转化模型

从客户产品需求信息分类入手,讨论了在线定制客户产品需求信息的表达方式。提出了一种产品在线定制客户需求信息识别、筛选和转化模型方法。该方法充分考虑了客户表达产品需求信息模糊性和复杂性的特点,定义了需求信息转化的原则和方法,运用向量、矩阵等数学知识建立需求信息识别、筛选、转化模型。最后用实例证明该模型方法的可行性。     

基于UML的动态企业建模的研究与实现

应用扩充UML元模型定义企业建模,建立企业工作流视图、功能视图和信息视图．工作流建模,采用状态机(state machine)描述业务流程;功能建模,采用用例图(Use Case diagram)表达功能需求;信息建模,采用类图(class diagram)建立逻辑模型．建立了一个典型的离散型制造企业的企业模型,实现了相应的应用软件框架及动态企业建模在生产管理中的应用．     

基于移动Agent和Web Service的动态工作流互操作模型

工作流产品之间的协作成为企业间有效合作的瓶颈．虽然大多数厂商之间已解决了一些工作流互操作问题，但往往是静态的，为了提高工作流互操作的灵活性，需要各工作流系统支持动态工作流互操作．在此分析了动态工作流互操作中存在的问题，归纳了实现动态工作流互操作需要解决的问题，然后提出了一个基于移动Agent和Web Senrice的动态工作流互操作模型，给出动态工作流互操作相关的实现描述，最后结合一个具体实例通过数据验证此模型的优越性．     

基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。     

基元模型在服装CPC中的应用

通过分析服装协同产品商务(CPCC)和可拓学的特点，以及现有服装企业工作流系统跨企业协作存在的信息一致性和重用度等方面的缺陷，提出借用可拓学中基元模型的形式化描述体系对CPCC中物元、事元和关系元进行规范化的描述，进而为用可拓学的语言描述协同企业的工作流系统打下基础。通过两个事例给予了说明。     

基于XML的工作流需求建模

探讨一种工作流过程建模中用基本结构如结点、规则、文档等表达需求的方法，并给出了到XML文档的转换。该工作流的建模语言符合工作流管理协会的互操作标准，并能被大多数现有的工作流引擎解释及执行。     

一个基于WWW的工作流管理系统

提出了一个基于WWW的WFMS(工作流管理系统)NEUWork,并详细讨论了NEUWork的体系结构及其实现技术·通过采用基于Petri网技术的工作流模型描述方法及多代理协作技术支持的工作流Runtime的正确运行保证机制,使NEUWork不仅具有WWW提供的技术优势,同时实现了工作流管理系统的高灵活性和可靠性     

基于客户关系管理系统的酒店客户忠诚度研究

建立客户关系管理系统,可以使酒店对客户的爱好和个性化需求得以全面的了解,从而使酒店为客户提供个性化的产品和服务提供依据;酒店通过为客户提供个性化的产品和服务,将大大地提高客户对酒店的满意度,为提高客户对酒店的忠诚度奠定了基础.