University of Bradford

Membership Details (University/College)

Contact: Keshav Dahal
Member node: 120
MOSAIC Research Centre, School of Informatics, University of Bradford, Richmond Road, Bradford, West Yorkshire, BD7 1DP, UK

>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details


We are mainly focusing on modelling methodologies for (mobile) agents. We have developed a formal specification language MobiOZ [1], which is an integration of Object-Z and mobile primitives and extended activity diagrams of UML 1.5 and 2.0 [2]. We are working on verification methods and tools for those formalisms.

This list was generated on Mon Sep 10 16:39:28 BST 2007.


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact