24,526 research outputs found
Using Attribute-Oriented Programming to Leverage Fractal-Based Developments
International audienceThis paper presents the Fraclet annotation framework. The goal of Fraclet is to leverage Component-Based Software Engineering based on the Fractal component model using Attribute-Oriented Programming. We show that, using Fraclet, about 50% of the handwritten program code can be saved without loosing the semantics of the application, while the rest of the program code is automatically generated
Component-based Discrete Event Simulation Using the Fractal Component Model
In this paper we show that Fractal, a generic component model coming from the Component-Based Software Engineering (CBSE) community, meets most of the functional expectations identified so far in the simulation community for component-based modeling and simulation. We also demonstrate that Fractal offers additional features that have not yet been identified in the simulation community despite their potential usefulness. Eventually we describe our ongoing work on such a new simulation architecture built on top of the Fractal model, the Open Simulation Architecture (OSA)
Component-based Discrete Event Simulation Using the Fractal Component Model
In this paper we show that Fractal, a generic component model coming from the Component-Based Software Engineering (CBSE) community, meets most of the functional expectations identified so far in the simulation community for component-based modeling and simulation. We also demonstrate that Fractal offers additional features that have not yet been identified in the simulation community despite their potential usefulness. Eventually we describe our ongoing work on such a new simulation architecture built on top of the Fractal model, the Open Simulation Architecture (OSA)
Performance evaluation of Fractal component based systems
International audienceComponent based system development is now a well accepted design approach in software engineering. Numerous component models have been proposed and for most of them, specific software tools allow building Component Based System (CBS). Although these tools perform several checks on the built system, few of them provide formal verification of behavioural properties nor performance evaluation of the resulting system. In this context, we have developed a general method associating to a CBS, a formal model, based on Stochastic Well formed Nets, a class of high level Petri Nets, allowing qualitative behavioural analysis together with performance evaluation of this CBS. The definition of the model heavily depends on the (run time) component model used to describe the CBS. In this paper, we instantiate our method to Fractal CBS and its reference Java implementation Julia. The method starts from the Fractal architectural description of a system, and defines rules to systematically generate elements models of the CBS and their interactions. We then apply a structured method both for qualitative and performance analysis taking into account the given implementation of the Fractal model. The main interest of our method is to take advantage of the compositional definition of such systems to carry out an efficient analysis. The paper concentrates on performance evaluation and presents our method step by step with an illustrative example
A component-based model and language for wireless sensor network applications
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, these users are expected to produce low-level software for a concurrent, real-time and resource-constrained computing environment. In this paper, we introduce a component-based model for wireless sensor network applications and a language, Insense, for supporting the model. An application is modelled as a composition of interacting components and the application model is preserved in the Insense implementation where active components communicate via typed channels. The primary design criteria for Insense include: to abstract over low-level concerns for ease of programming; to permit worst-case space and time usage of programs to be determinable; to support the fractal composition of components whilst eliminating implicit dependencies between them; and, to facilitate the construction of low footprint programs suitable for resource-constrained devices. This paper presents an overview of the component model and Insense, and demonstrates how they meet the above criteria.Preprin
Leveraging Component-Based Software Engineering with Fraclet
International audienceComponent-based software engineering has achieved wide acceptance in the domain of software engineering by improving productivity, reusability and composition. This success has also encouraged the emergence of a plethora of component models. Nevertheless, even if the abstract models of most of lightweight component models are quite similar, their programming models can still differ a lot. This drawback limits the reuse and composition of components implemented using different programming models. The contribution of this article is to introduce Fraclet as a programming model com- mon to several lightweight component models. This programming model is presented as an annotation framework, which allows the developer to annotate the program code with the elements of the abstract component model. Then, using a generative approach, the annotated program code is completed according to the programming model of the component model to be supported by the component runtime environment. This article shows that this annotation framework provides a significant simplification of the program code by removing all dependencies on the component model interfaces. These benefits are illustrated with the Fractal and OpenCOM component models
Fractal Ă la Coq
International audienceComponent-based Engineering aims at providing a modular means to specify a wide range of applications. The idea is to promote a clean separation of concerns, and thus reusability, in order to ease the burden of software development and maintenance. The specification of such component models however, tends to be informal, leaving their inherent ambiguities open to interpretation. In this paper we present our ongoing work towards a formal specification of the Fractal Component Model mechanized in the Coq Proof Assistant. An operational semantics for building component-based architectures is presented, along with its compliance with the Fractal specification
A Generic Deployment Framework for Grid Computing and Distributed Applications
Deployment of distributed applications on large systems, and especially on
grid infrastructures, becomes a more and more complex task. Grid users spend a
lot of time to prepare, install and configure middleware and application
binaries on nodes, and eventually start their applications. The problem is that
the deployment process is composed of many heterogeneous tasks that have to be
orchestrated in a specific correct order. As a consequence, the automatization
of the deployment process is currently very difficult to reach. To address this
problem, we propose in this paper a generic deployment framework allowing to
automatize the execution of heterogeneous tasks composing the whole deployment
process. Our approach is based on a reification as software components of all
required deployment mechanisms or existing tools. Grid users only have to
describe the configuration to deploy in a simple natural language instead of
programming or scripting how the deployment process is executed. As a toy
example, this framework is used to deploy CORBA component-based applications
and OpenCCM middleware on one thousand nodes of the French Grid5000
infrastructure.Comment: The original publication is available at http://www.springerlink.co
Systems, Resilience, and Organization: Analogies and Points of Contact with Hierarchy Theory
Aim of this paper is to provide preliminary elements for discussion about the
implications of the Hierarchy Theory of Evolution on the design and evolution
of artificial systems and socio-technical organizations. In order to achieve
this goal, a number of analogies are drawn between the System of Leibniz; the
socio-technical architecture known as Fractal Social Organization; resilience
and related disciplines; and Hierarchy Theory. In so doing we hope to provide
elements for reflection and, hopefully, enrich the discussion on the above
topics with considerations pertaining to related fields and disciplines,
including computer science, management science, cybernetics, social systems,
and general systems theory.Comment: To appear in the Proceedings of ANTIFRAGILE'17, 4th International
Workshop on Computational Antifragility and Antifragile Engineerin
- …