Coordination of Dynamic Software Components with JavaBIP
Anastasia Mavridou, Valentin Rutz, and Simon Bliudze

TL;DR
This paper extends JavaBIP to support dynamic registration and deregistration of components during system execution, using first-order logic and graph models to manage synchronization and dependencies.
Contribution
It introduces a novel extension of JavaBIP enabling dynamic component management with formal models and an implementation architecture.
Findings
Supports dynamic component registration/deregistration
Uses first-order logic for synchronization constraints
Provides performance evaluation results
Abstract
JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Service-Oriented Architecture and Web Services · Software System Performance and Reliability
