基于OSGI家庭网关的多媒体系统设计

随着家庭网络技术和多媒体技术的飞速发展,如何实现数字家庭中多媒体服务智能化和人性化已成为当今研究的热点。本文介绍一种基于OSGI家庭网关和UPNP AV架构扩展的媒体共享系统设计,实现家庭网络中多媒体设备的互操作,并且可以通过家庭网关上的虚拟服务器访问外部多媒体设备,同时为多媒体内容提供者提供一个强大的工具,使为用户提供多媒体服务更加智能化。多媒体提供者无需增加额外的设备和配置,不需要准备另外一个协议,使用原来的媒体传输协议就可以连接UPNP AV框架。本系统的服务器框架提供远程I/O服务让用户可以通过手持设备远程控制和访问系统中的多媒体资源。     

基于Zigbee协议的OSGi无线家庭网关设计

设计基于OSGi标准和Zigbee无线通信协议的分布式家庭网关.首先提出基于Zigbee家庭网络的无线组网方案。同时提出无线家庭网关的硬件实现方案,并给出基于OSGI标准的软件开发的步骤,最后分析了家庭网关的实际应用。     

基于OSGi家庭网关的UPnP设备远程控制设计与实现

针对数字家庭网络应用环境,研究远程家庭设备控制问题,采用OSGi平台与UPnP技术相结合的方法,提出一种使用方便、费用低廉的基于OSGi家庭网关的UPnP设备远程控制系统架构,描述系统分析、设计过程,并利用Cyberlink SDK进行实现,实验证明该系统能够有效地实现远程控制服务,具有良好的扩展性、易用性.该架构和开发技术可扩展应用于其它数字家庭应用系统中.     

Checking JML specifications using an extensible software model checking framework

The use of assertions to express correctness properties of programs is growing in practice. Assertions provide a form of lightweight checkable specification that can be very effective in finding defects in programs and in guiding developers to the cause of a problem. A wide variety of assertion languages and associated validation techniques have been developed, but run-time monitoring is commonly thought to be the only practical solution. In this paper, we describe how specifications written in the Java Modeling Language (JML), a general purpose behavioral specification and assertional language for Java, can be validated using a customized model checker built on top of the Bogor model checking framework. Our experience illustrates the need for customized state-space representations and reduction strategies in model checking frameworks in order to effectively check the kind of strong behavioral specifications that can be written in JML. We discuss the advantages and tradeoffs of model checking relative to other specification validation techniques and present data that suggest that the cost of model checking strong specifications is practical for several real programs. This is an extended version of the paper Checking Strong Specifications Using An Extensible Model Checking Framework that appeared in Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004. This work was supported in part by the U.S. Army Research Office (DAAD190110564), by DARPA/IXO’s PCES program (AFRL Contract F33615-00-C-3044), by NSF (CCR-0306607) by Lockheed Martin, and by Rockwell-Collins.     

ERP software implementation: an integrative framework

ERP implementation is a socio-technical challenge that requires a fundamentally different outlook from technologically-driven innovation, and will depend on a balanced perspective where the organisation as a total system is considered. ERP implementation is considered to rely on behavioural processes and actions. It is a process that involves macro-implementation at the strategic level, and micro-implementation at the operational level. This therefore means that implementation in the context of ERP systems is not possible through an ON/OFF approach whereby deployment of the new systems will necessarily yield the desired and expected results. Understanding the implementation process through a balanced perspective will therefore prevent any unpleasant surprises, and will ensure and guide the change process to be embedded in a painless fashion. The balanced perspective means that socio-technical considerations must be borne in mind; the strategic, tactical and operational steps clearly defined; and the expected benefits evaluated and tracked through creating seamless and solid integration. This paper proposes an integrative framework for ERP implementation based on an extensive review of the factors and the essential elements that contribute to success in the context of ERP implementation.     

Information system development activities and inquiring systems: an integrating framework

This article presents a framework that maps information system development (ISD) activities on systems for the creation of knowledge. This work addresses the relevant and persisting problem of improving the chances of ISD success. The article builds upon previous research on knowledge aspects of ISD, abandoning the idea of a monolithic approach to knowledge and presenting a pluralistic approach based on the idea that different inquiring systems can support micro-level ISD activities. The article is divided into two parts. The first part presents the theoretical development of the framework based on ISD literature and on Churchman's (1971) inquiring systems. The second part presents the use of the framework in an ISD project. The case is used to show the applicability of the framework and to highlight the advantages of this approach. The main theoretical implication is that the framework provides a new way to see the development of a system in terms of the knowledge created in the process. The main practical implication of the framework is that it improves the managers' ability to guide ISD activities as knowledge activities embedded in a knowledge process, a crucial element in development projects.     

MARVIN: a medical research application framework based on open source software

