形式化智能世界的建模过程

各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性.基于Saitta和Zucker定义的知识重构与抽象模型,提出一种新的表示智能世界的方法.通过感知重构过程,根据构成实体之间的通信关系自动构建3个可区分的、相互关联的子模型,即物理世界、网络化世界和虚拟世界,3个子模型之间的关系构成了智能世界的一个集成化模型.着重介绍了感知重构过程的形式化表示和推理机制.实际搭建的智能世界设计诊断推理实验表明,与基于知识重构和抽象一般物理世界模型相比,基于提出的智能世界模型的推理过程可以将系统故障限制在一个子模型中,从而较大程度地缩小了诊断的搜索空间.     

Formalizing WSBPEL Business Processes Using Process Algebra

Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds protocol information to the specifications of interacting Web Services, and uses a process algebra to model their dynamic behaviour — thus enabling their formal analysis and the inference of relevant properties of the systems being built.     

Formalizing visual interaction with historical databases

Recent database applications are typically oriented towards a large set of non-expert users, and therefore, they need to be equipped with suitable interfaces facilitating the interaction with the system. Moreover, the incorporation of the time dimension in database systems is a desirable feature. Indeed, several temporal data models and the corresponding textual query languages have been proposed. However, there is a limited amount of research concerning the investigation of user-oriented languages for querying temporal databases. Our proposal addresses such a need. In particular, we propose a visual query environment, namely Temporal Visual Query Environment (TVQE) which provides an easier interaction of the user with temporal databases. The system adopts a diagrammatic representation of the database schema (including temporal classes and relationships) and a “graphical notebook” as interaction metaphor. In our approach, non-database experts are released from syntactical difficulties which are typical of textual languages, and they can easily express temporal queries by means of elementary graphical operations (e.g. click on a node label). Differently from many proposals in the field of visual query languages, the language underlying TVQE is provided with formal syntax and semantics. It is based on a minimal set of temporal graphical primitives (TGPs), which are defined on a Temporal Graph Model (TGM), with visual syntax and object-based semantics. In this paper we mainly concentrate on the formal aspects of TVQE, and provide some hints on the visual interaction mechanisms and implementation issues.     

Formalizing Calendars with the Category of Ordinals

Starting from the basic notion of chronology, we provide a natural representation of calendars and appropriate tools for manipulating them, inside the framework of finite ordinals category. We show that calendars are closed under infimum and supremum operations but not under direct limits.     

用XYZ/E形式化体系结构风格

该文用时序逻辑语言XYZ/E刻画了若干种常见的体系结构风格.在刻画风格之前,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系,然后通过对特定组件和连接方式的组合产生了完整的体系结构风格的形式化描述.     

Formalizing requirements with object models and temporal constraints

Flaws in requirements often have a negative impact on the subsequent development phases. In this paper, we present a novel approach for the formal representation and validation of requirements, which we used in an industrial project. The formalism allows us to represent and reason about object models and their temporal evolution. The key ingredients are class diagrams to represent classes of objects, their relationships and their attributes, fragments of first order logic to constrain the possible configurations of such objects, and temporal logic operators to deal with the dynamic evolution of the configurations. The approach to formal validation allows to check whether the requirements are consistent, if they are compatible with some scenarios, and if they guarantee some implicit properties. The validation procedure is based on satisfiability checking, which is carried out by means of finite instantiation and model checking techniques.     

过程工业全球化

那些生产线遍布全球各地的公司,已经发现了对各条生产线进行集中控制的好处。实施的细节虽然千变万化,但是万变不离其宗。进入21世纪,全球化和"世界是平的"的概念已经深深影响到几乎所有与生产相关的领域。如今,众多公司向全球发展的程度日益加深,就体现出这一概念对过程工业的影响。几乎每家公司,不论规模大小,都出于接近原料源、客户源或是劳动力源的目的,把生产线分布在各大洲。     

Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits

Software and Systems Modeling - Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content and by linking complementary models and...     

Web工程过程研究

