TY - GEN
T1 - Object-based commutativity analysis for real-time applications
AU - Eberhard, John
AU - Tripathi, Anand
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=27544433277&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=27544433277&partnerID=8YFLogxK
U2 - 10.1109/WORDS.2005.44
DO - 10.1109/WORDS.2005.44
M3 - Conference contribution
AN - SCOPUS:27544433277
SN - 0769523471
T3 - Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS
SP - 279
EP - 286
BT - Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
T2 - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Y2 - 2 February 2005 through 4 February 2005
ER -