Search For:

Displaying 1-32 out of 32 total
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation
Found in: IEEE Transactions on Software Engineering
By Andrea Zisman,George Spanoudakis,James Dooley,Igor Siveroni
Issue Date:July 2013
pp. 954-974
The identification of services during the execution of service-based applications to replace services in them that are no longer available and/or fail to satisfy certain requirements is an important issue. In this paper, we present a framework to support r...
 
Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach
Found in: 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE)
By George Spanoudakis,Ernesto Damiani,Antonio Mana
Issue Date:October 2012
pp. 175-176
The use of clouds raises significant security concerns for the services they provide. Addressing these concerns requires novel models of cloud service certification based on multiple forms of evidence including testing and monitoring data, and trusted comp...
 
Identifying Test Requirements by Analyzing SLA Guarantee Terms
Found in: 2012 IEEE 19th International Conference on Web Services (ICWS)
By M. Palacios,J. Garcia-Fanjul,J. Tuya,George Spanoudakis
Issue Date:June 2012
pp. 351-358
Service Level Agreements (SLAs) are used to specify the negotiated conditions between the provider and the consumer of services. In this paper we present a stepwise method to identify and categorize a set of test requirements that represent the potential s...
 
Constructing Secure Service Compositions with Patterns
Found in: 2012 IEEE World Congress on Services (SERVICES)
By Luca Pino,George Spanoudakis
Issue Date:June 2012
pp. 184-191
In service based applications, it is often necessary to construct compositions of services in order to provide required functionality in cases where this is not possible through the use of a single service. Whilst creating service compositions, it is neces...
 
Proactive SLA Negotiation for Service Based Systems: Initial Implementation and Evaluation Experience
Found in: Services Computing, IEEE International Conference on
By Khaled Mahbub,George Spanoudakis
Issue Date:July 2011
pp. 16-23
This paper describes a framework that we have developed to integrate proactive SLA negotiation with dynamic service discovery to provide cohesive runtime support for both these activities. The proactive negotiation of SLAs as part of service discovery is n...
 
Predicting Software Service Availability: Towards a Runtime Monitoring Approach
Found in: Web Services, IEEE International Conference on
By Davide Lorenzoli,George Spanoudakis
Issue Date:July 2011
pp. 736-737
This paper presents a prediction model for software services availability measured by the mean-time-to-repair (MTTR) and mean-time-to-failure (MTTF) of a service. The prediction model is based on the experimental identification of probabilistic prediction ...
 
Proactive SLA Negotiation for Service Based Systems
Found in: Services, IEEE Congress on
By Khaled Mahbub, George Spanoudakis
Issue Date:July 2010
pp. 519-526
In this paper we propose a framework for proactive SLA negotiation that integrates this process with dynamic service discovery and, hence, can provide integrated runtime support for both these key activities which are necessary in order to achieve the runt...
 
Comprehensive Monitoring of BPEL Processes
Found in: IEEE Internet Computing
By Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis
Issue Date:May 2010
pp. 50-57
Service-oriented systems' distributed ownership has led to an increasing focus on runtime management solutions. Service-oriented systems can change greatly after deployment, hampering their quality and reliability. Their service bindings can change, and pr...
 
Establishing and Monitoring SLAs in Complex Service Based Systems
Found in: Web Services, IEEE International Conference on
By Marco Comuzzi, Constantinos Kotsokalis, George Spanoudakis, Ramin Yahyapour
Issue Date:July 2009
pp. 783-790
In modern service economies, service provisioning needs to be regulated by complex SLA hierarchies among providers of heterogeneous services, defined at the business, software, and infrastructure layers. Starting from the SLA Management framework defined i...
 
Detection of Security and Dependability Threats: A Belief Based Reasoning Approach
Found in: Emerging Security Information, Systems, and Technologies, The International Conference on
By Davide Lorenzoli, George Spanoudakis
Issue Date:June 2009
pp. 312-320
Monitoring the preservation of security and dependability (S&D) properties during the operation of systems at runtime is an important verification measure that can increase system resilience. However it does not always provide sufficient scope for taki...
 
