共查询到19条相似文献,搜索用时 140 毫秒
1.
本文采用B语言抽象机操作和扩充的事件机制,通过对构件行为规约形式化定义,然后用精化规则对构件行为规约逐步精化,直到可执行程序,最后给出了一个简单例子。 相似文献
2.
已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明... 相似文献
3.
支持复合事件的主动规则的可终止性分析 总被引:7,自引:1,他引:7
孙明 《计算机研究与发展》1998,35(5):460-463
ECA规则系统已经成为主动数据库提供主动服务的通用机制.规则集合的可终止性是规则行为分析的一个重要问题.文中给出了ECA规则系统的形式化描述,并着重讨论了复合事件机制对可终止性问题的影响.文中结合规则实例给出了分析规则终止性的静态判定算法,这一算法可作为主动规则分析工具的理论基础. 相似文献
4.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。 相似文献
5.
基于设计演算的形式化用例分析建模框架 总被引:2,自引:0,他引:2
提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性. 相似文献
6.
本文采用B语言抽象机操作和扩充的事件机制,通过对构件行为规约形式化定义,然后用精化规则对构件行为规约逐步精化-直到可执行程序-最后给出了一个简单例子. 相似文献
7.
UML活动图的操作语义 总被引:1,自引:0,他引:1
越来越多的系统采用UML(unified model language, 统一建模语言)作为建模语言来进行系统分析和设计. UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础. 相似文献
8.
9.
10.
为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中。对行为时序逻辑公式的语义进行形式化定义.从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系.提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想,定义行为时序逻辑中项和行为时序逻辑原子公式的概念。定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统.以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。 相似文献
11.
ECA主动规则中的“条件”通常描述主动数据库的当前状态或状态转换,表现为一个或一组查询语句。但是经常还会遇到基于数据库一系列状态演变过程之上的查询要求,这时不能使用平常意义上的条件来表示。文章基于过去时序逻辑,提出了一种说明时序条件的语言,可以对数据库基于时间状态的演变的过程进行监控,从而增强了主动数据库中规则语言的表达能力。 相似文献
12.
基于Agent能力自信度的任务分配问题研究 总被引:10,自引:0,他引:10
借助结盟的任务分配机制是多Agent系统研究中的一个热点问题.文中通过任务需求和Agent能力的ECA规则表示,定义了一种Agent能力自信度,并给出了基于合同网协议和Agent能力自信度的任务分配算法和应用示例,其中,任务需求ECA规则中的C项表示Agent执行该任务时必须做出的付出,能力ECA规则中的C项表示Agent可以为该任务做出的承诺,付出/承诺关系揭示了Agent的能力自信度,ECA规则使得Agent能力自信度具有良好的可计算性. 相似文献
13.
14.
《Artificial Intelligence in Engineering》1998,12(1-2):1-14
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. 相似文献
15.
16.
《Expert systems with applications》2014,41(17):7847-7857
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. 相似文献
17.
18.
介绍了事件驱动的分布式工作流技术,将ECA规则在时间上进行了扩展,解决了其在描述与时间相关的复杂过程时能力不足的问题,将事件重写为事件发生时刻,使事件表达式具有更强的表达能力。将该技术应用于集装箱物流信息系统的设计,建立了整个集装箱物流的工作流程,并结合具体业务流程对实现过程作了简要描述。 相似文献