DBtk: A Toolkit for Directed Bigraphs

Bacci, Giorgio; Grohmann, Davide; Miculan, Marino

doi:10.1007/978-3-642-03741-2_28

Cited by 16 publications

(16 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, the mapping previously presented can be extended to other forms of bigraphs, e.g. bigraphs with sharing [23], with directed edges [1] or stochastic semantics [14]. From a technical point of view, we plan to provide a reference implementation based on Eclipse to the community, facilitating interchange of bigraphical models and enabling the integration of MDE-based techniques.…”

Section: Discussionmentioning

confidence: 99%

An EMOF-Compliant Abstract Syntax for Bigraphs

Kehrer

Tsigkanos

Ghezzi

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Bigraphs are an emerging modeling formalism for structures in ubiquitous computing. Besides an algebraic notation, which can be adopted to provide an algebraic syntax for bigraphs, the bigraphical theory introduces a visual concrete syntax which is intuitive and unambiguous at the same time; the standard visual notation can be customized and thus tailored to domain-specific requirements. However, in contrast to modeling standards based on the Meta-Object Facility (MOF) and domain-specific languages typically used in model-driven engineering (MDE), the bigraphical theory lacks a precise definition of an abstract syntax for bigraphical modeling languages. As a consequence, available modeling and analysis tools use proprietary formats for representing bigraphs internally and persistently, which hampers the exchange of models across tool boundaries. Moreover, tools can be hardly integrated with standard MDE technologies in order to build sophisticated tool chains and modeling environments, as required for systematic engineering of large systems or fostering experimental work to evaluate the bigraphical theory in real-world applications. To overcome this situation, we propose an abstract syntax for bigraphs which is compliant to the Essential MOF (EMOF) standard defined by the Object Management Group (OMG). We use typed graphs as a formal underpinning of EMOF-based models and present a canonical mapping which maps bigraphs to typed graphs in a natural way. We also discuss application-specific variation points in the graph-based representation of bigraphs. Following standard techniques from software product line engineering, we present a framework to customize the graph-based representation to support a variety of application scenarios.

show abstract

Section: Discussionmentioning

confidence: 99%

An EMOF-Compliant Abstract Syntax for Bigraphs

Kehrer

Tsigkanos

Ghezzi

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…BPLTool [30] enables reasoning on BRS systems with binding, and has an emphasis on implementation correctness with a matching system based on formally defined inference rules [31]. A similar approach has been followed in DBtk [32], a tool for reasoning on directed bigraphs, a form of bigraphs with directed edges. However, this work does not address checking properties of bigraphical models.…”

Section: Brs For Modelling Cyber-physical Spacesmentioning

confidence: 99%

On the Interplay Between Cyber and Physical Spaces for Adaptive Security

Tsigkanos

Pasquale

Ghezzi

et al. 2018

IEEE Trans. Dependable and Secure Comput.

View full text Add to dashboard Cite

Abstract-Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or manage valuable physical and digital assets. These assets can be harmed by malicious agents through both cyber-enabled or physically-enabled attacks, particularly ones that exploit the often ignored interplay between the cyber and physical world. The explicit representation of spatial topology is key to supporting adaptive security policies. In this paper we explore the use of Bigraphical Reactive Systems to model the topology of cyber and physical spaces and their dynamics. We utilise such models to perform speculative threat analysis through model checking to reason about the consequences of the evolution of topological configurations on the satisfaction of security requirements. We further propose an automatic planning technique to identify an adaptation strategy enacting security policies at runtime to prevent, circumvent, or mitigate possible security requirements violations. We evaluate our approach using a case study concerned with countering insider threats in a building automation system.

show abstract

“…Yet, the existing tools around BRS, as BigMC [8], BPLTool [9] and DBtk [10], are very limited and specific to some application domains. Maude language presents an excellent solution to implement the obtained cloud bigraphical model.…”

Section: Implementing Bigraphical Cloud Modelmentioning

confidence: 99%

Towards a Formal Model for Cloud Computing Elasticity

Sahli

Bouanaka

Dib

2014

2014 IEEE 23rd International WETICE Conference

View full text Add to dashboard Cite

Cloud computing is an emerging topic in the ITindustry; it brings new design challenges and security issues, as resources rapid availability and quick scalability. Since formal methods provide a reliable mathematical basis giving rise to safely analyzable models, we aim in this paper to propose a formal framework for cloud computing architectural elasticity. Bigraphical Reactive Systems are adopted as a semantic framework for their graphical aspect and rigorous basis. Then, Maude language is used to implement the obtained cloud bigraphical model. Maude system allows us to execute and analyze the formal specification of cloud computing architecture and its elasticity.

show abstract

DBtk: A Toolkit for Directed Bigraphs

Cited by 16 publications

References 8 publications

An EMOF-Compliant Abstract Syntax for Bigraphs

An EMOF-Compliant Abstract Syntax for Bigraphs

On the Interplay Between Cyber and Physical Spaces for Adaptive Security

Towards a Formal Model for Cloud Computing Elasticity

Contact Info

Product

Resources

About