应用于工作流的元层次软件结构

形式化描述了元层次软件体系结构(MLSAW)。MLSAW包括基本层次、元层次、元模型层次和元解析器。该文讨论了应用于电信工作流系统的MLSAW实例,架构实例表明MLSAW使具体应用和整体策略相互独立,为工作流系统带来显著的柔性扩展。     

一个可扩展的工作流元模型

文章分析WFMC工作流参考模型的可扩展性,提出了一个可扩展的工作流元模型。该模型分为核心层、初始层和扩展层三个层次,核心层描述工作流的核心概念,初始层用来根据企业的模型建立一些企业个性化的扩展,扩展层则可以根据需求进行动态扩展。该工作流元模型定义了工作流相关对象来抽象企事业模型中的各中对象,可适应不同类型的企事业单位的工作流建模。     

构造可扩展工作流的语义机制模型*

为了提高复杂多样的应用环境下的工作流性能,基于Petri网构建块定义了工作流元对象模型和工作流领域本体OWLW,在传统工作流系统中引入了元对象协议,构造了一种新的面向语义的工作流模型;在此基础上讨论了一种基于多agent的软件架构来实现面向语义的工作流机制,说明了面向语义的工作流对于提高传统工作流的灵活性和可扩展性是有效的。     

工作流模型的扩展及其形式化描述

工作流是一类能够部分或全部由计算机支持或自动处理的业务过程,工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示。论文以过程工程理论建立的企业模型作为工作流模型的扩展思想,归纳出了工作流模型设计原则,并对现有的扩展方法进行了分析;最后提出了一种工作流模型,该模型由过程模型、活动模型、组织模型、资源模型和信息模型五个子模型组成,并给出了各子模型的形式化描述。     

支持动态联盟的分布式工作流管理系统--AgentFlow

提出了一个支持动态联盟的工作流描述模型，在此基础上提出了一个基于Agent的分布式的软件体系结构，重点分析了基于多Agent的工作流管理系统中工作流的动态集成和工作流的执行。最后讨论了工作流的分布式协作监控。     

一种基于AOSD的工作流管理系统的实现

采用面向方面软件开发方法建立事务工作流管理系统的软件体系结构。通过提取工作流应用的业务流程业务活动、参业者和事务这四个关注点，利用面向方面的软件开发方法实现并独立封装事务工作流的需求关注，并对这些关注的实现进编织生成事务工作流应用程序，解决不同工作流程之间、不同事务之间信息交换和协同工作，在确保系统执行状态正确的基础上，降低了工作流应用关注间的耦合性，增强了事务管理柔性管理能力。     

正交软件体系结构模型

当前对软件体系结构的描述通常都采用体系结构描述语言(ADb)，但ADb在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。正交软件体系结构具有结构清晰、可维护性强、可移植性强、重用粒度大等优点。文章用代数理论对正交软件体系结构的属性和行为特征进行抽象，提出了正交软件体系结构的概念和框架结构，抽象出了正交软件体系结构的核心模型。提出了正交软件体系结构的抽象模型和非正交软件体系结构的正交化算法。给出了正交软件体系结构的一个应用实例。     

网状软件体系结构模型

文章用代数理论对网状软件体系结构的属性和行为特征进行抽象,提出了网状软件体系结构的概念,框架结构及构件的重用度概念,抽象出了网状软件体系结果的抽象模型及相关性质。给出了网状软件体系结构的相关应用。     

基于Agent的工作注协调模型研究

本文分析了工作流管理的现状及存在的问题,提出了基于ａｇｅｎｔ的工作流协调管理模型,该模型在面向对象的工作流元件元模型基础上,利用ａｇｅｎｔ和面向对象技术,建立协调ａｇｅｎｔ实例化ａｇｅｎｔ和活动ａｇｅｎｔ模型,提高系统的自组织,自学习和协调能力。     

软件体系结构的层次语义分析

