[HTML][HTML] A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric
Abstract Context. Systems-of-Systems (SoS) constitute a new category of complex software
systems resulting from the integration of independent heterogeneous systems. Each …
systems resulting from the integration of independent heterogeneous systems. Each …
[HTML][HTML] Executing bigraphical reactive systems
In order to enable experimentations and simulations of bigraphs, we need an
implementation of their dynamics. In this paper, we tackle the matching issue of this task. We …
implementation of their dynamics. In this paper, we tackle the matching issue of this task. We …
Efficient graph rewriting
G Campbell - arXiv preprint arXiv:1906.05170, 2019 - arxiv.org
Graph transformation is the rule-based modification of graphs, and is a discipline dating
back to the 1970s. The declarative nature of graph rewriting rules comes at a cost. In …
back to the 1970s. The declarative nature of graph rewriting rules comes at a cost. In …
A tool for modeling sos architectures using bigraphs
Bigraphs and Bigraphical Reactive Systems have been successfully applied in describing
software architectures and modeling applications for context-aware systems and System of …
software architectures and modeling applications for context-aware systems and System of …
Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario
A Gassara, IB Rodriguez - Journal of information security and applications, 2021 - Elsevier
In this paper, we propose a solution supporting the correct description of UAVs cooperation
architectures and their reconfigurations. This solution is based on a graph transformation …
architectures and their reconfigurations. This solution is based on a graph transformation …
System of systems software architecture description using the ISO/IEC/IEEE 42010 standard
In this paper we focus on the software architectures' description of System of Systems (SoS).
In fact, SoS is a new class of complex software systems resulting from the massive …
In fact, SoS is a new class of complex software systems resulting from the massive …
Efficient recognition of graph languages
G Campbell, D Plump - arXiv preprint arXiv:1911.12884, 2019 - arxiv.org
Graph transformation is the rule-based modification of graphs, and is a discipline dating
back to the 1970s. In general, to match the left-hand graph of a fixed rule within a host graph …
back to the 1970s. In general, to match the left-hand graph of a fixed rule within a host graph …
Establishment of product offering and production leveling principles via supply chain simulation under order-to-delivery environment
ST Yee - Proceedings of the Winter Simulation Conference, 2002 - ieeexplore.ieee.org
In support of the order-to-delivery (OTD) business initiative, a simulation framework has
been developed at GM R and D. The OTD simulation program is aimed at simulating the …
been developed at GM R and D. The OTD simulation program is aimed at simulating the …
QoS-driven architectural mining for publish/subscribe systems deployed on MANET
E Fki, I Lahyani, I Abdennadher, R Abid - Procedia computer science, 2017 - Elsevier
An important issue in distributed systems is to improve the information dissemination,
especially in the Publish/Subscribe systems deployed in mobile ad hoc networks (MANET) …
especially in the Publish/Subscribe systems deployed in mobile ad hoc networks (MANET) …
Modélisation formelle de systèmes dynamiques autonomes: graphe, réécriture et grammaire
C Eichler - 2015 - theses.hal.science
Les systèmes distribués modernes à large-échelle évoluent dans des contextes variables
soumis à de nombreux aléas auxquels ils doivent s' adapter dynamiquement. Dans ce …
soumis à de nombreux aléas auxquels ils doivent s' adapter dynamiquement. Dans ce …