The specification and testing of quantified progress properties in distributed systems

Authors:
Prakash Krishnamurthy;Paolo A. G. Sivilotti
Affiliations:
Department of Computer and Information Science, The Ohio State University, 2015 Neil Avenue, Columbus, OH;Department of Computer and Information Science, The Ohio State University, 2015 Neil Avenue, Columbus, OH
Venue:
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Year:
2001

Citing 13
Cited 1

Parallel program design: a foundation

Parallel program design: a foundation
Tentative steps toward a development method for interfering programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
Composing specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to assertional reasoning for concurrent systems

ACM Computing Surveys (CSUR)
Behavioral Specification of Distributed Software Component Interfaces

Computer
The specification of distributed objects: liveness and locality

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
iContract - The Java(tm) Design by Contract(tm) Tool

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
A Tool for Testing Liveness in Distributed Object Systems

TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Composing Processes Using Modified Rely-Guarantee Specifications

Composing Processes Using Modified Rely-Guarantee Specifications
jContractor: A Reflective Java Library to Support Design by Contract

jContractor: A Reflective Java Library to Support Design by Contract
A method for the specification, composition, and testing of distributed object systems

A method for the specification, composition, and testing of distributed object systems

Increasing client-side confidence in remote component implementations

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

There are two basic parts to the behavioral specification of distributed systems: safety and progress. In earlier work, we developed a tool to monitor progress properties of CORBA components specified using the temporal operator transient. In this paper, we address the specification and testing of transient properties that are quantified (over both bounded and unbounded domains).We categorize typical quantifications that arise in practical systems and discuss possible implementation strategies. We define functional transience, a subclass of quantified transient properties that can be monitored in constant space and time. We outline the design and implementation of a tool for testing these properties in CORBA components.