This paper describes the open source framework MARVIN for rapid application development in the field of biomedical and clinical research. MARVIN applications consist of modules that can be plugged together in order to provide the functionality required for a specific experimental scenario. Application modules work on a common patient database that is used to store and organize medical data as well as derived data. MARVIN provides a flexible input/output system with support for many file formats including DICOM, various 2D image formats and surface mesh data. Furthermore, it implements an advanced visualization system and interfaces to a wide range of 3D tracking hardware. Since it uses only highly portable libraries, MARVIN applications run on Unix/Linux, Mac OS X and Microsoft Windows.     

一种开放式性能测试框架的研究与应用

分析了一种基于J2EE的开放式性能测试框架Grinder,阐述了它的工作原理,并对该框架做了两点改进：添加动态图形接口和从控制台向客户机发送脚本,最后基于改进的框架实现了TPC-W基准,并用它对国产数据库管理系统DM4进行了性能测试。     

IGSTK: an open source software toolkit for image-guided surgery

Image-guided surgery applies leading-edge technology and clinical practices to provide better quality of life to patients who can benefit from minimally invasive procedures. Reliable software is a critical component of image-guided surgical applications, yet costly expertise and technology infrastructure barriers hamper current research and commercialization efforts in this area. IGSTK applies the open source development and delivery model to this problem. Agile and component-based software engineering principles reduce the costs and risks associated with adopting this new technology, resulting in a safe, inexpensive, robust, shareable, and reusable software infrastructure.     

VERTAF: an application framework for the design and verification of embedded real-time software

The growing complexity of embedded real-time software requirements calls for the design of reusable software components, the synthesis and generation of software code, and the automatic guarantee of nonfunctional properties such as performance, time constraints, reliability, and security. Available application frameworks targeted at the automatic design of embedded real-time software are poor in integrating functional and nonfunctional requirements. To bridge this gap, we reveal the design flow and the internal architecture of a newly proposed framework called verifiable embedded real-time application framework (VERTAF), which integrates software component-based reuse, formal synthesis, and formal verification. A formal UML-based embedded real-time object model is proposed for component reuse. Formal synthesis employs quasistatic and quasidynamic scheduling with automatic generation of multilayer portable efficient code. Formal verification integrates a model checker kernel from SGM, by adapting it for embedded software. The proposed architecture for VERTAF is component-based and allows plug-and-play for the scheduler and the verifier. Using VERTAF to develop application examples significantly reduced design effort and illustrated how high-level reuse of software components combined with automatic synthesis and verification can increase design productivity.     

Business model metrics: an open repository

Development of successful business models has become a necessity in turbulent business environments, but compared to research on business modeling tools, attention to the role of metrics in designing business models in literature is limited. Building on existing approaches to business models and performance measurement literature, we develop a generic open repository of metrics related to core business model concepts. We validate and assess the practical value of the repository based on four e-Business model cases. The repository can be utilized in designing business models, specifically for networked enterprises. It is neither complete nor universally applicable, but needs adjustment with each design. Ultimately, with this paper, we hope measurement will become an integral part of the business model innovation discussion.     

基于OSGI的家庭网关系统的研究与设计

文章研究了用户远程访问基于OSGI的IPv6家庭网络,提出了一种基于OSGI技术的下一代家庭网关的系统框架模型,并实现了集中控制功能以及控制界面的生成和控制命令的集中转发,完成了家庭网络管理的主要功能,有一定的扩展性,具备很好的应用前景,为IPv6下的OSGI家庭网络中的信息家电进行远程控制提供了一个的解决方案。     

智能家庭网络网关与用户接口技术

简要介绍了组建智能家庭网络的优越性，分析了智能家庭网关、用户接口的功能需求，并给出其设计模型。     

Effort, co-operation and co-ordination in an open source software project: GNOME

Abstract This paper presents results from research into open source projects from a software engineering perspective. The research methodology employed relies on public data retrieved from the CVS repository of the GNOME project and relevant discussion groups. This methodology is described, and results concerning the special characteristics of open source software development are given. These data are used for a first approach to estimating the total effort to be expended.     

STARS: a socio-technical framework for integrating design knowledgeover the Internet

Traditional design tools usually model collaborative work as a process of data access and sharing. In globally distributed environments, however, it becomes important to model the interdisciplinary perspectives that individual contributors bring to the data. We refer to the individuals involved in the design process as stakeholders. Each stakeholder comes to the project with a different perspective: that is, different preferences, environments, and knowledge. An information system that accounts for these social and technical factors would not only manipulate design data, but also facilitate the reconciliation of these design perspectives over the Internet. This article presents a conceptual framework for supporting knowledge integration by modeling stakeholders' design perspectives. We describe the Social-Technical Analysis Research System (STARS), a prototype implementation system that uses advanced networking techniques to support stakeholders' interaction in collaborative design     

基于统一事件模型的软件通信框架设计与实现

针对现代软件系统中模块协同工作的通信需求,提出了一个软件通信框架的完整实现方案。通过分析软件系统中对模块通信的要求,建立统一的事件模型,完成进程间、进程内通信框架设计,并利用Qt开发库完成通信框架的软件实现。使用该软件通信框架可以减少模块通信复杂度,缩短软件通信功能开发周期,提高软件可维护性,而且利于扩展和移植。