The overall objective of the project is the development of a modelling technology for systems possessing a network architecture based on XML languages as well as evolution and adaptation of available XML supporting tools for model verification, translation and processing.