Listar por autor "Salaün, Gwen"
Mostrando ítems 1-4 de 4
-
Checking Business Process Evolution
(2017-06-01)A business process is a collection of structured activities producing a particular product or software. BPMN is a workflow-based graphical notation for specifying business processes. Formally analyzing such processes is ... -
Model-Based Adaptation of Software Communicating via FIFO Buffers
Canal-Velasco, Jose Carlos
; Salaün, Gwen (2015-04-10)
Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to ... -
On the Verification of Asynchronously Communicating Systems
(2014-04-29)Recent software is mostly constructed by reusing and composing existing components abstracted as finite state machines. Asynchronous communication is a classic interaction mechanism used for such software systems. However, ... -
Reliable deployment, reconfiguration, and control of cloud applications
(2015-02-18)Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex ...