Title :
Keynote talk III: A framework for modeling architectures and their properties
Author_Institution :
RiSD Lab., EPFL, Lausanne, Switzerland
Abstract :
Architectures are common means for organizing coordination between components in order to build complex systems and to make them manageable. Despite the progress of the state of the art over the past decades, there are still a lot of foundational issues that remain unsolved. In this talk we present a general framework for modeling architectures and their properties.
Keywords :
large-scale systems; object-oriented programming; software architecture; complex systems; foundational issues; modeling architectures; Abstracts; Architecture; Awards activities; Computer architecture; Connectors; Embedded systems; Laboratories;
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on
Conference_Location :
Lausanne
DOI :
10.1109/MEMCOD.2014.6961866