Università di Torino

Research on "Formal Methods in Computing"


(Revised version of the paper [Damiani et al., 2006] )

Ferruccio DAMIANI , Elena GIACHINO, Paola GIANNINI , Nick CAMERON, and Emanuele CAZZOLA

Work partially supported by MIUR PRIN'04 EOS project.

ABSTRACT. We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object's state (intended as some abstraction over the value of fields) that plays a key role in concurrent object-oriented programming (as the state of an object changes, so does its coordination behavior). We show how state classes can be added to Java-like languages by presenting StateJ, an extension of Java with state classes. The operational semantics of the state class construct is illustrated both at an abstract level, by means of a core calculus for StateJ, and at a concrete level, by defining a translation from StateJ into Java.

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


author    = {Damiani, Ferruccio and Giachino, Elena  and Giannini, Paola
and Cazzola, Emanuele},
title     = {On state classes and their dynamic semantics},
booktitle = {Software and Data Technologies
(ICSOFT 2006, Revised Selected Papers)},
series    = {Communications in Computer and Information Science},
volume    = {10},
year      = {2008},
publisher = {Springer},
pages     = {84-96},
note = {http://www.springer.com/computer/programming/book/978-3-540-70619-9},
Communications in Computer and Information Science, volume 10,
pages 84-96, Springer

["Formal Methods in Computing" group] [Department's HOME]

Last update: Feb 11, 2011