基于CAFISE Framework的高适应性面向服务软件开发

在企业及电子政务应用中,由资源分布异构及需求动态变化而产生的问题越来越严重,如何让应用快速适应这些变化一直是人们关注的一个研究难题.首先给出了一个面向服务的支持业务端编程的适应性软件结构框架CAFISE(convergent approach for information system evolution)Framework,然后给出了基于该框架的面向服务的适应性软件开发方法.CAFISE Framework对异构资源的服务化、业务化及开放动态的面向服务软件体系结构提供了较好的支持.基于该结构框架的开发方法,从对影响软件的环境要素分析入手,通过质量属性驱动的体系结构分析,重点针对应用要适应的变化进行结构设计,最终通过以体系结构为基础的业务端编程,实现面向服务应用的即时开发与演化.在实际项目中的使用及实验证明:用该框架和方法开发的面向服务应用,能够较好地适应异构资源的动态变化及用户业务变更,能以较低的代价实现企业及电子政务面向服务应用的持续演化.     

A complete approach for CIM modelling and model formalising

ContextComputation Independent Model (CIM) as a business model describes the requirements and environment of a business system and instructs the designing and development; it is a key to influencing software success. Although many studies currently focus on model driven development (MDD); those researches, to a large extent, study the PIM-level and PSM-level model, and few have dealt with CIM-level modelling for case in which the requirements are unclear or incomplete.ObjectiveThis paper proposes a CIM-level modelling approach, which applies a stepwise refinement approach to modelling the CIM-level model starting from a high-level goal model to a lower-level business process model. A key advantage of our approach is the combination of the requirement model with the business model, which helps software engineers to define business models exactly for cases in which the requirements are unclear or incomplete.MethodThis paper, based on the model driven approach, proposes a set of models at the CIM-level and model transformations to connect these models. Accordingly, the formalisation approach of this paper involves formalising the goal model using the category theory and the scenario model and business process model using Petri nets.ResultsWe have defined a set of metamodels and transformation rules making it possible to obtain automatically a scenario model from the goal model and a business process model from the scenario model. At the same time, we have defined a mapping rule to formalise these models. Our proposed CIM modelling approach and formalisation approach are implemented with an MDA tool, and it has been empirically validated by a travel agency case study.ConclusionThis study shows how a CIM modelling approach helps to build a complete and consistent model at the CIM level for cases in which the requirements are unclear or incomplete in advance.     

基于Web的违法犯罪人员信息系统设计与实现

随着Internet／Intranet技术的发展，Web开发新技术的不断涌现，JSP技术作为其中的杰出代表，为Web应用开发提供了更方便、安全、可靠、先进的编程模式和环境。该文以全国违法犯罪人员信息系统的设计与实现为背景，在确定系统目标的基础上，提出了系统业务流程、功能模块结构以及基于Delphi、JSP技术的设计与实现方法。     

页面流模型驱动的Web应用框架研究

随着业务需求的日渐庞大,构筑大规模web应用系统变得愈加复杂。各种Web应用框架的出现,为应用开发人员提供了相当多的便利。然而目前大多数的Web应用框架仅为Web应用定义了一个层次清晰、分工明确的编程模型,实现这个模型仍然需要手工编写大量代码,而且基于XML的页面流配置文件往往冗长而难以维护。针对这些问题,论文提出了一种页面流模型驱动的Web应用开发框架,它以页面流模型的设计为核心,根据需求分析定制应用的整体业务流程,并给出了支持该框架的Web应用开发工具PFlowWeb。最后介绍一个由PFlowWeb开发的基于Web的文件共享交换系统的应用案例。实践表明,运用该平台可以有效提高大中型Web应用系统的开发效率,增强系统的健壮性和可扩展性。     

Model-based services convergence and multi-clouds integration

With the development of cloud computing, IT users (individuals, enterprises and even public services providers) are transferring their jobs or businesses to public online services provided by professional information service companies. These information service companies provide applications as public resources to support the business operation of their customers. However, no cloud computing service vendor (CCSV) can satisfy the full functional information system requirements of its customers. As a result, its customers often have to simultaneously use services distributed in different clouds and do some connectivity jobs manually. Services convergence and multi-clouds integration will lead to new business models and trigger new integration technologies that provide solutions to satisfy IT users’ complicated requirements. This paper firstly reviews the development of cloud computing from business and technical viewpoints and then discusses requirements and challenges of services convergence and multi-clouds integrations. Thirdly, a model based architecture of multi-clouds integration is provided. Business logic modelling for cross-organizational collaboration, service modelling and operation modelling methods with relative model mapping technology are discussed in detail. Some key enabling technologies are also developed. At last, case studies are presented to illustrate the implementation of the technologies developed in the paper.     

