Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework

by   Antoine El-Hokayem, et al.

We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired from the Aspect Oriented Programming (AOP) paradigm which was initially conceived to support the separation of concerns during the development of monolithic systems. BIP has a formal operational semantics and makes a clear separation between architecture and behavior to allow for compositional and incremental design and analysis of systems. We distinguish local from global aspects. Local aspects model concerns at the component level and are used to refine the behavior of components. Global aspects model concerns at the architecture level, and hence refine communications (synchronization and data transfer) between components. We formalize local and global aspects as well as their composition and integration into a BIP system through rigorous transformation primitives. We present AOP-BIP, a tool for Aspect-Oriented Programming of BIP systems, demonstrate its use to modularize logging, security, and fault tolerance in a network protocol, and discuss its possible use in runtime verification of CBSs.



There are no comments yet.


page 20


Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separa...

Local Reasoning about Parametric and Reconfigurable Component-based Systems

We introduce a logical framework for the specification and verification ...

Context-Oriented Behavioral Programming

Modern systems require programmers to develop code that dynamically adap...

Model-based analysis support for dependable complex systems in CHESS

The challenges related to dependable complex systems are heterogeneous a...

A type language for message passing component-based systems

Component-based development is challenging in a distributed setting, for...

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous se...

Microservices as an Evolutionary Architecture of Component-Based Development: A Think-aloud Study

Microservices become a fast growing and popular architectural style base...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.