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