A Formal Holistic Outline for Domain Modeling

13th East-European Conference "Advances in Databases and Information Systems " (ADBIS 2009) : Associated Workshops and Doctoral Consortium : Local Proceedings 2009
Ērika Nazaruka

Elaborated analysis of the problem domain and impact of the solution domain on it is not to be ignored also in model-driven development. Topological Model of System Functioning (TFM) is a formal model for representing the problem domain and analyzing solution’s impact on it from a computation independent viewpoint. The use of the formal model at the very beginning of development helps to preserve conformity of the solution domain to the problem domain. In turn, the TFM “outlines” the domain under analysis in a simple, but formal manner. This paper discusses transformation mappings within a computation independent model, namely from TFM to more detailed behavioral models in order to enhance the outlined behavior of the problem domain by specifying additional detailed information of the domain. This paper illustrates this idea by transforming the topological model into Use Cases Diagram, Use Case Specifications, UML Activity Diagrams, and BPMN diagrams.

Atslēgas vārdi
a domain model, model transformation, a topological functioning model, use case, BPMN

Asņina, Ē. A Formal Holistic Outline for Domain Modeling. No: 13th East-European Conference "Advances in Databases and Information Systems " (ADBIS 2009) : Associated Workshops and Doctoral Consortium : Local Proceedings, Latvija, Riga, 7.-10. septembris, 2009. Riga: RTU, 2009, 400.-407.lpp. ISBN 9789984301631.

Publikācijas valoda
English (en)