基于Web的应用系统开发和传统软件开发有显著区别,传统软件工程方法和技术应用到基于Web的系统开发中,显得力不从心。在多个基于Web的系统开发实践基础上,阐述Web工程与传统软件工程的区别,分析基于Web的应用开发的人员组织,提出一个Web工程过程模型。     

复杂问题知识转换的综合集成

复杂问题处理是一项知识密集型任务,在综合集成法的应用中对于相关知识转换过程的把握具有重要意义。文中针对问题的复杂性特点提出一种知识转换过程模型,基于显性知识同隐性知识间的转换,经过认知、外化、集成、内化一系列螺旋上升的动态知识过程获得知识创新。该模型被用于支撑处理复杂问题的方法论——综合集成法,丰富充实问题研讨流程。通过复杂灾害问题实例说明结合知识管理的综合集成法应用。     

基于软件工程过程的安全需求工程SREP研究

当今的安全解决方案更多地集中在提供安全防御,而不是解决IS安全问题的起因。为了辅助企业组织构造出一个适合自身的充分安全系统,改变以往的被动防御方式,提出了一个启发企业安全需求的安全需求工程SREP。它与系统研发过程相集成,全面分析和收集安全需求,通过一个系统的方法将安全需求整合到软件工程过程中。通过安全需求工程SREP的9个环节,保障企业有效抵御来自企业内部或外部潜在的威胁,从而达到防患于未然的目的。     

The IEEE Softwae Engineering Stanldards Process

This review of ongoing standards development highlights the interaction between the IEEE standards-making process and the norms of professional practice in software engineering.     

数学形态学在工程线图计算机处理中的应用

在工程CAD中 ,需要将表示资料数据的线图进行计算机化处理。将基于数学形态学的图像处理方法应用到线图的处理中 ,经过扫描线图得到二值化图像 ,应用形态学方法进行细化、噪声消除、断线修复和曲线连续化等一系列处理 ,作为线跟踪操作及矢量化处理的预处理阶段。     

Agent系统的软件工程过程

Agent技术和多Agent系统是解决许多复杂、分布应用的有效途径。该文讨论了建立多Agent系统的软件工程方法,内容包括:如何给出多Agent系统的需求描述,这些描述如何转化为高效的实现形式,如何检查多Agent系统的实现与其描述一致等。并用一些实例进行了说明。     

流程企业CIMS的工程应用

结合安庆石化CIMS总体设计 ,介绍了AQ -CIMS的目标、架构和技术路线。详细叙述了流程企业CIMS的体系结构、系统功能、集成、支撑环境以及关键技术和解决途径。     

需求工程过程改进研究

需求工程过程改进是提高需求质量的重要手段。基于能力成熟度模型集成框架，建立了需求工程过程参考模型。该模型定义了需求过程的4个能力等级，提炼了约40个需求实践。基于参考模型探索了需求过程能力评估方法和过程改进策略。     

软件工程过程RUP研究

随着软件开发过程的日趋复杂,软件开发过程难以得到有效控制,软件产品质量难以得到保证。而软件工程过程RUP采用面向对象的方法,在需求管理、分析设计、配置及变更管理等方面为开发人员提供准则和相应的管理工具。在实际的软件开发过程中应用RUP可以提高软件开发组织的生产效率,提高软件质量,降低软件开发成本,减少软件开发风险。同时RUP也吸收了多种开发模型的优点,具有很好的可操作性和实用性,应用RUP能够达到软件工程研究所制定的CMM(Capability Matyrut Model)模型的2级或3级。     

浅谈软件工程过程模型的选择

本文主要介绍几种常见的软件工程过程模型,比如瀑布模型,螺旋模型,原型模型,并发开发模型等.对于模型的选择,应当根据组织定义的标准软件的过程,参考具体的工程项目所具有的特点和资源状况进行.     

一个支持软件并行工程的过程模型

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性能提出了一个基于Ｐｅｔｒｉ网的支持软件并行工程的软件过程模型ＳＤＤＭ，给出了将软件过程内部的局部并行性延拓到该过程全局的方法。