Skip to main content
Article thumbnail
Location of Repository

The Formal Approach to Problem Domain Modelling Within Model Driven Architecture

By Ē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

Topics: problem domain, topological functioning model, MDA, CIM, use case
Publisher: Jan Štefan MARQ
OAI identifier:
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.