OPEN Process Framework软件工程框架研究与应用

OPEN Process Framework(OPF)是使软件开发过程达到CMM5级标准的软件工程框架.文中讨论了基于OPF的软件过程的主要元素及实施过程,并把该过程应用于某油田数据采集系统的开发,实践证明基于OPF的软件过程可以提高团队的开发能力、降低风险、有效控制资源,为项目的开发提供了高度清晰的过程框架,规范管理和开发流程.     

OPEN Process Framework软件工程框架研究与应用

OPEN Process Framework（OPF）是使软件开发过程达到CMM5级标准的软件工程框架。文中讨论了基于OPF的软件过程的主要元素及实施过程，并把该过程应用于某油田数据采集系统的开发，实践证明基于OPF的软件过程可以提高团队的开发能力、降低风险、有效控制资源，为项目的开发提供了高度清晰的过程框架，规范管理和开发流程。     

Enhancing the OPEN Process Framework with service-oriented method fragments

Service orientation is a promising paradigm that enables the engineering of large-scale distributed software systems using rigorous software development processes. The existing problem is that every service-oriented software development project often requires a customized development process that provides specific service-oriented software engineering tasks in support of requirements unique to that project. To resolve this problem and allow situational method engineering, we have defined a set of method fragments in support of the engineering of the project-specific service-oriented software development processes. We have derived the proposed method fragments from the recurring features of 11 prominent service-oriented software development methodologies using a systematic mining approach. We have added these new fragments to the repository of OPEN Process Framework to make them available to software engineers as reusable fragments using this well-known method repository.     

Validating Simulation Models: A General Framework and Four Applied Examples

This paper provides a framework for discussing the empirical validation of simulation models of market phenomena, in particular of agent-based computational economics models. Such validation is difficult, perhaps because of their complexity; moreover, simulations can prove existence, but not in general necessity. The paper highlights the Energy Modeling Forum’s benchmarking studies as an exemplar for simulators. A market of competing coffee brands is used to discuss the purposes and practices of simulation, including explanation. The paper discusses measures of complexity, and derives the functional complexity of an implementation of Schelling’s segregation model. Finally, the paper discusses how courts might be convinced to trust simulation results, especially in merger policy.      

LAMP架构搭建与网站运行实例

描述LAMP架构的搭建过程及其在Linux中编译安装软件时的参数选择,通过编写PHP程序来测试LAMP架构搭建的正确性,用开源团购网站程序来展示LAMP架构的实际应用。     

Tomographic Reconstruction of 3D Objects Using Marked Point Process Framework

For reconstructing sparse volumes of 3D objects from projection images taken from different viewing directions, several volumetric reconstruction techniques are available. Most popular volume reconstruction methods are algebraic algorithms (e.g. the multiplicative algebraic reconstruction technique, MART). These methods which belong to voxel-oriented class allow volume to be reconstructed by computing each voxel intensity. A new class of tomographic reconstruction methods, called “object-oriented” approach, has recently emerged and was used in the Tomographic Particle Image Velocimetry technique (Tomo-PIV). In this paper, we propose an object-oriented approach, called Iterative Object Detection—Object Volume Reconstruction based on Marked Point Process (IOD-OVRMPP), to reconstruct the volume of 3D objects from projection images of 2D objects. Our approach allows the problem to be solved in a parsimonious way by minimizing an energy function based on a least squares criterion. Each object belonging to 2D or 3D space is identified by its continuous position and a set of features (marks). In order to optimize the population of objects, we use a simulated annealing algorithm which provides a “Maximum A Posteriori” estimation. To test our approach, we apply it to the field of Tomo-PIV where the volume reconstruction process is one of the most important steps in the analysis of volumetric flow. Finally, using synthetic data, we show that the proposed approach is able to reconstruct densely seeded flows.     

Grid Service Orchestration Using the Business Process Execution Language (BPEL)

Modern scientific applications often need to be distributed across Grids. Increasingly applications rely on services, such as job submission, data transfer or data portal services. We refer to such services as Grid services. While the invocation of Grid services could be hard coded in theory, scientific users want to orchestrate service invocations more flexibly. In enterprise applications, the orchestration of web services is achieved using emerging orchestration standards, most notably the Business Process Execution Language (BPEL). We describe our experience in orchestrating scientific workflows using BPEL. We have gained this experience during an extensive case study that orchestrates Grid services for the automation of a polymorph prediction application. Using this example, we explain the extent with which the BPEL language supports the definition of scientific workflows. We then describe the reliability, performance and scalability that can be achieved by executing a complex scientific workflow with ActiveBPEL, an industrial strength but freely available BPEL engine. *The work has been funded by the UK EPSRC through grants GR/R97207/01 (e-Materials) and GR/S90843/01 (OMII Managed Programme).     

Process Realizability: (Abstract)

We introduce a notion of realizability for Classical Linear Logic, and describe a number of examples, including one based on concurrent games, and one based on the process calculus CCS.     

计算机集成编组管理系统(CIPS)促进铁路建设信息化

CIPS (Computer Integrated Process System)系统2007年4月18日在成都北编组站正式运行,该系统的开通使成都北编组站的日编组车辆数量达到9000辆以上,最高达到了11000辆,提高了铁路的运行效率。CIPS系统是将车站编组自动化控制系统和综合管理信息系统有机融为一体,实现管理、决策、优化、调度、控制一体化。CIPS在国内创造了第一次实现调车作业与行车作业在编组站     

计算机集成编组管理系统（CIPS）促进铁路建设信息化

