An inspection approach for conceptual models in notations derived from UML: A case study

This paper presents an overview of a proposed framework for improving the quality of conceptual models developed in notations derived from UML. To this aim, wellness properties of a UML model are described shortly. Through a case study, we show that an ad hoc inspection process in accordance with this framework can be defined and performed depending on the conceptual modeling notation and typical real models. This study showed us that the application of the defined inspection process, which adopts concepts and properties available for formally defined notations, revealed many non trivial fallacies in models especially in derived activity diagrams.