MODEM - Behaviour:

A ‘structural constraints’ case study

This walks through a project where the BORO methodology was used to re-engineer data in a defence architectural framework standard - MODAF. This standard has a UML metamodel. UML has (to an extent) a formal semantics, but was not designed to provide a real world semantics. Hence, MODAF at the start had no top level real world semantics, though it had started to establish middle level real world semantics, within UML’s top level formal semantics. This presentation explaines how MODEM used IDEAS (BORO) to bring the real world semantics in. This includes a detailed study of the improvements needed to the UML model for behaviour. This is part of a series of tutorials that walk through examples that illustrate how the BORO methodology has been used to re-engineer data in an industrial context.