A tool for modeling SoS architectures using bigraphs

In order to enable experimentations and simulations of bigraphs, we need an implementation of their dynamic. In this paper, we tackle the matching issue of this task. We present a solution based on an investigation on graph matching. We propose to simulate a bigraphical reactive system (i.e., bigraphs with a set of reaction rules that allow their rewriting) with a graph transformation system. First, we translate a bigraph to a ranked graph. This translation is ensured by defining a faithful functor that allows to move from the bigraph category to the ranked graph category. Then, we show that reaction rules can be simulated with graph rules. Hence, we provide a formal basis allowing to execute bigraph transformations by simulating their translation aiming to use well-established and efficient graph transformation tools.

show abstract

“…We propose our BiGMTE tool [19,20], an implementation of our proposed solution for executing BRSs based on graph rewriting.…”

Section: Bigmte: Bigraph Matching and Transformation Enginementioning

confidence: 99%

Executing bigraphical reactive systems

Gassara

Rodriguez

Jmaïel

et al. 2019

Discrete Applied Mathematics

Self Cite

View full text Add to dashboard Cite

show abstract

“…The Capability Tradeoff (ARCHITECT) UPDM is a formal language that provides UPDM (Unified Profile for DoDAF and MODAF) as a novel, consistent way for creating DoDAF 1.5 and MODAF 1.2 descriptions in UML-based tools, thus offering a compatible way for interchanging descriptions expressed in any of the two notations (Hause, 2010b(Hause, , 2010a. Finally, bi-graph models have also been used as a formal language for representing SoS in that nodes represent constituents and edges represent communication links between them (Wachholder & Stary, 2015;Gassara, Bouassida, & Jmaiel, 2017;Gassara, Rodriguez, Jmaiel, & Drira, 2017). This notation supports the description of structural properties, which are materialized by links (i.e.…”

Section: Selected Notations and Viewpoitsmentioning

confidence: 99%

Architectural Description of Systems-of-Information

Guessi¹,

Graciano-Neto²,

Nakagawa³

2019

Tópicos Em Sistemas De Informação: Minicursos SBSI 2019

View full text Add to dashboard Cite

Systems-of-Information Systems (SoIS) refer to collections of software systems that became able to deliver innovative functionalities as well as meet new business opportunities due to novel connections formed with information systems. The software architecture of SoIS plays an important role in their success since they are frequently associated with essential quality attributes, such as sustainability, performance, and reliability. Aiming to study the software architecture of SoIS, additional types of models can be explored for predicting its runtime behavior and structure. Through examples with formal and semiformal notations, we discuss the advantages and limitations of selected techniques for the description of high level models of SoIS, namely SysML, SosADL, and DEVS. Finally, we outline directions for future work on tailored architectural models for practitioners and researchers dealing with SoIS analysis and design.

show abstract

“…Smart buildings provide important services to their residents and visitors, using data gathered by sensors and Internet of Things (IoT) systems to improve their experience and offer more elaborated behaviors, such as temperature and light control according to the data sensed. These sensors and systems refer to constituent systems of a Smart Building SoS (SBS), which was inspired in previous studies [Gassara et al 2017, Manzano et al 2018. We emphasize that this work does not include proprietary systems centralized in a single controller.…”

Section: Study Protocol 411 Context Of Studymentioning

confidence: 99%

“…We adopted pre-existing models of a smart building based on modeling done in previous studies [Manzano et al 2018, Gassara et al 2017. Three different versions were created for each constituent type, so that each version represents a different supplier of that type of constituent.…”

Section: Models and Data Preparationmentioning

confidence: 99%

S.O.B (Save Our Budget) - A Simulation-Based Method for Prediction of Acquisition Costs of Constituents of a System-of-Systems

Neto

Horita

Santos

et al. 2019

iSys

View full text Add to dashboard Cite

Software economics, acquisition, and pricing are important con- cerns for Systems-of-Systems (SoS). SoS are alliances of independent software- intensive systems combined to offer holistic functionalities as a result of the con- stituents interoperability. SoS engineering involves separately acquiring con- stituents and combining them to form the SoS. Despite the existence of cost pre- diction techniques, predicting SoS acquisition costs at design-time should also include the analysis of different suppliers of constituents, their respective prices and quality. However, known methods cover only two out of these three param- eters. The main contribution of this article is to present the S.O.B. (Save Our Budget) method, a novel simulation-based method to predict, at design-time, the acquisition cost of constituents, while still considering quality attributes and different suppliers. Results of a case study in the Smart Building domain re- vealed that S.O.B. method supports a precise prediction of acquisition cost of constituents to build a SoS for that domain. Furthermore, it also contributes to estimate the cost based on a pre-established quality attribute (functional suit- ability), as well as to support the selection of coalition that exhibits better results through the analysis of cost-benefit ratio.

show abstract

A tool for modeling SoS architectures using bigraphs

Cited by 10 publications

References 12 publications

Executing bigraphical reactive systems

Executing bigraphical reactive systems

Architectural Description of Systems-of-Information

S.O.B (Save Our Budget) - A Simulation-Based Method for Prediction of Acquisition Costs of Constituents of a System-of-Systems

Contact Info

Product

Resources

About