基于B语言的构件精化开发方法

本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。     

一种基于进程代数的Android组件行为形式化描述方法

已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明...     

支持复合事件的主动规则的可终止性分析

ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问题的影响．文中结合规则实例给出了分析规则终止性的静态判定算法，这一算法可作为主动规则分析工具的理论基础．     

安全类型系统在编译技术中的应用研究

类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。     

基于设计演算的形式化用例分析建模框架

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.     

基于B语言的构件精化开发方法

本文采用B语言抽象机操作和扩充的事件机制,通过对构件行为规约形式化定义,然后用精化规则对构件行为规约逐步精化-直到可执行程序-最后给出了一个简单例子.     

UML活动图的操作语义

越来越多的系统采用UML(unified model language, 统一建模语言)作为建模语言来进行系统分析和设计. UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是：引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.     

COM接口的Z规范

对微软公司提出的COM组件模型中的接口规则给出了一个基于Z语言规范化描述，使其具有严格的语义基础，能通过形式化的分析来保证规则的相容性，在此基础之上对组件也给出了Z语言的定义，并对合法组件的性质作出了形式化分析。     

一种基于Petri网的审批业务工作流模型

在给出审批业务形式化定义的基础上,针对审批动态行为过程提出了一个形式化模型EABWF net。与传统的面向过程的建模方式不同,该模型以审批角色为中心,以消息为流转机制,以规则为流程控制逻辑。该模型克服了传统建模方式在审批业务工作流建模中缺乏流程柔性和系统灵活性的缺点,能更加直观、清晰地描述审批业务。     

行为时序逻辑与自反线性时序逻辑的关系

为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中。对行为时序逻辑公式的语义进行形式化定义．从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系．提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想,定义行为时序逻辑中项和行为时序逻辑原子公式的概念。定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统．以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。     

主动数据库中的时序逻辑

ECA主动规则中的“条件”通常描述主动数据库的当前状态或状态转换,表现为一个或一组查询语句。但是经常还会遇到基于数据库一系列状态演变过程之上的查询要求,这时不能使用平常意义上的条件来表示。文章基于过去时序逻辑,提出了一种说明时序条件的语言,可以对数据库基于时间状态的演变的过程进行监控,从而增强了主动数据库中规则语言的表达能力。     

基于Agent能力自信度的任务分配问题研究

借助结盟的任务分配机制是多Agent系统研究中的一个热点问题.文中通过任务需求和Agent能力的ECA规则表示,定义了一种Agent能力自信度,并给出了基于合同网协议和Agent能力自信度的任务分配算法和应用示例,其中,任务需求ECA规则中的C项表示Agent执行该任务时必须做出的付出,能力ECA规则中的C项表示Agent可以为该任务做出的承诺,付出/承诺关系揭示了Agent的能力自信度,ECA规则使得Agent能力自信度具有良好的可计算性.     

基于主动规则的多用户交互模型

论述了多用户交互的特性,提出了一个多用户交互模型(E*Fb*Ft)nCAn。针对该模型的特点,建立起ECA规则模型,讨论了交互事件、回调事件和复合事件。分析了将(E*Fb*Ft)nCAn模型转换为主动机制系统中的事件、规则的方法。用例表明基于主动机制的(E*Fb*Ft)nCAn模型是有效的。     

An intelligent database for engineering applications

Many engineering applications need to response to unpredictable events in a timely manner. Active database systems provide an event-driven rule processing capability to meet this requirement. In this paper, we present an intelligent database which integrates an object-oriented database (OODB) with an expert system, CLIPS. The paper describes the design and implementation of the rule manager of this intelligent database. In the rule manager, event-condition-action (ECA) rules are represented as first class objects of the OODB. A rule definition language (RDL) has been developed to manipulate ECA rules in a declarative way. A graphical user interface (GUI) also supplies a template to interactively define, delete, update and check ECA rules. Detection of time events, method events, absolute events and composite events is supported by the rule manager. The CLIPS inference engine is used to control condition evaluation and action execution after an ECA rule is triggered. Finally, a typical workflow application is used to illustrate the functionality of the system.     

迁移工作流系统中的工作位置异常处理模型

针对迁移工作流异常的本地特性和工作位置的体系结构,提出一种基于事件-条件-动作(ECA)规则和案例推理(CBR)的工作位置异常处理模型。该模型采取主动检测和异常检测混合的检测技术,利用本地异常规则库实现工作位置异常处理。应用结果表明,该模型增强了不可预测异常、可预测异常的处理能力。     

ECA rule learning in dynamic environments

Through the development of management and intelligent control systems, we can make useful decision by using incoming data. These systems are used commonly in dynamic environments that some of which are been rule-based architectures. Event–Condition–Action (ECA) rule is one of the types that are used in dynamic environments. ECA rules have been designed for the systems that need automatic response to certain conditions or events. Changes of environmental conditions during the time are important factors impacting a reduction of the effectiveness of these rules which are implied by changing users demands of the systems that vary over time. Also, the rate of the changes in the rules are not known which means we are faced with the lack of information about rate of occurrence of new unknown conditions as a result of dynamics environments. Therefore, an intelligent rule learning is required for ECA rules to maintain the efficiency of the system. To the best knowledge of the authors, ECA rule learning has not been investigated. An intelligent rule learning for ECA rules are studied in this paper and a method is presented by using a combination of multi flexible fuzzy tree (MFlexDT) algorithm and neural network. Hence data loss could be avoided by considering the uncertainty aspect. Owing to runtime, speed, and also stream data in dynamic environments, a hierarchical learning model is proposed. We evaluate the performance of the proposed method for resource management in the Grid and e-commerce as case studies by modeling and simulating. A case study is presented to show the applicability of the proposed method.     

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题,提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表,将ECA 规则引入到工作流路由机制中,灵活地控制了工作流的流程。通过事件触发和消息处理机制,工作流描述表处理可以被实际系统加以执行和控制。     

基于扩展ECA的分布式工作流研究与应用

介绍了事件驱动的分布式工作流技术,将ECA规则在时间上进行了扩展,解决了其在描述与时间相关的复杂过程时能力不足的问题,将事件重写为事件发生时刻,使事件表达式具有更强的表达能力。将该技术应用于集装箱物流信息系统的设计,建立了整个集装箱物流的工作流程,并结合具体业务流程对实现过程作了简要描述。     

基于情景分析的ECA规则提取方法研究

事件条件动作(ECA)规则的提取方法难以规范化,导致其生成过程过于复杂。为此,提出一种基于情景分析的ECA规则提取方法。定义ECA规则中事件、条件和动作的模板规范以及ECA规则的语法结构,采用情景分析法进行研究分析,并做一致性检测。实例分析结果表明,该方法能规范ECA规则的提取过程,保证ECA规则的准确性。