caa a22 4500 445835419 CHVBK 20180317145329.0 cr unu---uuuuu 170323e20110601xx s 000 0 eng 10.1007/s10515-010-0077-5 doi (NATIONALLICENCE)springer-10.1007/s10515-010-0077-5 A monitoring approach for runtime service discovery [Elektronische Daten] [K. Mahbub, G. Spanoudakis, A. Zisman] Effective runtime service discovery requires identification of services based on different service characteristics such as structural, behavioural, quality, and contextual characteristics. However, current service registries guarantee services described in terms of structural and sometimes quality characteristics and, therefore, it is not always possible to assume that services in them will have all the characteristics required for effective service discovery. In this paper, we describe a monitor-based runtime service discovery framework called MoRSeD. The framework supports service discovery in both push and pull modes of query execution. The push mode of query execution is performed in parallel to the execution of a service-based system, in a proactive way. Both types of queries are specified in a query language called SerDiQueL that allows the representation of structural, behavioral, quality, and contextual conditions of services to be identified. The framework uses a monitor component to verify if behavioral and contextual conditions in the queries can be satisfied by services, based on translations of these conditions into properties represented in event calculus, and verification of the satisfiability of these properties against services. The monitor is also used to support identification that services participating in a service-based system are unavailable, and identification of changes in the behavioral and contextual characteristics of the services. A prototype implementation of the framework has been developed. The framework has been evaluated in terms of comparison of its performance when using and when not using the monitor component. Springer Science+Business Media, LLC, 2010 Runtime service discovery nationallicence Proactive discovery nationallicence Service monitoring nationallicence Query nationallicence Mahbub K. School of Informatics, City University London, London, UK aut Spanoudakis G. School of Informatics, City University London, London, UK aut Zisman A. School of Informatics, City University London, London, UK aut Automated Software Engineering Springer US; http://www.springer-ny.com 18/2(2011-06-01), 117-161 0928-8910 18:2<117 2011 18 10515 https://doi.org/10.1007/s10515-010-0077-5 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10515-010-0077-5 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Mahbub K. School of Informatics, City University London, London, UK aut NATIONALLICENCE 700 1- Spanoudakis G. School of Informatics, City University London, London, UK aut NATIONALLICENCE 700 1- Zisman A. School of Informatics, City University London, London, UK aut NATIONALLICENCE 773 0- Automated Software Engineering Springer US; http://www.springer-ny.com 18/2(2011-06-01), 117-161 0928-8910 18:2<117 2011 18 10515 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer