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

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.

Logo BII



Use and reproduction:

No license. The provisions of the German Copyright Act (UrhG) apply.

Please note that individual components of the publication may be subject to other licensing or copyright conditions.


Citation style:
Could not load citation form.