Semantische Kapselung und Nebenläufigkeitstransparenz in der objektorientierten Programmierung

目标导向是一种可供选择的范式。Mit dem breiten Einjektorientierter Sprachen in der Softwareentwicklung韦尔登Kapselungstechniken und eine adquate Unterstützung von Nebenläufigkeit immer wichtiger. Derzeit stehen dafur努尔recht elementare Konzepte zur Verfügung，Dies führt zu schwer auffindbaren Fehlern und verhindert Produktivitätssteigerungen. Projektesterist die Entwicklung eines höheren Models für die nebenläufige objektorientierte Programmierung.在Mittelpunkt staht dabei the Strukturierung des Speichers in gekapselte Objektbereiche.对象可以从一个更小的地方获得，但也可以从对象的最佳和层次结构中获得。在Bereichsschnittstelle lässt sich deklarieren，welche Methoden oder Abfolgen von Methodenaufrufen atomar 1 ausgeführt韦尔登sollen. Atomare Ausführung garantiert Nebenläufigkeittranssparenz ^ d.h. die Ausführung wird wird von anderen Ausführungssträngen（Threads）beeinflusst，so dass viele Vorteile der sequentieller Programmierung erhalten bleiben.编程模型将用于Java编程的实现和评估。在对贝雷琴和他的小提琴的特殊化中，将添加一个注释。Ein Konsistenzchecker prüft，ob Java-Programme die Atomaritätsgarantien ihrer Annotationen gewährleisten. Ein Generator reichert annotierte sequentielle Programme automatisch so mit Synchronisationsanweisungen an，dass sie dem Programmiermodell genügen.

Die Objektorientierung hat sich zu einem Paradigma von erheblicher Bedeutung entwickelt. Mit dem breiten Einsatz objektorientierter Sprachen in der Softwareentwicklung werden Kapselungstechniken und eine adäquate Unterstützung von Nebenläufigkeit immer wichtiger. Derzeit stehen dafür nur recht elementare Konzepte zur Verfügung, Dies führt zu schwer auffindbaren Fehlern und verhindert Produktivitätssteigerungen. Projektziel ist die Entwicklung eines höheren Modells für die nebenläufige objektorientierte Programmierung. Im Mittelpunkt steht dabei die Strukturierung des Speichers in gekapselte Objektbereiche. Objektbereiche können aus einigen wenigen, aber auch aus Tausenden von Objekten bestehen und hierarchisch aufgebaut sein. In der Bereichsschnittstelle lässt sich deklarieren, welche Methoden oder Abfolgen von Methodenaufrufen atomar1 ausgeführt werden sollen. Atomare Ausführung garantiert Nebenläufigkeitstransparenz^ d.h. die Ausführung wird nicht von anderen Ausführungssträngen (Threads) beeinflusst, so dass viele Vorteile der sequentieller Programmierung erhalten bleiben. Das Programmiermodell wird als Erweiterung einer Java-Programmierumgebung implementiert und evaluiert. Zur Spezifikation von Bereichen und ihren Schnittstellen wird eine Annotationssprache entwickelt. Ein Konsistenzchecker prüft, ob Java-Programme die Atomaritätsgarantien ihrer Annotationen gewährleisten. Ein Generator reichert annotierte sequentielle Programme automatisch so mit Synchronisationsanweisungen an, dass sie dem Programmiermodell genügen.