CIPS（Computer Integrated Process System）系统2007年4月18日在成都北编组站正式运行,该系统的开通使成都北编组站的日编组车辆数量达到9000辆以上,最高达到了11000辆,提高了铁路的运行效率。     

利用LSM框架保护文件与进程

Linux是一个开放源代码的免费操作系统,便于开发,具有较高的稳定型和超强的功能。然而,自主访问控制机制的不足也带来了一定的安全隐患,随着LsM框架的出现,我们可以方便地以可加载内核模块的方式为系统添加各种安全保护策略。通过对LSM框架的分析,介绍了一个安全模块的实现过程,保护了系统的重要文件与进程,增强了系统的安全。     

Learning with Positive and Unlabeled Examples Using Topic-Sensitive PLSA

It is often difficult and time-consuming to provide a large amount of positive and negative examples for training a classification system in many applications such as information retrieval. Instead, users often find it easier to indicate just a few positive examples of what he or she likes, and thus, these are the only labeled examples available for the learning system. A large amount of unlabeled data are easier to obtain. How to make use of the positive and unlabeled data for learning is a critical problem in machine learning and information retrieval. Several approaches for solving this problem have been proposed in the past, but most of these methods do not work well when only a small amount of labeled positive data are available. In this paper, we propose a novel algorithm called Topic-Sensitive pLSA to solve this problem. This algorithm extends the original probabilistic latent semantic analysis (pLSA), which is a purely unsupervised framework, by injecting a small amount of supervision information from the user. The supervision from users is in the form of indicating which documents fit the users' interests. The supervision is encoded into a set of constraints. By introducing the penalty terms for these constraints, we propose an objective function that trades off the likelihood of the observed data and the enforcement of the constraints. We develop an iterative algorithm that can obtain the local optimum of the objective function. Experimental evaluation on three data corpora shows that the proposed method can improve the performance especially only with a small amount of labeled positive data.     

利用Hibernate框架实现学生管理信息系统

开源项目Hibernate是一个实现对象/关系映射的框架,它在Java对象和关系数据库中数据之间建立相应的映射关系,简化了数据库访问操作.将此框架应用于学生信息管理系统中,可充分发挥其优点,提高系统开发效率.     

Using a Delphi process and the Analytic Hierarchy Process (AHP) to evaluate the complexity of projects

Project complexity is ever growing and needs to be understood, analysed and measured better to assist modern project management. The overall ambition of this paper is therefore to define a measure of project complexity in order to assist decision-making, notably when analysing several projects in a portfolio, or when studying different areas of a project. A synthesised literature review on existing complexity measures is firstly proposed in order to highlight their limitations. Then, we identify the multiple aspects of project complexity thanks to the construction and refinement of a project complexity framework thanks to an international Delphi study. We then propose a multi-criteria approach to project complexity evaluation, underlining the benefits of such an approach. In order to solve properly this multi-criteria problem, we first conduct a critical state of the art on multi-criteria methodologies. We then argue for the use of the Analytic Hierarchy Process. In the end, this tool permits to define a relative project complexity measure, which can notably assist decision-making. Complexity scales and subscales are defined in order to highlight the most complex alternatives and their principal sources of complexity within the set of criteria and sub-criteria which exist in the hierarchical structure. Finally, a case study within a start-up firm in the entertainment industry (musicals production) is performed. Conclusions, limitations and perspectives of research are given in the end.     

Assessing (Software) Reliability Growth Using a Random Coefficient Autoregressive Process and Its Ramifications

In this paper we motivate a random coefficient autoregressive process of order 1 for describing reliability growth or decay. We introduce several ramifications of this process, some of which reduce it to a Kalman Filter model. We illustrate the usefulness of our approach by applying these processes to some real life data on software failures. Finally, we make a pairwise comparison of the models in terms of the ratio of likelihoods of their predictive distributions, and identify the "best" model.     

关于过程改进框架及其关键因素的探讨

文章在介绍能力成熟度模型(CMM)的产生背景和世界各国CMM评估情况的基础上,根据对CMM研究的体会与实践的经验,提出了以集成的能力成熟度模型(CMMI)为基础、以个体软件过程(PSP)和群组软件过程(TSP)为支持的过程改进框架,并提出了实现过程改进的五个关键因素。这个框架和这些关键因素可以作为组织实现过程改进的一般指南。     

软件过程集成框架的实践与思考

软件实践表明产品开发的过程和产品品质有产非常密切的联系,因此很多软件企业都把提高软件开发过程作为提高软件品质的重要手段。现有的过程模型中CMM/CMMI是很多企业采用的一个框架,CMMI模型非常复杂(描述性文档就有超过1000页),因此很需要有一种软件来支持软件过程的改进。本文给出了一个软件过程改进集成框架SPIF,较为详细地叙述了SPIF中项目计划与进度监控的实现。SPIF对CMM/CMMI有着良好的支持,经过几个软件公司的实践表明SPIF实现了软件过程可视化、管理效率化,可以对软件企业实施CMM/CMMI过程改进有着很好的促进作用。     

BeehiveZ:一个开放的业务过程模型管理框架

随着面向服务架构、业务过程管理技术的推广应用,企业中用建模语言描述的业务过程模型越来越多,这些模型描述了企业核心的业务逻辑,是企业最宝贵的知识资产.为了更好地促进企业的发展,提升竞争力,需要将这些业务过程模型作为数据进行有效地管理、建立企业过程模型库,并支持对过程模型的存储、浏览、相似性度量、检索等操作和应用开发.提出了一个开放的业务过程模型管理框架--BeeHiveZ,阐述了BeeHiveZ的体系结构、关键技术及系统功能与操作等内容.BeeHiveZ现已在开源软件社区SourceForge. net上发布.