Compiler and tool support for debugging object protocols

12 years 10 months ago
Compiler and tool support for debugging object protocols
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constraints on the order in which methods may be called. Our Java protocols have a statically checkable subset embedded in richer descriptions that can be checked at run time. The statically checkable subtype conformance relation is based on Nierstrasz' proposal for regular (finite-state) process types, and is also very close to the conformance relation for architectural connectors in the Wright architectural description language by Allen and Garlan. Richer sequencing properties, which cannot be expressed by regular types alone, can be specified and checked at run time by associating predicates with object states. We describe the language extensions and their rationale, and the design of tool support for static and dynamic checking and debugging. Categories and Subject Descriptors D.2.5 [Software Engineering]: ...
Sergey Butkevich, Marco Renedo, Gerald Baumgartner
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Authors Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young
Comments (0)