Towards an Object Calculus：（对一个对象微积分）.pdfVIP

Towards an Object Calculus∗ Oscar Nierstrasz University of Geneva† Abstract The development of concurrent object-based programming languages has suffered from the lack of any generally accepted formal foundations for defining their semantics. Furthermore, the delicate relationship between object-oriented features supporting reuse and operational features concerning interaction and state change is poorly understood in a concurrent setting. To address this problem, we propose the development of an object calculus, borrowing heavily from relevant work in the area of process calculi. To this end, we briefly review some of this work, we pose some informal requirements for an object calculus, and we present the syntax, operational semantics and use through examples of a proposed object calculus, called OC. 1 Introduction In order for object-oriented languages to be an effective medium for implementing reusable software components for reactive applications, they must be able to cope with concurrency, distribution and persistence. Although distribution and persistence can arguable be considered as being purely run-time concerns, concurrency cannot, for it directly concerns the semantics of software composition. There have been numerous attempts in recent years to integrate concurrency features into object-oriented languages (see [ ] for a survey). As a result of these experiences, a number of difficulties have become apparent: 1. Most concurrent object-oriented languages lack a well-defined semantic foundation. There is no generally accepted semantic domain or computational model for sp