Object-based commutativity analysis for real-time applications

John Eberhard, Anand Tripathi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

The semantic specification of an object's methods can be used to determine their commutativity properties. The commutative method group, introduced in our earlier work, captures these commutativity properties in terms of groups of methods that commute, as opposed to pairs of methods This paper outlines how method group commutativity can be used to increase concurrency in distributed and real-time applications. This paper presents the conceptual foundations of our analysis techniques for determining group commutativity. We show that our formal analysis techniques are able to derive a greater degree of commutativity when the semantics of object methods are weakened. This formal procedure is supported by the PVS theorem prover. Using a set of examples, we demonstrate the effectiveness of our approach in detecting increased commutativity when object semantics are weakened.

Original languageEnglish (US)
Title of host publicationProceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Pages279-286
Number of pages8
DOIs
StatePublished - Nov 10 2005
Event10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 - Sedona, AZ, United States
Duration: Feb 2 2005Feb 4 2005

Publication series

NameProceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS
ISSN (Print)1530-1443

Other

Other10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
CountryUnited States
CitySedona, AZ
Period2/2/052/4/05

Fingerprint Dive into the research topics of 'Object-based commutativity analysis for real-time applications'. Together they form a unique fingerprint.

  • Cite this

    Eberhard, J., & Tripathi, A. (2005). Object-based commutativity analysis for real-time applications. In Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 (pp. 279-286). (Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS). https://doi.org/10.1109/WORDS.2005.44