MobiJ: assertional methods for mobile asynchronous channels in Java

The project aims at the development of a programming environment which supports component-based design and verification of Java programs. We define an extension of the Java language called MobiJ with a notion of component which allows for the encapsulation of its internal data-processing and composition by means of mobile asynchronous channels. The programming environment for MobiJ will include tools for specification and verification based on assertional methods. These assertional methods extend and generalize the Object Constraint Language (OCL) used in the Unified Modeling Language (UML).

Members of the MobiJ projects are:

Leiden Institute of Advanced Computer Science (LIACS),The Netherlands	Marcello Bonsangue
Centrum voor Wiskunde en Informatica (CWI),Amsterdam, The Netherlands	Frank de Boer
	Farhad Arbab
	Juan Guillen Scholten
	Joost Jacob
	Cees Pierik
Christian-Albrechts-Universität Kiel (CAU), Germany	Willem-Paul de Roever
	Erika Ábrahám-Mumm

MobiJ is a project founded by a bilateral research program of The Netherlands Organization for Scientic Research (NWO) and the Central Public Funding Organization for Academic Research in Germany (DFG)

Bonsangue Marcello

Last modified: Fri Nov 9 13:47:41 MET 2001