软件体系结构设计具有层次性，不同层次软件体系结构抽象级别不一样，相邻两层的软件体系结构存在着确定的转换关系。从拓扑关系和计算关系的视角分析了软件体系结构的层次语义，说明了相邻层的软件体系结构具有因果连接关系，上层是下层的抽象、约束，下层是上层的具体化、解释。     

支持企业动态联盟的敏捷工作流系统

针对企业动态联盟应用和大型企业的商业过程重组,文中提出了一种支持系统重构、软件重用和规模可扩展的敏捷工作流系统。文中针对动态联盟的应用建立了基于过程分解的工作流概念模型,同时对该模型进行形式化描述并设计了一种支持此概念模型的分层递解的敏捷工作流系统框架。文中提出的基于ＣＯＲＢＡ和Ａｇｅｎｔ的两级可供调用的功能体封装提高了软件的重用性和系统的重构性,分层递阶模型增强了系统重构能力和规模的扩展能力。     

基于工作流的电装行业MES关键技术研究

电子装配行业的特点要求电子装配行业MES系统实现实时可视化、动态生产排程、装配过程跟踪等功能,同时实现系统可配置、可重构、实时、可集成等.采用工作流技术,提出基于工作流的电子装配车间实时可视化、动态排程、生产过程跟踪模型;建立MES系统中工作流引擎的总体结构;并基于J2EE架构和EJB组件技术对工作流引擎进行设计实现.基于工作流的电子装配行业MES在某企业PCB装配车间应用表明,车间的生产效率和管理水平得到了显著提高.     

软件构架动态行为建模与检测

针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr／T网对软件构架动态行为建模．提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述．最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果．提出的软件构架动态行为建模与检测方法结合了Pr／T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础．     

基于敏捷工作流的企业应用集成

分析了了基于工作流的企业应用集成以及其中动态EAI的优势与困难。为了解决动态EAI引入的问题，提出了一个基于敏捷工作流的EAI框架，该框架通过面向服务的ECA逻辑、动态服务发现与分派、分布式消息系统和智能代理技术在系统获得RRS特性的同时，向应用屏蔽了动态EAI的复杂性。     

电子装配行业的MES体系结构及技术实现

针对电子装配行业的特点和制造执行系统（MES）的需求,采用基于SOA的设计方法和理念,提出基于Web服务的MES软件体系结构,建立基于工作流的电子装配过程实时可视化、实时生产排程、实时生产过程跟踪技术框架。提出基于WebServices技术和J2EE平台的软件体系结构技术实现框架。开发的MES系统应用在某SMT车间,证明该系统具有较好的实时、可配置、可重构、可集成性能。     

ARTEMIS-ARC系统协同模型的自省式实现技术研究

基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。     

一种软件体系结构级基本路径覆盖方法

软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基本路径覆盖准则及测试序列生成算法,生成测试路径。以C/S体系结构为例验证该方法的正确性和有效性。     

A self-adaptation scheme for workflow management in multi-agent systems

Business processes, operational environment, variability of resources and user needs may change from time to time. An effective workflow management software system must be able to accommodate these changes. The ability to dynamically adapt to changes is a key success factor for workflow management systems. Holonic multi-agent systems (HMS) provide a flexible and reconfigurable architecture to accommodate changes based on dynamic organization and collaboration of autonomous agents. Although HMS provides a potential architecture to accommodate changes, the dynamic organization formed in HMS poses a challenge in the development of a new software development methodology to dynamically compose the services and adapt to changes as needed. This motivates us to study and propose a methodology to design self-adaptive software systems based on the HMS architecture. In this paper, we formulate a workflow adaptation problem (WAP) and propose an interaction mechanism based on contract net protocol (CNP) to find a solution to WAP to compose the services based on HMS. The interaction mechanism relies on a service publication and discovery scheme to find a set of task agents and a set of actor agents to compose the required services in HMS. We propose a viable self-adaptation scheme to reconfigure the agents and the composed services based on cooperation of agents in HMS to accommodate the changes in workflow and capabilities of actors. We propose architecture for our design methodology and present an application scenario to illustrate our idea.     

嵌入式联锁控制器软件体系结构动态建模研究

首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析。