Publication

A General Framework for Architecture Composability

Related publications (59)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Architecture Diagrams: A Graphical Language for Architecture Style Specification

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance readability and easiness ...

Open Publ Assoc2016

Architecture Diagrams - A Graphical Language for Architecture Style Specification

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this technical report, we study a graphical notation to enhance readability a ...

2016

Objets risqués: le pari durable du projet d’architecture

Inès Lamunière

Inès Lamunière présente les enjeux contemporains des infrastructures intégratives, en rappelant des projets historiques du début des années 30 comme Hugh Ferris et Le Corbusier ...

2016

Avant la vague. Architecture mobile entre terre et mer

Elena Chiavi

«La construction fragile, contrairement à ce que son nom peut nous laisser penser est faite pour durer.» [smiljan radic]; Avant la vague est un acte architectural. Il célèbre un moment précis dans le temps. L'infrastructure proposée, à caractère éphèmère e ...

2016

Configuration Logics: Modelling Architecture Styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Springer Int Publishing Ag2015

A Theory Agenda for Component-Based Design

Joseph Sifakis, Simon Bliudze

The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...

Springer International Publishing2015

A General Framework for Architecture Composability

Joseph Sifakis, Simon Bliudze, Eduard Baranov

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

Springer International Publishing2014

Architectures: Design patterns for component-based systems

Simon Bliudze

Architectures depict design principles, paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

2014

Construction

Régis Widmer, Jonas Läubli

Te sens-tu en vie? ; Te sens-tu en vie, dans la ville? ; Sens-tu la vie? ; Sens-tu la vie, de la ville? ; Je suis fasciné par ces lieux stagnants. ; Coincés entre différentes époques. ; Déchirés entre différents systèmes. ; Incapables de s'adapter. ; Je ch ...

2014

Low Power Wake-up Receiver

Lorenz Flavio Schmid

With more devices becoming mobile, power consumption of communication becomes crucial. Wake-up receivers present an energy-ecient way of detecting incoming transmissions while at the same time the main radio can be fully powered down. After detection the r ...

2014