Event
MBSE Colloquium: Anastasia Mavridou, "Modeling Architecture Styles"
Monday, May 8, 2017
11:00 a.m.
1146 AV Williams Building
Kimberly Edwards
kedwards@umd.edu
Modeling Architecture Styles
Anastasia Mavridou
Postdoctoral Researcher
Institute for Software Integrated Systems
Vanderbilt University
Abstract
Systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug, and maintain. Architectures are common means for organizing coordination between components in order to build complex yet manageable systems. They allow thinking on a higher plane and avoiding low-level mistakes. Grouping architectures that share common characteristics, such as the type of the involved components and the properties they enforce, into architecture styles assists component re-use and thus, the cost-effective development of systems. Additionally, architecture styles provide means for ensuring correctness-by-construction by enforcing global properties. Informally, architecture styles can be understood as solutions to coordination problems, such as mutual exclusion, data access control, authentication, and resource management. In this talk, I am going to introduce two formalisms for the specification of architecture styles: configuration logics and architecture diagrams. I am going to present methods for assisting software developers to check the consistency of specified architecture styles, generate the conforming architectures of a style, and check whether an architecture model meets given style requirements. Finally, I am going to discuss a case study of applying configuration logics and architecture diagrams to modeling architecture styles identified in on-board satellite software.
Biography
Anastasia Mavridou is a Postdoctoral Scholar at the Institute for Software Integrated Systems, Vanderbilt University, where she works with Prof. Janos Sztipanovits. Her research interests lie in the area of component-based design, modeling and analysis of concurrent systems with a focus on correct-by-construction techniques. She received her PhD in Computer Science from École Polytechnique Fédérale de Lausanne (EPFL), Switzerland in December 2016 under the supervision of Prof. Joseph Sifakis and Dr. Simon Bliudze. She holds an M.S. in Computer Science from University of Tulsa and a Diploma in Electrical and Computer Engineering from Aristotle University of Thessaloniki, Greece.
