Exogenous coordination of concurrent software components with JavaBIP

Bliudze, Simon; Mavridou, Anastasia; Szymanek, Radosław; Zolotukhina, Alina

doi:10.1002/spe.2495

Cited by 17 publications

(27 citation statements)

References 47 publications

(112 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, the structure of a cfNet could be exploited for building concurrent or distributed resource allocators. We also consider implementing the cfNet model in the JavaBIP [5,6] component coordination framework in order to evaluate the practical performance, using various SMT and constraint solvers.…”

Section: Resultsmentioning

confidence: 99%

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Bliudze

Simalatsar

Zolotukhina

2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The major research in the resource management literature focuses primarily on two complementary sub-problems: 1) specification languages for formulating resource requests and 2) constraint problems modelling allocation and scheduling. Both directions assume the knowledge of the underlying platform architecture and the dependencies it induces on the usage of the various resources. In this paper, we bridge this gap by introducing constraint-flow nets (cfNets). A cfNet is defined by a set of resources and dependencies between them, each dependency having an associated constraint schema. The model is inspired by Petri nets, with resources corresponding to places and dependencies-to transitions. Given an architecture of dependent resources, an initial resource request is propagated through the dependencies. The generated constraints are then conjuncted into the global allocation constraint. We study the notion of conflicts in cfNets and prove that for conflict-free cfNets the global allocation constraint can be constructed unambiguously. Furthermore, we provide an SMT-based algorithm for conflict detection and discuss the use of priorities to dynamically resolve conflicts at run-time. Finally, we illustrate the use of cfNets on a case study inspired by the Kalray MPPA architecture.

show abstract

Section: Resultsmentioning

confidence: 99%

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Bliudze

Simalatsar

Zolotukhina

2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…3, for the sake of simplicity, we omit the presentation of data-related aspects. However, it should be noted that the full JavaBIP [9] allows data variables within components. In such cases, component transitions can be guarded by Boolean predicates on data variables.…”

Section: Defining System Validitymentioning

confidence: 99%

“…We have previously introduced JavaBIP [8,9] that allows coordinating software components exogenously, i.e., without requiring access to component source code. JavaBIP relies on the following observations.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Coordination of Dynamic Software Components with JavaBIP

Mavridou

Rutz

Bliudze

2017

Formal Aspects of Component Software

Self Cite

View full text Add to dashboard Cite

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 than 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 coloring edges 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.

show abstract

“…In DesignBIP we have opted for a graphical language to enhance readability and easiness of expression. DesignBIP offers a complete modeling solution, in which we have integrated the tools offered by JavaBIP, the Java-based implementation of BIP [8]. Relying on the observation that systems are usually built from multiple instances of the same component type, we propose a parameterized graphical language for BIP that enhances scalability and reduces the model size.DesignBIP is a web-based, collaborative, version controlled design studio based on WebGME [21].…”

mentioning

confidence: 99%

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

Mavridou

Sifakis

Sztipanovits

2018

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

The Behavior-Interaction-Priority (BIP) framework -rooted in rigorous semantics -allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of BIP models is done in a purely textual manner without any code editor support. To facilitate the specification of BIP models, we present DesignBIP, a web-based, collaborative, version-controlled design studio. To promote model scaling and reusability of BIP models, we use a graphical language for modeling parameterized BIP models with rigorous semantics. We present the various services provided by the design studio, including model editors, code editors, consistency checking mechanisms, code generators, and integration with the JavaBIP tool-set. DesignBIP BIP Design Studio13 Design Studio Metamodel Model/Code Editors, Visualizations Consistency, Conformance Checking Model Transformation, Code Generation Integrated Tools Model repositories 1 2 3 4 Figure 1: Main design studio components and work-flow integrated, into the design studio, third party tools. The output of the tools is then collected and sent back to the model editors (step 4) for visualization of analysis or execution results.We present the DesignBIP studio for modeling and generating systems with the BIP [2] framework. BIP comprises a language with rigorous operational semantics and a dedicated tool-set including code generators, run-time support tools, i.e., BIP engines, and verification tools [5,7]. Depending on the application domain, BIP offers several compilation chains, targeting different execution platforms and programming languages such as C++ [2] Java [8] Haskell, and Scala [14].The specification of models in the BIP framework is done by using the BIP language in a textual manner [1] without offering any dedicated code editors. Thus, developing large systems with the BIP toolset can be challenging and error prone. In DesignBIP we have opted for a graphical language to enhance readability and easiness of expression. DesignBIP offers a complete modeling solution, in which we have integrated the tools offered by JavaBIP, the Java-based implementation of BIP [8]. Relying on the observation that systems are usually built from multiple instances of the same component type, we propose a parameterized graphical language for BIP that enhances scalability and reduces the model size.DesignBIP is a web-based, collaborative, version controlled design studio based on WebGME [21]. DesignBIP allows real-time collaboration between multiple developers. Project changes are committed and versioned, which enables branching, merging and viewing the history of a project. DesignBIP 1 is easily accessed through a web interface and is open source 2 . Our contributions are as follows:• We extend architecture diagrams [22], a graphical parameterized language, to accommodate the specification of BIP parameterized models. • We prove a set of necessary and s...

show abstract

Exogenous coordination of concurrent software components with JavaBIP

Cited by 17 publications

References 47 publications

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Coordination of Dynamic Software Components with JavaBIP

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

Contact Info

Product

Resources

About