The team is developing a platform providing services for manipulation of models and UML meta-models, including notably the possibility to statically verify the well-formedness rules of a model via an OCL interpreter. Through this platform, a certain number of coherent points of the phases and activities of a development process have been validated by OCL methodological rules on the NEPTUNE process.
Platform NEPTUNE II integrates today new functionalities, in particular the possibility to take into account the standard OCL 2.0, simultaneous handling several meta-models and the transformation of models. It has been successfully tested within the associated framework of industrial and academic projects, in particular with regard to multi-model coherence, traceability of the modeling artifacts and verification of transformations. In-house, it was used as support for the detection of fragments of substitutable models by owners of design.