With the development of the network technology, the scale of the information system is becoming larger Component software engineering is the hot point method supporting the development of such kind of application base...
详细信息
ISBN:
(纸本)0818690968
With the development of the network technology, the scale of the information system is becoming larger Component software engineering is the hot point method supporting the development of such kind of application based on network computing model Java Beans is a standard for software components. For develop high quality components, this paper proposes a toolkit -- MChecker for checking the consistency between the Java Beans semantic constraints and its implementation. MChecker uses a logic-based language -- Java Beans Description Language for describing the bean's semantic constraints. Consistency checking is based on a dynamic model checking approach. A generator is used to generate the checker automatically SOY a source bean. A wrapper is used to make the source support the check process. We in the paper illustrate the system architecture, the key technology and the core algorithm. Some experimental results are showed by examples.
Distributed time service is a basic object service in distributed computing environment based on CORBA. In this paper, We present a clock synchronization method based on clock groups. We dividing machines in a system ...
详细信息
ISBN:
(纸本)0818690968
Distributed time service is a basic object service in distributed computing environment based on CORBA. In this paper, We present a clock synchronization method based on clock groups. We dividing machines in a system into groups, nodes in a group are in the same LAN. There is a master clock and several slave clocks in a group, who carry out intra-group synchronization. Master clocks of all groups together accomplish inter-group synchronization. Such dividing-to-group synchronization method make the system scalable and flexible. At the same time, it reduces machines spanning LANs to attend synchronization, thus synchronization overhead is reduced. We have implemented clock synchronization based on clock groups in our experimental distributed object environment.
Software tools that support implicit parallel programming hold the key to reducing the complexity of parallel programming and realizing more ubiquitous parallel computation. This paper addresses the topic of implicit ...
详细信息
Software tools that support implicit parallel programming hold the key to reducing the complexity of parallel programming and realizing more ubiquitous parallel computation. This paper addresses the topic of implicit concurrent object-oriented programming. It presents a new language, SYMPAL, which unlike most existing COOP languages that provide explicit constructs for concurrency control, is based on a unification of object orientation and pure functional programming with the goals of supporting implicit programming and high efficiency in massively concurrent object-oriented programming. Extensive experience with SYMPAL applications on a parallel machine indicates that it achieves these goals.
We argue that for computing majors, it is better to use a 'why' approach to teaching programming than a 'how' approach;this involves (among other things) teaching structured programming before progress...
详细信息
We argue that for computing majors, it is better to use a 'why' approach to teaching programming than a 'how' approach;this involves (among other things) teaching structured programming before progressing to higher-level styles such as object-oriented programming. We also argue that, once it has been decided to teach structured programming, Java is a reasonable language to choose for doing so.
.*** purpose in this paper is to introduce aspects of userís and developer’s graphical interface associated with operational aspects in an object-oriented environment for symbolic derivation and automatic progra...
详细信息
.*** purpose in this paper is to introduce aspects of userís and developer’s graphical interface associated with operational aspects in an object-oriented environment for symbolic derivation and automatic programming of finite elements. The approach is illustrated first on the example of two formulations for the linear elasticity and second on the example of a stabilized formulation for the Navier-Stokes problem.Résumé.On se propose au travers de cette communication de présenter les aspects d’interface et de fonctionnalité d’un environnement mathématique symbolique permettant d’une part la dérivation de formulation d’éléments finis et d’autre part la programmation automatique dans un code numérique. On illustrera l’approche sur deux formulations pour l’élasticité linéaire en milieu incompressible et sur une formulation stabilisée pour le problème de Navier-Stokes.
For further improvements in the field of supervisory and process control it is necessary not only to have a physical but also a logical uniform infrastructure for access to the broad range of product and process infor...
详细信息
For further improvements in the field of supervisory and process control it is necessary not only to have a physical but also a logical uniform infrastructure for access to the broad range of product and process information. Up to now, no uniform information infrastructure has been established for the purposes of process control engineering. The advance in vertical network integration in enterprises provides at least the infrastructure for combining the various information partners into one “Process Control Engineering Internet᾿. The open communication system ACPLT/KS with a structured and easily useable application layer built upon the wideley accepted protocols of the Internet is presented.
Although there are many commercial real-time micro-kernel available on the market today, the common prejudices against their use for implementing control algorithms are still justified. Some of them are too complex an...
详细信息
Although there are many commercial real-time micro-kernel available on the market today, the common prejudices against their use for implementing control algorithms are still justified. Some of them are too complex and overhead-prone while others are tiny and efficient but don't provide all those services that are actually required by real-time applications. This is especially true regarding communication support for distributed and embedded control systems. This paper focuses on a new design concept for real-time communication system (RCOS) platforms matching the quality and functional needs of a given distributed and embedded application. The approach is based on a library operating system (D reams * ) which allows for extremely fine-grained customizations to avoid systemlevel overhead. We will outline the architecture of D reams , show how customization is applied for interprocessor communication and present first results that demonstrate the impact of customization on system overhead.
A programming language which is optimised for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. The language is SDML,...
详细信息
A programming language which is optimised for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. The language is SDML, a strictly declarative modelling language which has object-oriented features and corresponds to a known formal logic. The virtues of SDML include the ease of building complex models and the facility for representing agents flexibly as models of cognition as well as modularity and code reusability. Features of SDML are illustrated by a model of an economic system with cognitive agents and explicit representation of transactions as a process of negotiation and agreement leading to exchange
Nowadays, distributed computing systems are widely used due to the great advances that have been achieved in computer networks in the past few years, and partly due to their low cost. Developing software for these sys...
详细信息
Nowadays, distributed computing systems are widely used due to the great advances that have been achieved in computer networks in the past few years, and partly due to their low cost. Developing software for these systems turns out to be complicated, mainly due to the heterogeneity of the distributed system components and the underground communication layers. MMS is a suitable language to carry out the communication between devices in a heterogeneous manufacturing system because it provides uniformity in the access to them. This work proposes the use of the ORB specified in CORBA from the OMG to communicate MMS events.
The paper presents a large scale nonlinear model which is used for supporting international negotiations aimed at improving air quality in Europe. The model helps to identify cost effective measures for reducing air p...
详细信息
The paper presents a large scale nonlinear model which is used for supporting international negotiations aimed at improving air quality in Europe. The model helps to identify cost effective measures for reducing air pollution emissions and to examine the resulting concentrations of tropospheric ozone acidification and eutrophication. Several methodological and technical issues related to the specification, generation and optimization-based analysis of large nonlinear models for decision support that are of a more general interest are presented.
暂无评论