Heap-Abstraction for an Object-Oriented Calculus with Thread Classes

zum Volltext (420 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Februar 2006
Seitenbereich40 S.

This paper formalizes an open semantics for a calculus featuring thread classes, where the environment, consisting in particular of an overapproximation of the heap topology, is abstractly represented. 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 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 communicated, which means that the semantics needs to account explicitly for the possible acquaintance of objects with threads. We show soundness of the abstraction.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000127
 
URN:NBNurn:nbn:de:gbv:8:1-zs-00000127-a7
IDNummer des Berichts :
  • TR_0601