Component-based software development (short for CBSD) is to develop softwaresystems by choosing appropriate components in the distributed environment to assemble a dependable software architecture, which satisfies re...
详细信息
ISBN:
(纸本)9780769546766
Component-based software development (short for CBSD) is to develop softwaresystems by choosing appropriate components in the distributed environment to assemble a dependable software architecture, which satisfies requirements. This new paradigm plays a key role in the softwareengineering and also brings new challenges to the dependable software architecture design. In this paper, firstly we introduce an architecture description language-pi-ADL to specify the software architecture based on component. Secondly based on Higher-Order pi-Calculus, we give a formal method to verify the behavior consistency of component substitutability. In this way, we can forecast errors and enhance the semantic correctness of the software architecture from the design stage.
We report a comparative study on the development of high-performance software for solving the problem of optimal design of multiproduct batch plants on modern parallelsystems. We analyze two main algorithmic approach...
详细信息
ISBN:
(纸本)9781538655559
We report a comparative study on the development of high-performance software for solving the problem of optimal design of multiproduct batch plants on modern parallelsystems. We analyze two main algorithmic approaches to optimization - branch-and-bound and metaheuristic-based - and we develop and compare their parallel implementations on a variety of parallel architectures: multi-core CPU, GPU, and clusters. Our experiments on a real-world case study - optimization of chemical-engineeringsystems - demonstrate the trade-offs between the run time performance and the quality of solutions achieved by different algorithms on various parallel architectures.
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong - often co...
详细信息
ISBN:
(纸本)0769501915
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong - often conflicting - requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution, high-performance, fault-tolerance, load balancing and security. The development of complex DMAs can benefit from the adoption of object design methods and distributed objects implementation technologies. The paper describes the use of two modeling approaches, based on the standard UML modeling language, and on the TRIO formal specification language, respectively. The problem of defining steps to move from the UML or TRIO specification to a CORBA IDL implementation is addressed too. An experimental distributed Video-on-Demand system is used throughout the paper as a case study.
Component based programming is a current trend in the development of software. The application is created using components and binding their interfaces appropriately at the configuration level. This is especially inte...
详细信息
ISBN:
(纸本)0769506348
Component based programming is a current trend in the development of software. The application is created using components and binding their interfaces appropriately at the configuration level. This is especially interesting for applications that, for availability reasons, claim for dynamic reconfiguration. This paper describes an approach for dynamic reconfiguration of applications based on CORBA components running in an environment called LuaSpace that is composed by the dynamically typed language Lua and a set of tools based on Lua. Components, scripts and glue code are the elements that form an application expressed in Lua. LuaSpace provides support for both programmed and ad-hoc reconfiguration. Although our work focuses at configuration level, LuaSpace also handles components updating.
A novel concurrent programming paradigm called "Hypersequential Programming" (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that sy...
详细信息
ISBN:
(纸本)0769501915
A novel concurrent programming paradigm called "Hypersequential Programming" (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for the serialization of a program. Only those test cases found to be correct are used in the final concurrent program. Therefore, HSP relies on all the functionality being included into a program. This is opposite to traditional softwareengineering practice, which is to ensure that all unwanted behaviours have been removed. This paper briefly examines the HSP method with reference to test cases and scenarios. We examine a couple of brief examples and discuss the limitations of test cases, with particular respect to HSP. We concluded that finding a method of ensuring the correct set of test cases is used in development is essential to the success of HSP.
Security engineering has some features that are intrinsically different from software (Reliability) engineering. Traditional softwareengineering environments are not adequate and effective for designing, developing, ...
详细信息
ISBN:
(纸本)9780769537474
Security engineering has some features that are intrinsically different from software (Reliability) engineering. Traditional softwareengineering environments are not adequate and effective for designing, developing, managing, and maintaining secure softwaresystems. This paper presents our development of ISEE, an information security engineering environment we are developing, that integrates various tools and provides comprehensive facilities to support design, development, management, and maintenance of security facilities of information/softwaresystems continuously and consistently, and guides and helps all users to perform their tasks regularly according to ISO/IEC security standards. ISEE is the first real information security engineering environment.
A parallel implementation of the finite volume method for three-dimensional, time-dependent, thermal convective flows is presented. The algebraic equations resulting from the finite volume discretization are solved by...
详细信息
A parallel implementation of the finite volume method for three-dimensional, time-dependent, thermal convective flows is presented. The algebraic equations resulting from the finite volume discretization are solved by a parallel multigrid method. A flexible parallel code has been implemented on distributed-memory systems, by using domain decomposition techniques and the MPI communication software. The code uses one-, two- or three-dimensional partition according to different geometries. It currently runs on the Intel Paragon, the Gray T3D, T3E, the IBM SP2 and the Beowulf systems, which can be ported easily to other parallelsystems. A comparison of the wallclock time of the code between these systems is made, and code performances with respect to different numbers of processors are presented. Published by Elsevier Science Limited.
From a security point of view, mobile agents and other mobile code entities extend the potential of distributedsystems by the possibility of programs being executed on computers that are often not maintained by the e...
详细信息
ISBN:
(纸本)0818689919
From a security point of view, mobile agents and other mobile code entities extend the potential of distributedsystems by the possibility of programs being executed on computers that are often not maintained by the employer of that program. In this sense, two particles are involved in running a program, and thus guarantees have to be given that one party will not harm the other. This article illustrates how to achieve this relationship.
We review mobile agents in the context of distributed object computing and parallel processing. We compare these three paradigms qualitatively. For a quantitative comparison of RIM and Voyager as mobile agent platform...
详细信息
We review mobile agents in the context of distributed object computing and parallel processing. We compare these three paradigms qualitatively. For a quantitative comparison of RIM and Voyager as mobile agent platforms, we identify distributed information processing with flexible load balancing as a convincing application to evaluate the two platforms.
This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived har...
详细信息
ISBN:
(纸本)0769501915
This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived hardware architecture of the simulation environment are described with respect to performance requirements. The communication architecture of the SEEDS simulator is based on the OMG's CORBA standard and the DIS simulation protocol. With the SEEDS prototype simulating airport ground-traffic, performance measurements evaluating critical design and implementation decisions are described. The main aspects of the performance analysis are the attained application performance using CORBA and DIS as communication middleware, and the scalability of the overall approach. The evaluation shows the appropriateness of the design of the simulation environment and the derived hard- and software architecture, which is flexible and open to further extensions. Moreover the combination of CORBA and DIS provides a suited platform for distributed interactive simulation purposes because of the adequate performance, high scalability, and the high-level programming model which allows to rapidly develop and maintain complex distributed applications with high-performance requirements.
暂无评论