检索结果-内蒙古大学图书馆

A Formal Framework for Scalable component-Based Systems

INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN 2017年第1期8卷 1-23页

作者： Bouanaka, Chafia Debza, Ahmed Amar Belala, Faiza Zeghib, Nadia Univ Constantine2 Abdelhamid Mehri LIRE Lab Constantine Algeria Univ Constantine2 Abdelhamid Mehri LIRE Lab Comp Sci Constantine Algeria

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.

关键词： component-oriented programming Formal Methods Maude Meta-programming Software Adaptation

来源：评论

学校读者我要写书评

暂无评论

component-based Design for SCADA Architecture

引用

INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS 2010年第5期8卷 1141-1147页

作者： Phan Duy Anh Truong Dinh Chau Ho Chi Minh City Univ Technol Sch Elect & Elect Engn Ho Chi Minh City Vietnam

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.

关键词： component-oriented programming distributed systems real-time design patterns realtime systems SCADA system architecture

来源：评论

学校读者我要写书评

暂无评论

Hierarchical message passing through a ProActive/GCM based runtime

Hierarchical message passing through a ProActive/GCM based r...

引用

作者： Mathias, Elton Nicoletti

In the past several years, grid computing has emerged as a way to harness computing resources geographically distributed across multiple organizations. Due to its inherently largely distributed and heterogeneous nature, grid computing has enlarged the importance of specific requirements, such as scalability, performance and the need of an adequate programming model. Several programming models have been proposed for grid programming. Nonetheless, so far, none of them met all the requirements. Differently, in the field of high performance cluster computing, the message passing model became a true standard with a large number of libraries and legacy applications. This work proposes a hybrid framework that combines the high performance and high acceptability of the MPI standard boosted with intuitive extensions to enable developers to design grid applications or "gridify" existing ones with the flexibility of a component-based runtime modeling resources hierarchy and offering support to inter-cluster communication. The proposed solution relies on the addition of new MPI communicators and a related API, which may offer a support well-suited to programmers used to MPI in order to reflect a hierarchical topology within the deployed application. Carlo Simulation, a Mergesort and a Poissond3D solver) have shown that the "gridification" of applications improve application performance on grid environments. Even if the goal is not to compete against existing MPI distributions, the performance of the solution is comparable with MPI performance, even better in some cases. From the results obtained in the evaluation of this prototype, we conclude that the overhead introduced by the components is not negligible, but inside of the expected. However, we can expect the benefits to grid applications to bypass the generated overhead. Besides, the extended interface may offer users the adequate abstractions to design parallel algorithms in a hierarchical way addressing grid environments

关键词： Processamento paralelo Parallel programming component-oriented programming Computação em grade programming model Mpi Grid programming Messsage passing MPI Dissertação

来源：评论

学校读者我要写书评

暂无评论

CLIMA: a weather generator framework 18

<i>CLIMA</i>: a weather generator framework

引用

IMACS World Congress/Modelling and Simulation Society-of-Australia-and-New-Zealand (MSSANZ)/18th MODSIM09 Biennial Conference on Modelling and Simulation

作者： Donatelli, M. Bellocchi, G. Habyarimana, E. Bregaglio, S. Confalonieri, R. Baruth, B. CRA Res Ctr Ind Crops Bologna Italy

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

关键词： weather generation component-oriented programming re-usability extensibility

来源：评论

学校读者我要写书评

暂无评论

Systematic component-oriented development with Axiomatic Design

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2008年第11期81卷 1803-1815页

作者： Togay, Cengiz Dogru, Ali H. Tanik, John Urcun Middle E Tech Univ Dept Comp Engn TR-06531 Ankara Turkey Univ Alabama Birmingham Dept Elect & Comp Engn Birmingham AL USA Canakkale Onsekiz Mart Univ Dept Comp Engn Canakkale Turkey

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.

关键词： Axiomatic Design component-oriented programming HLA Mature domain Simulation Federation Development and Execution Process

来源：评论

学校读者我要写书评

暂无评论

科学工作流技术及其在大气科学数据处理中的应用

科学工作流技术及其在大气科学数据处理中的应用

引用

第九届科学数据库与信息技术学术讨论会

作者：林小光周园春黎建辉中国科学院计算机网络信息中心北京100190 中国科学院研究生院北京100190 中国科学院计算机网络信息中心北京100190

科学工作流技术面向数据流,用于获取科学数据,并对所获取的数据执行复杂分析,是科学实验的流程化实现.Kepler系统是目前比较成熟的科学工作流系统,面向组件编程为科学工作流系统的扩展提供了方便.本文根据大气科学数据的特点,提出了一个... 详细信息

科学工作流技术面向数据流,用于获取科学数据,并对所获取的数据执行复杂分析,是科学实验的流程化实现.Kepler系统是目前比较成熟的科学工作流系统,面向组件编程为科学工作流系统的扩展提供了方便.本文根据大气科学数据的特点,提出了一个在B/S架构下,基于科学工作流技术的大气科学数据处理与分析环境的解决方案.

关键词： scientific workflow Kepler atmospheric scientific data component-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A component-based nuclear power plant simulator kernel

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2007年第5期19卷 593-607页

作者： Diaz, Manuel Garrido, Daniel Romero, Sergio Rubio, Bartolome Soler, Enrique Troya, Jose M. Univ Malaga Dept Languages & Comp Sci ETS Ingn Informat E-29071 Malaga Spain

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.

关键词： component-oriented programming scientific computing nuclear power plant simulator CCA Ccaffeine

来源：评论

学校读者我要写书评

暂无评论

A component-based nuclear power plant simulator kernel

A component-based nuclear power plant simulator kernel

引用

Workshop on component and Framework Technology in High-Performance and Scientific Computing

作者： Diaz, Manuel Garrido, Daniel Romero, Sergio Rubio, Bartolome Soler, Enrique Troya, Jose M. Univ Malaga Dept Languages & Comp Sci ETS Ingn Informat E-29071 Malaga Spain

关键词： component-oriented programming scientific computing nuclear power plant simulator CCA Ccaffeine

来源：评论

学校读者我要写书评

暂无评论

Experiences with component-oriented technologies in nuclear power plant simulators

引用

SOFTWARE-PRACTICE & EXPERIENCE 2006年第13期36卷 1489-1512页

作者： Diaz, Manuel Garrido, Daniel Romero, Sergio Rubio, Bartolome Soler, Enrique Troya, Jose M. Univ Malaga Dept Languages & Comp Sci E-29071 Malaga Spain

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 oriented component 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.

关键词： component-oriented programming scientific computing nuclear power plant simulator CCA CORBA

来源：评论

学校读者我要写书评

暂无评论

Using semantic component interfaces in software engineering training

Using semantic component interfaces in software engineering ...

引用

International Conference on Information and Technology

作者： Kantorowitz, Eliezer Lyakas, Alexander Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel

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.

关键词： component component-oriented programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：