科研机构科技信息管理平台总体架构与功能设计

介绍了科研机构科技信息管理平台的科技管理信息系统和科技信息服务系统及其子系统,并对各子系统的功能模块和业务流程进行了详细介绍,对科研机构研发和建设科技信息管理平台具有重要的借鉴意义.     

Formalisations and applications of BPMN

We present two formalisations of the Business Process Modelling Notation (BPMN). In particular, we introduce a semantic model for BPMN in the process algebra CSP; we then study an augmentation of this model in which we introduce relative timing information, allowing one to specify timing constraints on concurrent activities. By exploiting CSP refinement, we are able to show some relationships between the timed and the untimed models. We then describe a novel empirical studies’ model, and the transformation to BPMN, allowing one to apply our formal semantics for analysing different kinds of workflows. To provide a better facility for describing behaviour specification about a BPMN diagram, we also present a pattern-based approach using which a workflow designer could specify properties which could otherwise be difficult to express. Our approach is specifically designed to allow behavioural properties of BPMN diagrams to be mechanically verified via automatic model checking as provided by the FDR tool. We use two examples to illustrate our approach.     

Mining churning behaviors and developing retention strategies based on a partial least squares (PLS) model

In a very competitive mobile telecommunication business environment, marketing managers need a business intelligence model that allows them to maintain an optimal (at least a near optimal) level of churners very effectively and efficiently while minimizing the costs throughout their marketing programs. As a first step toward optimal churn management program for marketing managers, this paper focuses on building an accurate and concise predictive model for the purpose of churn prediction utilizing a partial least squares (PLS)-based methodology on highly correlated data sets among variables. A preliminary experiment demonstrates that the presented model provides more accurate performance than traditional prediction models and identifies key variables to better understand churning behaviors. Further, a set of simple churn marketing programs—device management, overage management, and complaint management strategies—is presented and discussed.     

Modeling the benefit of e-recruiting process integration

While e-recruiting has been widely adopted as one of the most successful e-business applications, it constitutes an under-researched area in e-business research. This study reviews the integration issues in e-recruiting and presents an e-recruiting integration decision model. The benefits of the investment in e-recruiting process integration are discussed in comparison to separate e-recruiting investments. We show that the optimal investment in the e-recruiting process integration results in a lower total cost than the separate e-recruiting investments. In addition, in light of the widely practiced resource constrained investments, we present the method of Lagrange multipliers which is used to find the optimal investment under a budget constraint.     

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes

The design of complex inter-enterprise business processes (IEBP) is generally performed in a modular way. Each process is designed separately and then the whole IEBP is obtained by composition. Even if such a modular approach is intuitive and facilitates the design problem, it poses the problem that correct behavior of each business process of the IEBP taken alone does not guarantee a correct behavior of the composed IEBP (i.e. properties are not preserved by composition). Proving correctness of the (unknown) composed process is strongly related to the model checking problem of a system model. Among others, the symbolic observation graph based approach has proven to be very helpful for efficient model checking in general. Since it is heavily based on abstraction techniques and thus hides detailed information about system components that are not relevant for the correctness decision, it is promising to transfer this concept to the problem raised in this paper: How can the symbolic observation graph technique be adapted and employed for process composition? Answering this question is the aim of this paper.     

XML-enabled workflow management for e-services across heterogeneous platforms

Advanced e-services require efficient, flexible, and easy-to-use workflow technology that integrates well with mainstream Internet technologies such as XML and Web servers. This paper discusses an XML-enabled architecture for distributed workflow management that is implemented in the latest version of our Mentor-lite prototype system. The key asset of this architecture is an XML mediator that handles the exchange of business and flow control data between workflow and business-object servers on the one hand and client activities on the other via XML messages over http. Our implementation of the mediator has made use of Oracle's XSQL servlet. The major benefit of the advocated architecture is that it provides seamless integration of client applications into e-service workflows with scalable efficiency and very little explicit coding, in contrast to an earlier, Java-based, version of our Mentor-lite prototype that required much more code and exhibited potential performance problems. Received: 30 October 2000 / Accepted: 19 December 2000 Published online: 27 April 2001     

An object-oriented organizational model to support dynamic role-based access control in electronic commerce

Role-based access control (RBAC) provides flexibility to security management over the traditional approach of using user and group identifiers. In RBAC, access privileges are given to roles rather than to individual users. Users acquire the corresponding permissions when playing different roles. Roles can be defined simply as a label, but such an approach lacks the support to allow users to automatically change roles under different contexts; using static method also adds administrative overheads in role assignment. In electronic commerce (E-Commerce) and other cooperative computing environments, access to shared resources has to be controlled in the context of the entire business process; it is therefore necessary to model dynamic roles as a function of resource attributes and contextual information.In this paper, an object-oriented organizational model, Organization Modeling and Management (OMM), is presented as an underlying model to support dynamic role definition and role resolution in E-Commerce solution. The paper describes the OMM reference model and shows how it can be applied flexibly to capture the different classes of resources within a corporation, and to maintain the complex and dynamic roles and relationships between the resource objects. Administrative tools use the role model in OMM to define security policies for role definition and role assignment. At runtime, the E-Commerce application and the underlying resource manager queries the OMM system to resolve roles in order to authorize any access attempts. Contrary to traditional approaches, OMM separates the organization model from the applications; thus, it allows independent and flexible role modeling to support realistically the dynamic authorization requirements in a rapidly changing business world.     

基于BAPI的ERP与MES集成研究与应用

随着企业资源计划(ERP)的发展,ERP的功能已经变得越来越向外扩伸,ERP与外部系统的集成已经成为企业迫切的需求。制造执行系统(MES)是一种车间层控制系统,其与ERP的集成已经形成一个现实的需求。该文通过对ERP系统中BAPI概念、设计和调用方法的研究,开发了基于BAPI的接口,通过调用这个接口,最终实现ERP与MES系统的集成。     

有线数字电视综合业务支撑系统的建设研究

依据有线电视行业信息系统建设现状的分析,理论结合实际,提出有线数字电视综合业务支撑系统的建设思路：参考SAM模型进行IT战略与企业战略的整合,根据MBOSS技术架构设计了适合有线数字电视业务的综合业务系统架构,通过业务流程再造进行组织结构和业务流程的重新梳理,统一规划,分步实施：通过这些思路,提出合理、可行的有线数字电视综合业务支撑系统的建设建议,从而增强企业的核心竞争力,推动有线数字电视业务的健康发展？