The 11th Open Excellence Workshop in RELATE is dedicated to “Management and quality control in service-based software”. It will be held in Athens and is organised by the South East European Research Centre (SEERC).
The workshop will host interesting talks and tutorials by the following speakers:
Dr. Panos Louridas, Senior Research Scientist, Athens University of Economics and Business: OKEANOS, the Greek Cloud (Title tbc)
Dr. Yiannis Verginadis, Senior Researcher, ICCS, National Technical University of Athens: Enabling Value Added Services in Event-driven Environments
The burst of wireless sensors networks transmitting events paved the way for infrastructures that link uniquely identifiable things to their virtual representations in the Internet. As the Internet of Things gains momentum for leveraging and offering information access to service-based applications and users, challenges associated with efficiently publishing, subscribing, processing and reacting to events emerge. This presentation focuses on the challenge of enabling efficient active capability in large, distributed event infrastructures that can be supported by Cloud computing. We discuss dynamic capabilities for: i) recommending new event streams to which a service should subscribe to and ii) recommending meaningful workflow adaptations, taking advantage of situational information. Several illustrative scenarios will be presented based on the Institute’s of Communication and Computer Systems work on the FP7 research project: PLAY.
Dr. Dimitris Dranidis, Senior Lecturer, Computer Science Department, International Faculty of the University of Sheffield, CITY College, Thessaloniki: Automated Testing and Runtime Verification of Service-Based Applications
Service-based applications (SBAs) are usually composed of third-party services available over the Internet. Identifying failures of those third-party services by testing and monitoring of the SBAs will become a key enabler for ensuring reliability. The approach is based on a formal and automated test-generation method which guarantees functional correctness for conversational services. The Stream X-machine (SXM) is an intuitive and powerful modelling formalism that extends finite state machines with a memory (data) structure and function-labelled transitions. One of the main strengths of the SXM is its associated testing strategy that identifies all functional inconsistencies between the system under test and the model. The JSXM tool supports the animation of SXM models for the purpose of model validation, the automatic generation of abstract test cases from SXM specifications and the transformation of abstract test cases into concrete test cases in the implementation language of the system under test. The aim of the talk is to present the theoretical background for SXMs and their testing method, the application of the automated test-generation to testing and monitoring of services, and finally demonstrate the JSXM tool through various examples via a hands on approach.
Requirements: Students are expected to have a Laptop with Eclipse installed. Problem-free Wireless access is expected.
Herald Kllapi, Department of Informatics, University of Athens: Big Data and Quality of Service
Rustem Dautov, South East European Research Centre, (SEERC), Research Centre of the University of Sheffled, International Faculty, CITY College, Thessaloniki, Greece: Big Data solutions to support monitoring and analysis of autonomic cloud application platforms
With the continued growth in software environments of cloud application platforms, self-management at the PaaS level is becoming a major concern, and the run-time monitoring, analysis and detection of critical situations are all fundamental requirements if we are to achieve autonomic behaviour in complex PaaS environments. By identifying key challenges associated with the run-time monitoring and analysis of such complex and dynamic systems and based on the characteristics of data generated within cloud application platforms (Volume, Velocity, Variety, Veracity, Distribution), we draw parallels with Big Data processing, and describe our experience of utilising already existing and optimised solutions from this domain – namely, Stream Reasoning and IBM InfoSphere Streams. We discuss both the potential benefits, as well as some shortcomings, of adopting this approach.
Prof. Yiannis Charalampidis, University of Aegean: Title tbc