Constructing systems from components and building components for different systems require well-established methodologies and processes. This article proposes a formal framework for designing and specifying component-...
详细信息
Constructing systems from components and building components for different systems require well-established methodologies and processes. This article proposes a formal framework for designing and specifying component-based systems (CBS). The two-dimensional evolutions of CBS are architectural reconfiguration and behavioral adaptation, when user requirements and/or runtime contexts change. This framework provides an incremental design methodology where component interfaces and their corresponding ports are the basic units of software construction, rather than components. Conceptually, interfaces serve to assemble simple components to obtain more complex ones. Behaviorally, they serve to propagate side effects of visible changes of a component on its neighbors. Interfaces also supply interactions and synchronization effects on the underlying sub-system. The calculation process is guided by changes on interfaces where the hierarchical structure of the underlying CBS is maintained. In this framework, CBS specification is supported by some execution tools based on Maude.
Supervisory control and data acquisition (SCADA) software which is suitable to distributed control systems is a demand for system developers because the characteristics of existing SCADA software packages are hard to ...
详细信息
Supervisory control and data acquisition (SCADA) software which is suitable to distributed control systems is a demand for system developers because the characteristics of existing SCADA software packages are hard to satisfy the requirements of distributed systems. For the strengths of component-oriented techniques, this paper proposes a component-oriented architecture of SCADA software to satisfy the demand of distributed control systems. Design pattern and OPC (OLE for Process Control) technology are also used to make the openness for the architecture.
Weather generators (WG) can be defined as collections of models to estimate site specific weather data and derived variables. They are commonly used for providing inputs to a variety of biophysical models or for deriv...
详细信息
ISBN:
(纸本)9780975840078
Weather generators (WG) can be defined as collections of models to estimate site specific weather data and derived variables. They are commonly used for providing inputs to a variety of biophysical models or for deriving weather indices. Also, using either global circulation models or local area models inputs, sets of parameters calculated from long term weather series specific to a site can be modified to reproduce via WG synthetic series representing climate change scenarios. Finally, models implemented in WG are used for estimating missing data and to perform quality control on data collected from sensors at weather stations. The scientific foundation of models implemented in WG varies from purely empirical to physically based. Several models exist allowing either the estimate or the generation of specific weather variables, with different input requirements. New models are continuously being proposed, and, although some models to estimate specific variables are commonly accepted as reference methods, the lack of some inputs requires at times using alternate approaches. Currently available WG are applications which implement a predefined set of modelling options, in software implementations which do not allow for independent extensions by third parties. The CLIMA weather generator is a component based application which consist of a set of reusable graphical user interface (GUI) components, and a set of extensible model components. The latter are subdivided into six namespaces to estimate variables related to air temperature, rainfall, solar radiation, evapotranspiration, wind, and leaf wetness. The temporal resolution of the estimated variables varies from a day to ten minutes. Another software library allows the estimation of climatic indices from one year of daily data at the time. The current implementation consists of more than 300 models. components are usable either via the CLIMA GUI, or via custom developed applications in a client-server architecture. The
A form of design guidance is offered through a process that applies Axiomatic Design Theory to component-Orientation. Axiomatic Design has been proposed by Do and Suh for object-oriented software development. Our appr...
详细信息
A form of design guidance is offered through a process that applies Axiomatic Design Theory to component-Orientation. Axiomatic Design has been proposed by Do and Suh for object-oriented software development. Our approach leverages divide-and-conquer and find-integrate techniques that support service-based development as an alternative to developing code from scratch. Using this process, missing or conflicting components can be identified, and missing components can be defined. The effectiveness of our proposed system is demonstrated through an example based on High Level Architecture (HLA) simulations. Our component-oriented approach utilizing axiomatic design theory has been adapted to HLA Federation Development and Execution Process (FEDEP). As one of the component-oriented approaches proposed, FEDEP is able to obtain interoperability and reusability of available components, namely Federates. (C) 2007 Elsevier Inc. All rights reserved.
This paper presents a nuclear power plant simulator kernel based on the high-performance computing-oriented Common component Architecture (CCA). The approach takes advantage of both the component-based software develo...
详细信息
This paper presents a nuclear power plant simulator kernel based on the high-performance computing-oriented Common component Architecture (CCA). The approach takes advantage of both the component-based software development and the efficient execution of parallel simulation models. The use of components improves the software life cycle and facilitates the development, maintenance and evolution of the simulator kernel, which can be adapted to different execution scenarios. Data dependencies among simulation models are resolved automatically by means of a novel algorithm, releasing the programmer from this tedious task and, as a result, making the development process easier. This work introduces the main features of the simulator kernel, describing concepts and the model on which it is based. Some preliminary results are shown that anticipate the feasibility and suitability of the proposal. Copyright (c) 2006 John Wiley & Sons, Ltd.
This paper presents a nuclear power plant simulator kernel based on the high-performance computing-oriented Common component Architecture (CCA). The approach takes advantage of both the component-based software develo...
详细信息
This paper presents a nuclear power plant simulator kernel based on the high-performance computing-oriented Common component Architecture (CCA). The approach takes advantage of both the component-based software development and the efficient execution of parallel simulation models. The use of components improves the software life cycle and facilitates the development, maintenance and evolution of the simulator kernel, which can be adapted to different execution scenarios. Data dependencies among simulation models are resolved automatically by means of a novel algorithm, releasing the programmer from this tedious task and, as a result, making the development process easier. This work introduces the main features of the simulator kernel, describing concepts and the model on which it is based. Some preliminary results are shown that anticipate the feasibility and suitability of the proposal. Copyright (c) 2006 John Wiley & Sons, Ltd.
Laboratories for training students in software development involve a considerable coding effort, reducing the complexity of the exercises that are possible in the available lab time. In order to reduce this coding eff...
详细信息
ISBN:
(纸本)9781424408580
Laboratories for training students in software development involve a considerable coding effort, reducing the complexity of the exercises that are possible in the available lab time. In order to reduce this coding effort our laboratory employed the component framework WebSI. An application developed with WebSI is composed of application logic (AL) component and an interaction style (IS) component, containing code for producing and managing the graphical user interface (GUI). In the laboratory, the students wrote only the AL component, while the instructor provided a number of readymade different IS components. If the student didn't like the produced GUI, she could simply exchange the IS component with one that produces a GUI that is more to her liking. The exchange of an IS component is possible since all IS components employ the same abstract semantic interface, which does not specify the geometric and other properties of the GUI to be produced. Changing components is fast, as no compilation is required. The time the students saved by using ready-made IS components was invested in requirement elicitation and specifications, which had a beneficial effect on the usability of the student projects.
This paper proposes the application of modern component-oriented technologies to the development of nuclear power plant simulators. On the one hand, as a significant improvement on previous simulators, the new kernel ...
详细信息
This paper proposes the application of modern component-oriented technologies to the development of nuclear power plant simulators. On the one hand, as a significant improvement on previous simulators, the new kernel is based on the Common component Architecture (CCA). The use of such a high-performance computing orientedcomponent technology, together with a novel algorithm to automatically resolve simulation data dependencies, allows the efficient execution of both parallel and sequential simulation models. On the other hand, RT-CORBA is employed in the development of the rest of the applications that comprise the simulator. This real-time communication middleware not only makes the management of communications easier, but also provides the applications with real-time capabilities. Software components used in these two ways, simulation models integrating the kernel and distributed applications from which the simulator is comprised, improve the evolution and maintenance of the entire system, as well as promoting code reusability in other projects. Copyright (c) 2006 John Wiley & Sons, Ltd.
In recent years, there has been increasing interest in the development of computer simulations of complex biological systems, and of multi-physics and multi-scale physical phenomena. Applications have been developed t...
详细信息
In recent years, there has been increasing interest in the development of computer simulations of complex biological systems, and of multi-physics and multi-scale physical phenomena. Applications have been developed that involve the coupling together of separate executable models of individual systems, where these models may have been developed in isolation. A lightweight yet general solution is required to problems of linking coupled models, and of handling the incompatibilities between interacting models that arise from their diverse origins and natures. Many such models require high-performance computers to provide acceptable execution times, and there is increasing interest in utilizing Grid technologies. However, Grid applications need the ability to cope with heterogeneous and dynamically changing execution environments, particularly where run-time changes can affect application performance. A general coupling framework (GCF) is described that allows the construction of flexible coupled models. This approach results in a component-based implementation of a coupled model application. A semi-formal presentation of GCF is given. components under GCF are separately deployable and coupled by simple data flows, making them appropriate structures for dynamic execution platforms such as the Grid. The design and initial implementation of a performance control system (PERCo) is reviewed. PERCo acts by redeploying components, and is thus appropriate for controlling GCF coupled model applications. Redeployment decisions in PERCo require performance prediction capabilities. A proof-of-concept performance prediction algorithm is presented, based on the descriptions of GCF and PFRCo. Copyright (C) 2005 John Wiley Sons, Ltd.
暂无评论