The Formal Approach to Problem Domain Modelling Within Model Driven Architecture

Proceedings of the 9th International Conference on Information Systems Implementation and Modelling (ISIM’06) 2006
Ērika Nazaruka

This paper represents an approach that introduces more formalism into problem domain modeling within OMG Model Driven Architecture and bridges a gap between models of the business system and the application. The basis of this approach is Topological Functioning Modeling (TFM) that allows representing knowledge of problem domain functionality from a computation independent viewpoint. This paper discusses a formal method for TFM construction, TFM capabilities for functional requirement validation and traceability at the beginning of problem domain analysis, the formal goal-based use case identification and refinement.

Atslēgas vārdi
problem domain, topological functioning model, MDA, CIM, use case

Asņina, Ē. The Formal Approach to Problem Domain Modelling Within Model Driven Architecture. No: Proceedings of the 9th International Conference on Information Systems Implementation and Modelling (ISIM’06), Čehija, Přerov, 25.-26. aprīlis, 2006. Ostrava: Jan Štefan MARQ, 2006, 97.-104.lpp. ISBN 80-86840-19-0.

Publikācijas valoda
English (en)