Component-based distributed software reconfiguration: a verification-oriented survey
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …
applications, which frequently undergo reconfigurations to adapt to changes in their …
Towards vendor-agnostic IT-system of IT-systems with the CEDE platform
AL Osorio - Collaboration in a Hyperconnected World: 17th IFIP …, 2016 - Springer
The increasing capabilities and quality of information technology has thrown integration
endeavour to a top priority (total integration trend). However, the lack of time to mature …
endeavour to a top priority (total integration trend). However, the lack of time to mature …
[图书][B] Collaborative networks as open Informatics System of Systems (ISoS)
AL Freixo Guedes Osório - 2020 - pure.uva.nl
UvA-DARE (Digital Academic Repository) Page 1 UvA-DARE is a service provided by the library
of the University of Amsterdam (https://dare.uva.nl) UvA-DARE (Digital Academic Repository) …
of the University of Amsterdam (https://dare.uva.nl) UvA-DARE (Digital Academic Repository) …
Safe reconfiguration of Coqcots and Pycots components
Software systems have to face evolutions of their running context and users. Therefore, the
so-called dynamic reconfiguration has been commonly adopted for modifying some …
so-called dynamic reconfiguration has been commonly adopted for modifying some …
An event-b-based approach to model and verify behaviors for component-based applications
Many disciplines have adopted component-based principles to avail themselves of the many
advantages they bring, especially component reusability. In a short time, the component …
advantages they bring, especially component reusability. In a short time, the component …
Formal modeling for verifying SCA dynamic composition with Event-B
Service Component Architecture (SCA) is a set of specifications which describe a model for
building applications and systems using a Service-Oriented Architecture (SOA). However …
building applications and systems using a Service-Oriented Architecture (SOA). However …
Using model-checking techniques for component-based systems with reconfigurations
JM Hufflen - arXiv preprint arXiv:1503.04915, 2015 - arxiv.org
Within a component-based approach allowing dynamic reconfigurations, sequences of
successive reconfiguration operations are expressed by means of reconfiguration paths …
successive reconfiguration operations are expressed by means of reconfiguration paths …
Checking properties along multiple reconfiguration paths for component-based systems
JM Hufflen - arXiv preprint arXiv:1703.07036, 2017 - arxiv.org
Reconfiguration paths express sequences of successive reconfiguration operations within a
component-based approach allowing dynamic reconfigurations. We use constructs from …
component-based approach allowing dynamic reconfigurations. We use constructs from …