A Framework for Hierarchical and Recursive Monitoring of Service Based Systems
Found in: Internet and Web Applications and Services, International Conference on
By Marco Comuzzi, George Spanoudakis
Issue Date:May 2009
pp. 383-388
Runtime monitoring of Service Based Systems (SBSs) usually relies on information derived from I/O messages exchanged within business processes implementing services. When service provisioning is regulated by complex Service Level Agreements (SLAs) between ...
 
Web Service Trust: Towards a Dynamic Assessment Framework
Found in: Availability, Reliability and Security, International Conference on
By George Spanoudakis, Stephane LoPresti
Issue Date:March 2009
pp. 33-40
Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly assessed by existing methods and technologies, especially in dynamically composed an...
 
From Monitoring Templates to Security Monitoring and Threat Detection
Found in: Emerging Security Information, Systems, and Technologies, The International Conference on
By Nuno Amálio, George Spanoudakis
Issue Date:August 2008
pp. 185-192
This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks supporting the construction of secure and dependable systems for ambient intelligence. Our pa...
 
Proactive Runtime Service Discovery
Found in: Services Computing, IEEE International Conference on
By Andrea Zisman, James Dooley, George Spanoudakis
Issue Date:July 2008
pp. 237-245
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavioural models of services and applications, as well as quality and contextual c...
 
Dynamic Verification and Control of Mobile Peer-to-Peer Systems
Found in: Internet Monitoring and Protection, International Conference on
By George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos
Issue Date:July 2008
pp. 1-10
The development of dependable mobile P2P systems is an inherently challenging task since such systems may operate in largely uncontrolled environments and may engage new peers or lose existing ones without any form of centralised control. In these circumst...
 
Property Specification and Static Verification of UML Models
Found in: Availability, Reliability and Security, International Conference on
By Igor Siveroni, Andrea Zisman, George Spanoudakis
Issue Date:March 2008
pp. 96-103
We present a Static Verification Tool (SVT), a system that performs static verification on UML models composed of UML class and state machine diagrams. Additionally, the SVT allows the user to add extra behavior specification in the form of guards and effe...
 
A Platform for Context Aware Runtime Web Service Discovery
Found in: Web Services, IEEE International Conference on
By George Spanoudakis, Khaled Mahbub, Andrea Zisman
Issue Date:July 2007
pp. 233-240
In this paper we describe a platform that supports context aware runtime service discovery. The platform supports service discovery based on structural and behavioural service models as well as complex context related service discovery conditions which are...
 
A Service Discovery Framework based on Linear Composition
Found in: Services Computing, IEEE International Conference on
By Andrea Zisman, Khaled Mahbub, George Spanoudakis
Issue Date:July 2007
pp. 536-543
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software systems are constructed based on the identification and composition of web serv...
 
Towards a Framework for Dynamic Verification of Peer-to-Peer Systems
Found in: Internet and Web Applications and Services, International Conference on
By Theofrastos Koulouris, George Spanoudakis, Theocharis Tsigkritis
Issue Date:May 2007
pp. 2
Ensuring dependability and security of Peer-to- Peer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterizes such systems. Dynamic verification provides the means of monitoring aspec...
 
Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience
Found in: Web Services, IEEE International Conference on
By Khaled Mahbub, George Spanoudakis
Issue Date:July 2005
pp. 257-265
This paper describes a framework supporting the runtime monitoring of requirements for systems implemented as compositions of web- services specified in BPEL. The requirements that can be monitored are specified in event calculus. The paper presents an ove...
 
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Found in: Automated Software Engineering, International Conference on
By George Spanoudakis, Khaled Mahbub
Issue Date:September 2004
pp. 379-384
This paper proposes a framework for run-time monitoring of the compliance of systems composed of web-services with requirements set for them. The framework assumes systems composed of web-services which are co-ordinated by a service composition process exp...
 
Software Package Requirements and Procurement
Found in: Software Specification and Design, International Workshop on
By Anthony Finkelstein, George Spanoudakis, Mark Ryan
Issue Date:March 1996
pp. 141
This paper outlines the problems of specifying requirements and deploying these requirements in the procurement of software packages. Despite the fact that software construction de novo is the exception rather than the rule, little or no support for the ta...
 
Coverage-based testing for Service Level Agreements
Found in: IEEE Transactions on Services Computing
By Marcos Palacios,Jose Garcia-Fanjul,Javier Tuya,George Spanoudakis
Issue Date:February 2014
pp. 1
Service Level Agreements (SLAs) are typically used to specify rules regarding the consumption of services that are agreed between the providers of the Service-Based Applications (SBAs) and their consumers. An SLA includes a list of terms that contain the g...
 
Biologically inspired near extinct system reconstruction
Found in: 2013 IEEE 13th International Conference on Bioinformatics and Bioengineering (BIBE)
By Athanasios Bibas,George Spanoudakis,Christos Bellos,Dimitrios I. Fotiadis,Dimitrios Koutsouris
Issue Date:November 2013
pp. 1-6
Recovery software system operations from a state of extensive damage without human intervention is a challenging problem as it may need to be based on a different infrastructure from the one that the system was originally designed for and deployed on (i.e....
   
A Service Discovery Framework for Service Centric Systems
Found in: Services Computing, IEEE International Conference on
By George Spanoudakis, Andrea Zisman, Alexander Kozlenkov
Issue Date:July 2005
pp. 251-259
<p>An important aspect of service-centric systems (i.e. systems composed of services) is the ability to support service discovery at run-time in order to cope with unavailable or malfunctioning services. In this paper we present a framework that supp...
 
SMaRT: a workbench for reporting the monitorability of services from SLAs
Found in: Proceeding of the 3rd international workshop on Principles of engineering service-oriented systems (PESOS '11)
By George Spanoudakis, Howard Foster
Issue Date:May 2011
pp. 36-42
Service Level Agreements (SLAs) for Software Services aim to clearly identify the service level commitments established between service requesters and providers. A dynamic configuration for the monitoring of these SLAs provides the opportunity for service ...
     
Advanced service monitoring configurations with SLA decomposition and selection
Found in: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC '11)
By George Spanoudakis, Howard Foster
Issue Date:March 2011
pp. 1582-1589
Service Level Agreements (SLAs) for Software Services aim to clearly identify the service level commitments established between service requesters and providers. The commitments that are agreed however can be expressed in complex notations through a combin...
     
EVEREST+: run-time SLA violations prediction
Found in: Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing (MW4SOC '10)
By Davide Lorenzoli, George Spanoudakis
Issue Date:November 2010
pp. 13-18
Monitoring the preservation of QoS properties during the operation of service-based systems at run-time is an important verification measure for checking if the current service usage is compliant with agreed SLAs. Monitoring, however, does not always provi...
     
Towards security monitoring patterns
Found in: Proceedings of the 2007 ACM symposium on Applied computing (SAC '07)
By Christos Kloukinas, George Spanoudakis, Kelly Androutsopoulos
Issue Date:March 2007
pp. 1518-1525
Runtime monitoring is performed during system execution to detect whether the system's behaviour deviates from that described by requirements. To support this activity we have developed a monitoring framework that expresses the requirements to be monitored...
     
A framework for requirents monitoring of service based systems
Found in: Proceedings of the 2nd international conference on Service oriented computing (ICSOC '04)
By George Spanoudakis, Khaled Mahbub
Issue Date:November 2004
pp. 84-93
This paper proposes a framework for monitoring the compliance of systems composed of web-services with requirements set for th. This framework assumes systems composed of web-services that are co-ordinated by a service composition process expressed in BPEL...
     
Plausible and adaptive requirement traceability structures
Found in: Proceedings of the 14th international conference on Software engineering and knowledge engineering (SEKE '02)
By George Spanoudakis
Issue Date:July 2002
pp. 135-142
This paper presents an extension of a traceability system which automates the generation of traceability relations between textual requirement artefacts and object models using heuristic traceability rules. These rules match syntactically related terms in ...
     
Managing interference
Found in: Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
By Anthony Finkelstein, David Till, George Spanoudakis
Issue Date:October 1996
pp. 172-174
Requirements engineering is concerned with the identification of high-level goals to be achieved by the system envisioned, the refinement of such goals, the operationalization of goals into services and constraints, and the assignment of responsibilities f...
     
 1