From security to assurance in the cloud: A survey
The cloud computing paradigm has become a mainstream solution for the deployment of
business processes and applications. In the public cloud vision, infrastructure, platform, and …
business processes and applications. In the public cloud vision, infrastructure, platform, and …
RELAX: a language to address uncertainty in self-adaptive systems requirement
Self-adaptive systems have the capability to autonomously modify their behavior at run-time
in response to changes in their environment. Self-adaptation is particularly necessary for …
in response to changes in their environment. Self-adaptation is particularly necessary for …
A journey to highly dynamic, self-adaptive service-based applications
Future software systems will operate in a highly dynamic world. Systems will need to operate
correctly despite of unespected changes in factors such as environmental conditions, user …
correctly despite of unespected changes in factors such as environmental conditions, user …
Runtime enforcement of web service message contracts with data
S Hallé, R Villemaire - IEEE Transactions on Services …, 2011 - ieeexplore.ieee.org
An increasing number of popular SOAP web services exhibit a stateful behavior, where a
successful interaction is determined as much by the correct format of messages as by the …
successful interaction is determined as much by the correct format of messages as by the …
Practical interruptible conversations: distributed dynamic verification with multiparty session types and python
The rigorous and comprehensive verification of communication-based software is an
important engineering challenge in distributed systems. Drawn from our industrial …
important engineering challenge in distributed systems. Drawn from our industrial …
A low-effort analytics platform for visualizing evolving Flask-based Python web services
P Vogel, T Klooster, V Andrikopoulos… - 2017 IEEE Working …, 2017 - ieeexplore.ieee.org
Tens of thousands of web applications are written in Flask, a Python-based web framework.
Despite a rich ecosystem of extensions, there is none that supports the developer in gaining …
Despite a rich ecosystem of extensions, there is none that supports the developer in gaining …
[HTML][HTML] Monitoring networks through multiparty session types
In large-scale distributed infrastructures, applications are realised through communications
among distributed components. The need for methods for assuring safe interactions in such …
among distributed components. The need for methods for assuring safe interactions in such …
Runtime monitoring of message-based workflows with data
S Hallé, R Villemaire - 2008 12th International IEEE Enterprise …, 2008 - ieeexplore.ieee.org
We present an algorithm for the runtime monitoring of business process properties with data
parameterization. The properties are expressed in LTL-FO+, an extension to traditional …
parameterization. The properties are expressed in LTL-FO+, an extension to traditional …
Practical interruptible conversations: Distributed dynamic verification with session types and python
The rigorous and comprehensive verification of communication-based software is an
important engineering challenge in distributed systems. Drawn from our industrial …
important engineering challenge in distributed systems. Drawn from our industrial …
Security policy monitoring of BPMN‐based service compositions
Abstract Service composition is a key concept of Service‐Oriented Architecture that allows
for combining loosely coupled services that are offered and operated by different service …
for combining loosely coupled services that are offered and operated by different service …