Smart monitors for composed services

Published 15 November 2004

Luciano Baresi, Carlo Ghezzi, Sam Guinea

Citations204

TL;DR

This work investigates how to monitor dynamic service compositions with respect to contracts expressed via assertions on services with one based on late-binding and reflection and the other based on a standard assertion system.

Abstract

Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be discovered and QoS parameters negotiated at run-time. This justifies the need for monitoring service compositions at run-time. Research on this issue, however, is still in its infancy.

Keywords

Computer Science

Object-oriented software construction

3,898 Citations1997Bertrand Meyer

IEEE Transactions on ComputersConcurrent error detection using watchdog processors-a survey

564 Citations1988Asif Mahmood, E.J. McCluskey

It is shown that a large number of errors can be detected by monitoring the control flow and memory-access behavior and two techniques for control-flow checking are discussed and compared with current error-detection techniques.

IEEE Transactions on Software EngineeringA practical approach to programming with assertions

333 Citations1995David S. Rosenblum

This paper describes experience using an assertion processing tool that was built to address the concerns of ease-of-use and effectiveness, and presents a classification of the assertions that were most effective at detecting faults.

ACM Transactions on Internet Technologyxlinkit

274 Citations2002Christian Nentwich, Licia Capra +2 more

A novel semantics for first-order logic that produces links instead of truth values is described and a content management strategy is given to validate UML models supplied by industrial partners.

Proceedings of the 27th international conference on Software engineering - ICSE '05

242 Citations2005

iContract - the Java(tm) Design by Contract(tm) tool

168 Citations1998Ralf Krämer

iContract is a freely available source-code pre-processor that instruments sourcecode with checks for class invariants, pre- and post-conditions that may be associated with methods in classes and interfaces.

Lecture notes in computer scienceWSOL — Web Service Offerings Language

138 Citations2002Vladimir Tošić, Kruti Patel +1 more

Describing a Web Service in WSOL, in addition to WSDL, enables selection of a more appropriate Web Service and service offering for particular circumstances and supports dynamic adaptation and management of Web Service compositions using manipulation of service offerings.

Journal of Lightwave TechnologyMonitoring Web service requirements

133 Citations2004William N. Robinson

The framework, and tool, provides an important contribution by demonstrating how distributed concurrent Web service transactions can be monitored at the requirements level by automatically deriving Web service monitors from high-level requirements descriptions.

Medical Entomology and ZoologyApplied Microsoft® .NET Framework Programming

92 Citations2002Jeffrey Richter

This title takes advanced developers and software designers under the covers of .NET to provide them with an in-depth understanding of its structure, functions, and operational components so they can create high-performance applications for .NET more easily and efficiently.

Choice Reviews OnlineProgramming with specifications: an introduction to ANNA, a language for specifying Ada programs

73 Citations1991

What ANNA is simple annotations using simple annotations exceptions package specifications the process of specifying packages annotation of generic units annotation of operations on composite types annotation of the hidden parts of packages interpretation of package specifications processes for consistent implementation of packages syntax tools.