动态可重配置MIS分析与设计建模研究

开发支持BPR的企业管理信息系统（MIS）的首要问题是，在系统分析和设计阶段建立能够有效描述业务过程动态变化的模型。本文提出与BPR相适应的、以业务过程为中心的企业MIS系统建模方案。以CIMOSA企业模型为基础支撑框架，对业务过程的划分进行了研究；在此基础上以面向对象方法为指导，提出了动态可重配置MIS系统分析与设计的早期阶段的基础性模型；对其基本的构成要素-对象类和它们的层次关系进行了定义和分析，并提出了进一步提取和构建更大粒度可复用单元（设计模式、组件、框架和体系结构等）的基本方向。阐述了该建模方法实现动态可重配置性的主要机制。     

Modelling Dynamic Spatial Systems in the Situation Calculus

Abstract

We propose and systematically formalise a dynamical spatial systems approach for the modelling of changing spatial environments. The formalisation adheres to the semantics of the situation calculus and includes a systematic account of key aspects that are necessary to realize a domain-independent qualitative spatial theory that may be utilised across diverse application domains. The spatial theory is primarily derivable from the all-pervasive generic notion of “qualitative spatial calculi” that are representative of differing aspects of space. In addition, the theory also includes aspects, both ontological and phenomenal in nature, that are considered inherent in dynamic spatial systems. Foundational to the formalisation is a causal theory that adheres to the representational and computational semantics of the situation calculus. This foundational theory provides the necessary (general) mechanism required to represent and reason about changing spatial environments and also includes an account of the key fundamental epistemological issues concerning the frame and the ramification problems that arise whilst modelling change within such domains. The main advantage of the proposed approach is that based on the structure and semantics of the proposed framework, fundamental reasoning tasks such as projection and explanation directly follow. Within the specialised spatial reasoning domain, these translate to spatial planning/re-configuration, causal explanation and spatial simulation. Our approach is based on the hypothesis that alternate formalisations of existing qualitative spatial calculi using high-level tools such as the situation calculus are essential for their utilisation in diverse application domains such as intelligent systems, cognitive robotics and event-based GIS.