Integration Of Software Components Research Articles

A behavioral analysis and verification approach to pattern-based design composition

Integrating software components to produce large-scale software systems is an effective way to reuse experience and reduce cost. However, unexpected interactions among components when integrated into software systems are often the cause of failures. Discovering these composition errors early in the development process could lower the cost and effort in fixing them. This paper introduces a rigorous analysis approach to software design composition based on automated verification techniques. We show how to represent, instantiate and integrate design components, and how to find design composition errors using model checking techniques. We illustrate our approach with a Web-based hypermedia case study.

Software radio: The challenges for reconfigurable terminals

The Software Defined Radio (Sdr) has always been considered as a promising solution for the future of wireless communications because of its ability to provide flexible architecture, enabling multimode and multistandard devices. On the network side, this technology seems to be achievable in a short-term visibility (we even are currently knowing the very beginnings ofSdr solutions in the field of network equipments), but applied to terminals, this technology is likely to reach later its maturity because the embedded issue is synonymous with high constrained architecture. The implementation of software radio terminals requires, for instance, the use of high calculation capability Digital Signal Processors (Dsp) or deeply integrated multiband rf transceiver, whose power consumption quality acts as a brake for the current development of such solutions. Nevertheless, the microelectronic industry will still provide more and more powerful components and, within a few years, theSdr dream will come true for terminal manufacturers. Furthermore, software radio is also a good opportunity to merge computer science and telecommunications technologies, in order to develop smart terminals, which may integrate software components like an operating system or Java virtual machine, etc. Hence, the software radio concept within mobile terminal is still an R&D issue, which requires effort combination in different fields but which also represents a great opportunity for the future of terminals.

Keeping Statistics Alive in Documents

We identify some of the requirements for document integration of software components in statistical computing, and try to give a general idea how to cope with them in an implementation.

Analysis of a conflict between aggregation and interface negotiation in Microsoft's Component Object Model

Many software projects today are based on the integration of independently designed software components that are acquired on the market, rather than developed within the projects themselves. A component standard, or integration architecture, is a set of design rules meant to ensure that such components can be integrated in defined ways without undue effort. The rules of a component standard define, among other things, component interoperability and composition mechanisms. Understanding the properties of such mechanisms and interactions between them is important for the successful development and integration of software components, as well as for the evolution of component standards. The paper presents a rigorous analysis of two such mechanisms: component aggregation and dynamic interface negotiation, which were first introduced in Microsoft's Component Object Model (COM). We show that interface negotiation does not function properly within COM aggregation boundaries. In particular, interface negotiation generally cannot be used to determine the identity and set of interfaces of aggregated components. This complicates integration within aggregates. We provide a mediator-based example, and show that the problem is in the sharing of interfaces inherent in COM aggregation.

Design of dynamically reconfigurable real-time software using port-based objects

The port-based object is a new software abstraction for designing and implementing dynamically reconfigurable real-time software. It forms the basis of a programming model that uses domain-specific elemental units to provide specific, yet flexible, guidelines to control engineers for creating and integrating software components. We use a port-based object abstraction, based on combining the notion of an object with the port-automaton algebraic model of concurrent processes. It is supported by an implementation using domain-specific communication mechanisms and templates that have been incorporated into the Chimera real-time operating system and applied to several robotic applications. This paper describes the port-based object abstraction, provides a detailed analysis of communication and synchronization based on distributed shared memory, and describes a programming paradigm based on a framework process and code templates for quickly implementing applications.

ABE: an environment for engineering intelligent systems

The ABE multilevel architecture for developing intelligent systems addresses the key problems of intelligent systems engineering: large-scale applications and the reuse and integration of software components. ABE defines a virtual machine for module-oriented programming and a cooperative operating system that provides access to the capabilities of that virtual machine. On top of the virtual machine, ABE provides a number of system design and development frameworks, which embody such programming metaphors as control flow, blackboards, and dataflow. These frameworks support the construction of capabilities, including knowledge processing tools, which span a range from primitive modules to skeletal systems. Finally, applications can be built on skeletal systems. In addition, ABE supports the importation of existing software, including both conventional and knowledge processing tools.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>