
DIPARTIMENTO DI INFORMATICA Università di Torino

Research on "Formal Methods in Computing"

ON STATE CLASSES AND THEIR DYNAMIC SEMANTICS

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.

BIBTEX.

@inproceedings{tipoC-DamiGiacGianCazz:ICSOFT-06,
author    = {F. Damiani and E. Giachino and P. Giannini and E. Cazzola},
title     = {On state classes and their dynamic semantics},
booktitle = {ICSOFT'06 (http://www.icsoft.org)},
publisher = {INSTICC press},
volume    = {1},
pages     = {5-12},
year      = {2006}
}

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


	Last update: Sep 02, 2008