This paper characterizes various categories of reuse technologies in terms of their underlying architectures, the kinds of problems that they handle well, and the kinds of problems that they do not handle well. In the...
详细信息
In order to compose components, we have to adapt them. Therefore, we pursue a transformational approach focusing on the communication view. We show how to separate the definition of communication from the definition o...
详细信息
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key ele...
详细信息
ISBN:
(纸本)9781450304450
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of interaction contract that expresses allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications. We instantiate our approach in an architecture description language for Sense/Compute/Control applications, and describe associated compilation and verification strategies.
There are amount of calculations come down to arithmetic when we develop programs of radar signal processing. These programs are developed under higher languages. These languages are inefficient on calculations and th...
详细信息
The availability of a C implementation of the Document Object Model (DOM) offers the interesting opportunity of generating bindings for different programming languages automatically. Because of the DOM bias towards Ja...
详细信息
Multi-paradigm design is a metaparadigm: it enables to select the appropriate paradigm among those supported by a programming language for a feature being modeled in a process called transformational analysis. A parad...
详细信息
Persistent Object Stores provide the core of the physical architecture of database management systems (DBMSs). Persistence, concurrent access, transaction support, and direct, navigational and associative object acces...
详细信息
Physical products come in many variants, and so does the software embedded in them. The software embedded in a product variant usually has to be optimized to fit its limited memory and computing power. generative prog...
详细信息
ISBN:
(纸本)3540442847
Physical products come in many variants, and so does the software embedded in them. The software embedded in a product variant usually has to be optimized to fit its limited memory and computing power. generativeprogramming is well suited for developing embedded software since it allows us to automatically produce variants of embedded software optimized for specific products. This paper reports on our experience in applying generativeprogramming in the embedded domain. We propose an extended feature modeling notation, discuss tool support for feature modeling, describe a domain-independent system configuration editor, and comment on the applicability of static configuration in the area of embedded systems.
The proceedings contain 148 papers. The topics discussed include: a PLC-based three-dimensional warehouse simulation system;pollen dictionary construction based on supervised comparative learning;application and resea...
ISBN:
(纸本)9798400716942
The proceedings contain 148 papers. The topics discussed include: a PLC-based three-dimensional warehouse simulation system;pollen dictionary construction based on supervised comparative learning;application and research of high-quality pixel streaming architecture based on unreal engine;development and research of generative animation based on AIGC;distributed roof photovoltaics monitoring system for the whole district;a system to increase the accuracy of deep learning based classification by the distribution of labels;fine-tuning of financial large language model and application at edge device;deep learning compiler optimization based on constraint programming;and design and implementation of automatic monitoring software for seismic observation instrument.
Traditional protocol implementation approaches capture the structural aspects of protocols in a common base that can be used accross layers. However, they are usually not very good at capturing the behavioral aspects....
详细信息
ISBN:
(纸本)3540442847
Traditional protocol implementation approaches capture the structural aspects of protocols in a common base that can be used accross layers. However, they are usually not very good at capturing the behavioral aspects. Two important implementation problems result, namely, reprogramming similar behavior and configuration of crosscutting concerns. In this paper, we present an approach to solve the problems of reprogramming similar behavior and absence of systematic configuration mechanisms for crosscutting concerns in communication systems. Our approach is based on generativeprogramming, has been implemented in C++ and has been validated with several protocols. We also sketch an approach for run-time reconfigurable protocol stacks.
暂无评论