Requirements monitoring for service-centric systems

George Spanoudakis

Department of Computing, City University


Abstract:

The talk will present a framework for monitoring the compliance 
of systems composed of web-services with requirements set for 
these systems and/or their individual services.

This framework assumes systems composed of web-services that 
are co-ordinated by a service composition process expressed in 
BPEL4WS and uses event calculus to specify the requirements to 
be monitored. These requirements include behavioural properties 
of a system which are automatically extracted from the 
specification of its composition process in BPEL4WS and/or 
assumptions about the joint or atomic behaviour of individual 
services deployed by it. 

Assumptions are specified by system providers in terms of 
events extracted from the BPEL4WS specification.


Biographical note:

George Spanoudakis is the Head of the Department of Computing 
of The City University in London, and a Reader in Computer 
Science. He holds BSc, MSc and PhD degrees in Computer Science 
and has been a visiting associate professor in the Department 
of Computer Science of the University of Crete and visiting 
lecturer in the Department of Information Systems of the 
London School of Economics (2000). His research interests are 
in the field of software systems engineering and focused on 
multi-perspective software modelling, managing inconsistencies 
in software specifications and designs, software traceability 
and measurement, and software reuse.

More recently his work focuses on service centric software 
systems engineering. George has over 50 publications and been 
the principal investigator of EPSRC, EU and industry-funded 
projects in these areas. He has also served in the program 
committees of numerous international conferences and workshops 
in the field of software engineering and acted as a reviewer 
and guest editor for international scientific journals in the 
area.