Publication

On The Role of Multi-Dimensional Separation of Concerns in Software Architecture

Related publications (32)

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.

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

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

2015

Architecture Internalisation in BIP

Joseph Sifakis, Simon Bliudze

Architectures allow shifting the focus of developers from low-level code to high-level structures ensuring coordination in component-based systems. If the architecture description language is expressive enough, it is possible to describe architectures in a ...

2014

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

SUNtool - A new modelling paradigm for simulating and optimising urban sustainability

Jessen Page, Darren Robinson, Nicolas Morel

This paper describes the development and application of a new unique tool to support designers to optimise the sustainability of urban neighbourhoods (SUNtool). In this the paper introduces (i) the software architecture, (ii) the integrated solver and rela ...

2007

Augmenting Astronaut's Capabilities through Brain-Machine Interfaces

José del Rocio Millán Ruiz

Brain-Machine Interfaces (BMIs) transform the brain activity of a human operator into executable commands that can be sent to a machine, usually a computer or robot, to perform intended tasks. In addition to current biomedical applications, available techn ...

2007

Foundations of systems and properties

Otto Preiss

Engineering of software-intensive systems is concerned with the creation and evolution of systems that shall exhibit desired properties in their execution as well as development environment. In this context, the motivation of this thesis, derived from curr ...

EPFL2004

Programming language abstractions for extensible software components

Matthias Zenger

With the growing demand for software systems that can cope with an increasing range of information processing tasks, the reuse of code from existing systems is essential to reduce the production costs of systems as well as the time to manufacture new softw ...

EPFL2004

A concern-oriented approach to software architecture

Mohamed Mancona Kandé

A major cause of many complications in the field of software architectures is the lack of appropriate abstractions for separating, combining and encapsulating concerns of various kinds in architectural descriptions. Architectures of most complex software-i ...

EPFL2003

A Concern-Oriented Approach to Software Architecture

Mohamed Mancona Kandé

2003