Creating sophisticated development tools with OmniBrowser

Smalltalk is not only an object-oriented programming language; it is also known for its extensive integrated development environment supporting interactive and dynamic programming. While the default tools are adequate for browsing the code and developing applications, it is often cumbersome to extend the environment to support new language constructs or to build additional tools supporting new ways of navigating and presenting source code. In this paper, we present the OmniBrowser, a browser framework that supports the definition of browsers based on an explicit metamodel. With OmniBrowser a domain model is described in a graph and the navigation in this graph is specified in its associated metagraph. We present how new browsers are built from predefined parts and how new tools are easily described. The browser framework is implemented in the Squeak Smalltalk environment. This paper shows several concrete instantiations of the framework: a remake of the ubiquitous Smalltalk system browser, a coverage browser, the Duo Browser and the dynamic protocols browser.     

EFSOC: A Layered Framework for Developing Secure Interactions between Web-Services

Enterprises are rapidly extending their relatively stable and internally-oriented business processes and applications with loosely-coupled enterprise software services in order to support highly dynamic, cross-organizational business processes. These services are no longer solely based on internal enterprise systems, but often implemented, deployed and executed by diverse, external service providers. The ability to dynamically configure cross-organizational business processes with a mixture of internal and external services imposes new security requirements on existing security models. In this paper, we address the problem of defining and enforcing access control rules for securing service invocations in the context of a business process. For this purpose, we amortize existing role-based access control models that allow for dynamic delegation and retraction of authorizations. Authorizations are assigned on an event-driven basis, implementing a push-based interaction protocol between services. This novel security model is entitled the Event-driven Framework for Service Oriented Computing (EFSOC). In addition, this article presents an experimental prototype that is explored using a realistic case study. This work has been partially funded by the Netherlands Organization for Scientific Research (NWO) as part of the PRONIR project. Recommended by: Asuman Dogac     

基于整数线性规划的商家属性抽取研究

商家属性是指商家本身具备的一些属性,比如就餐环境、停车位等。商家属性对于用户决策有很大的帮助,比如用户开车去就餐,就会关心饭店是否提供停车位。该文提出了一种新的基于整数线性规划的商家属性抽取模型,用来自动地从评论文本中抽取商家属性。首先使用最大熵分类器从用户发表的评论中抽取单个商家属性,然后利用整数线性规划模型,通过添加不同属性之间的关联条件,对整个模型进行协同优化学习。实验证明该方法能够有效地抽取商家属性。     

开发轻量级工作流引擎实现测试业务流程的分析与应用

针对关键业务的应用开发离不开工作流技术的支持。通过对关键业务的实际开发需求的分析,在传统的关系数据库的基础上,提出了一个适用于关键业务开发的基于关系数据库的轻量级工作流引擎的框架结构。此工作流模型由组织模型、信息模型和控制模型三部分组成。本文深入讨论了采用关系数据库和轻量级理念来设计工作流引擎,并运用到企业的测试业务线中,并详细地给出了相关的组织模型、信息模型和控制模型的设计原理以及具体实现。     

基于多智能自主体的供需网环境下企业动态结构研究

针对传统供应链管理中存在的弊端,分析了多功能开放型企业供需网环境犤2犦下企业动态结构的需求与特点,并建立了基于多智能自主体的企业开放式动态结构。在该结构中,企业的构成单元具有决策智能、自治、自组织和协作能力,支持企业动态重构,从而使企业具有以内部变化适应外部快速变化的能力。     

构件化信息系统体系结构及其业务构件模型研究

构件化信息系统是根据用户需求通过组装现有构件的方式来建立满足不同企业需求和适应企业需求变化的信息系统,其核心是构建即插即用型领域业务构件。本文提出了构件化信息系统的体系结构及面向制造业的业务构件模型,以支持构件化信息系统及业务构件的开发。     

A high level FPGA-based abstract machine for image processing

Image processing requires high computational power, plus the ability to experiment with algorithms. Recently, reconfigurable hardware devices in the form of field programmable gate arrays (FPGAs) have been proposed as a way of obtaining high performance at an economical price. At present, however, users must program FPGAs at a very low level and have a detailed knowledge of the architecture of the device being used. They do not therefore facilitate easy development of, or experimentation with, image processing algorithms. To try to reconcile the dual requirements of high performance and ease of development, this paper reports on the design and realisation of an FPGA based image processing machine and its associated high level programming model. This abstract programming model allows an application developer to concentrate on the image processing algorithm in hand rather than on its hardware implementation. The abstract machine is based on a PC host system with a PCI-bus add-on card containing Xilinx XC6200 series FPGA(s). The machine's high level instruction set is based on the operators of image algebra. XC6200 series FPGA configurations have been developed to implement each high level instruction.     

XrML-RBLicensing approach adapted to the BPEL process of composite web services

Web service orchestration represents an open and standards-based approach for connecting web services together leading to higher level of business processes. Business Process Execution Language (BPEL) engines are designed to handle this orchestration. However, web service compositions into BPEL suffer from several non-functional requirements such as security. To address this problem, we propose in this paper a novel approach that is based on a harmony between the licensing concept offered by eXtensible rights Markup Language (XrML), aspect-oriented programming (AOP), and web service compositions in BPEL. Our proposed approach, based on XrML, offers the ability to associate security licenses with activities offered by the composite web services. It allows to automatically generate BPEL aspects depending on the developed licenses, to separate between crosscutting concerns of the composed web services, and provides an easy way to include and update the non-functional requirements (e.g., security) into a BPEL process. It offers also the ability to validate the licenses, at runtime and without affecting the business logic of this model. To evaluate our approach, we have developed an inventory control system (ICS) sample that is composed of several web services. Case study and performance analysis are presented to demonstrate its feasibility as well.     

基于两阶段规划模型的跨域服务流程动态构造方法

为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求,提出一种基于两阶段规划模型的跨域服务流程动态构造方法.第一阶段,利用跨域服务协同语义模型,基于层次任务网络规划方法,构建满足用户业务需求的跨域抽象业务流程;第二阶段,在各城内部对抽象业务流程确定的候选服务集应用图规划数据流验证模型,构建最终的跨域可执行服务流程.方法在保证了业务需求与跨域服务流程逻辑结构的语义一致性的同时,满足了跨域服务流程中数据流的一致性,为网络计算环境下管理域间的业务协同和互操作提供了更为实际可用的可执行服务流程.原型系统实验及实例验证说明该方法的正确性和有效性.     

基于SOA的电力交易运营系统整合方案

随着国家电力市场的改革发展和企业信息一体化进程,早期的电力市场运营系统很难适应新的要求。本文提出了一种基于SOA技术架构的电力交易系统设计模型,采用SCA／SDO编程模型和Web服务,快速构建电力交易运营系统,解决了系统的重用性和灵活性问题。同时将电力交易运营系统与企业其他生产系统进行整合,为企业应用在异构环境下的整合在技术层面上提出一个有效的解决方案。     

一种支持业务端编程的服务虚拟化机制VINCA-VM

针对服务环境下使能业务用户按需快速构建应用的需求,提出一种支持业务端编程的服务虚拟化机制,旨在将软件层面的Web服务通过抽象和转换等手段绑定到业务用户可理解的、易于使用的业务级服务．文中重点研究了服务虚拟化运算及其性质,提出一套虚拟化操作原语,并设计和实现了相应的服务虚拟化工具．结合实际应用案例,展示和讨论了服务虚拟化机制及其软件工具的效果．     

基于Hadoop的业务过程模型管理方法研究

目前现有业务过程模型研究的共同特点便是基于单机环境来构建业务过程库,并基于传统关系数据库来管理业务过程模型,完成相关的检索、存储等操作。为提高大规模业务过程模型检索与存储的效率,本文提出一种新的业务过程模型管理方法。该方法采用基于Hadoop大数据处理平台对业务过程模型进行管理,并采用Map/Reduce编程框架和HDFS文件系统分别对业务过程模型进行检索和存储,提高了业务过程模型存储效率,减少了模型检索匹配的时间。通过原型系统进行试验验证评估,证明了所提方法在存储和检索效率方面高于单机环境。     

面向服务环境下的事件通知服务：模型与实现面

事件通知服务设计在面向服务环境下面临更多挑战,例如因特网规模下应用层接口、事件模型的互操作要求更高,事件通信实体与通知订阅的软状态管理等问题。目前,基于业务服务设计面向服务环境下的事件通知服务的工作还很少。本文从抽象的业务服务概念出发,设计并实现的事件通知服务具有事件派发模型独立于事件传输协议和编码、分布的事件通知代理体系结构以及按需派发事件等特点。该系统在项目中的应用表明了大规模动态多变的分布环境下本文设计的事件通知服务的正确性,以及由业务服务抽象带来的灵活性。     

在JADE环境下面向Agent的Gaia建模

本文介绍了当今的面向agent编程技术,然后介绍了在java环境下实现agent编程的JADE框架,随后探讨了基于JADE框架实现了对一个GIS系统的Gaia建模的过程,Gaia建模方法是一种容易使用的面向agent的软件开发模式,JADE是一种很好的支持FIPA规范的agent开发环境,两者结合起来能进行更加敏捷而且高效的开发。