Enabling emergent behavior in systems-of-systems through bigraph-based modeling

D Wachholder, C Stary - 2015 10th System of Systems …, 2015 - ieeexplore.ieee.org
Today, software systems tend to be split into multiple components that can operate, both,
autonomously and in a networked way, in order to pursue a common objective. Such a …

Towards a multi-scale modeling for architectural deployment based on bigraphs

A Gassara, I Bouassida Rodriguez, M Jmaiel - Software Architecture: 7th …, 2013 - Springer
With the evolution of distributed systems in size and complexity, software deployment
remains a challenging task. Despite the existence of several approaches, most of them use …

Towards a formal model for reconfigurable software architectures by bigraphs

Z Chang, X Mao, Z Qi - Seventh Working IEEE/IFIP Conference …, 2008 - ieeexplore.ieee.org
With the spread of the Internet and software evolution in complex intensive systems,
software architecture often need be reconfigured during runtime to adapt variable environ …

A tool for modeling sos architectures using bigraphs

A Gassara, I Bouassida, M Jmaiel - Proceedings of the Symposium on …, 2017 - dl.acm.org
Bigraphs and Bigraphical Reactive Systems have been successfully applied in describing
software architectures and modeling applications for context-aware systems and System of …

Modeling dynamic architectures using Dy-BIP

M Bozga, M Jaber, N Maris, J Sifakis - … , Czech Republic, May 31–June 1 …, 2012 - Springer
Dynamic architectures in which interactions between components can evolve during
execution, are essential for modern computing systems such as web-based systems …

An approach based on bigraphical reactive systems to check architectural instance conforming to its style

Z Chang, X Mao, Z Qi - First Joint IEEE/IFIP Symposium on …, 2007 - ieeexplore.ieee.org
With the spread of the Internet and software evolution in complex intensive systems,
software architecture often need be reconfigured during run time in dynamic, heterogeneous …

Business process and software architecture model co-evolution patterns

P Jamshidi, C Pahl - … 4th International Workshop on Modeling in …, 2012 - ieeexplore.ieee.org
Software systems are subject to change. To embrace change, the systems should be
equipped with automated mechanisms. Business process and software architecture models …

A behavioral coordination operator language (BCOoL)

MEV Larsen, J Deantoni… - 2015 ACM/IEEE 18th …, 2015 - ieeexplore.ieee.org
The design of complex systems involves various, possibly heterogeneous, structural and
behavioral models. In model-driven engineering, the coordination of behavioral models to …

System-of-systems support—A bigraph approach to interoperability and emergent behavior

C Stary, D Wachholder - Data & Knowledge Engineering, 2016 - Elsevier
When designing highly interactive distributed systems such as e-learning environments, a
system-of-systems (SoS) perspective enables dynamic adaptation to situations of use and …

A bigraphical multi-scale modeling methodology for system of systems

A Gassara, IB Rodriguez, M Jmaiel, K Drira - Computers & Electrical …, 2017 - Elsevier
In this paper, we present a multi-scale modeling methodology for software System of
Systems (SoS) using the formal technique of bigraphical reactive system. This methodology …