Modelling Objects in PICT

Schneider, Jean-Guy; Lumpe, Markus (1996). Modelling Objects in PICT (Submitted) (Technical Report). Universität Bern

Full text not available from this repository. (Request a copy)

For the development of present-day applications, programming languages supporting high order abstractions are needed. These high order abstractions are called components. Since most of the currently available programming languages and systems fail to provide sufficient support for specifying and implementing components, we are developing a new language suitable for software composition. It is not clear how such a language will look like, what kind of abstractions it must support, and what kind of formal model it will be based on. Object-oriented programming languages address some of the needs of present-day applications, and it is therefore obvious to integrate some of their concepts and abstractions in the language. As a first step towards such an integration, we have to define an object model. Since no generally accepted formal object model exists, we have chosen the Pi-calculus as a basis for modelling. In order to find a suitable object model, we have built up an object modelling workbench for Pict, an implementation of an asynchronous Pi-calculus. In this work, we define a first abstract object model, describe several implementations of the object model in Pict, and discuss interesting features and possible extensions.

Item Type:

Report (Report)


08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG)


Technical Report


Universität Bern




Manuela Bamert

Date Deposited:

24 Jan 2018 13:49

Last Modified:

24 Jan 2018 13:49


Actions (login required)

Edit item Edit item
Provide Feedback