Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Coordination of Dynamic Software Components with JavaBIP
 
conference paper

Coordination of Dynamic Software Components with JavaBIP

Mavridou, Anastasia
•
Rutz, Valentin
•
Bliudze, Simon  
Proença, José
•
Lumpe, Markus
2017
Proceedings of the 14th International Conference on Formal Aspects of Component Software
14th International Conference on Formal Aspects of Component Software

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 validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-319-68034-7_3
Author(s)
Mavridou, Anastasia
Rutz, Valentin
Bliudze, Simon  
Editors
Proença, José
•
Lumpe, Markus
Date Issued

2017

Publisher

Springer International Publishing

Published in
Proceedings of the 14th International Conference on Formal Aspects of Component Software
Series title/Series vol.

Lecture Notes in Computer Science; 10487

Start page

39

End page

57

Subjects

BIP

•

JavaBIP

•

dynamicity

•

first-order interaction logic

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LCA2  
Event nameEvent placeEvent date
14th International Conference on Formal Aspects of Component Software

Braga, Portugal

October 10-13, 2017

Available on Infoscience
November 14, 2017
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/142183
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés