Efficient adaptive QoS-based service selection
Distributed service-based systems are becoming increasingly common, with a vast range of resources and functionalities being exposed as services over open networks (e.g. the web and Grid systems). Due to the distribution, participant autonomy and lack ...
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code
We present a compositional construction of web services, using Reo and constraint automata as the main "glue" ingredients. Reo is a graphical and exogenous coordination language based on channels. We propose a framework that, taking as input the ...
On expanding protocol conformance checking to exception handling
Components or services must often be compliant to organizatorial or legal regulations. Furthermore, they should avoid unwanted behaviour such as abortion of the execution of a service without notification of the client. Violation of both might happen ...
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
- Elvira Albert,
- Frank S. Boer,
- Reiner Hähnle,
- Einar Broch Johnsen,
- Rudolf Schlatte,
- S. Lizeth Tapia Tarifa,
- Peter Y. Wong
We demonstrate by a case study of an industrial distributed system how performance, resource consumption, and deployment on the cloud can be formally modeled and analyzed using the abstract behavioral specification language Real-Time ABS. These non-...