An open structural operational semantics for an object-oriented calculus with thread classes

zum Volltext (281 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Mai 2005
Seitenbereich29 S.

In this report we present a multithreaded class-calculus featuring \emph{thread classes.} From an observational point of view, considering classes as part of a component makes instantiation a possible interaction between component and environment or observer. For thread classes it means that a component may create external activity, which influences what can be observed. The fact that cross-border instantiation is possible requires that the \emph{connectivity} of the objects needs to be incorporated into the semantics. We extend our prior work not only by adding thread classes, but also in that thread names may be \emph{communicated,} which means that the semantics needs explicitly account for the possible acquaintance of objects with threads. This report formalizes a calculus featuring thread classes, i.e., its syntax, type system, and operational semantics. We furthermore discuss observational aspects of thread classes.
Statische URL
IDNummer des Berichts :
  • TR_0505