loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Janis Osis and Uldis Donins

Affiliation: Riga Technical University, Latvia

Keyword(s): UML, topological functioning model, topological class diagrams, formalization, natural language analysis.

Related Ontology Subjects/Areas/Topics: Applications ; Business and Software Modeling Languages ; Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques ; Software Process Improvement

Abstract: In this paper a system static structure modeling formalization and formalization of static models based on topological functioning model (TFM) is proposed. TFM uses mathematical foundations that holistically represent complete functionality of the problem and application domains. With the TFM we can do formal analysis of a business system and in a formal manner model the static structure of the system. After construction of the TFM of a system functioning a domain object model is defined by performing TFM transformation. Making further transformations of TFM it is possible to introduce more formalism in the unified modeling language (UML) diagrams and in their construction. In this paper we have introduced topology into the UML class diagrams.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.117.107.90

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Osis, J. and Donins, U. (2009). An Innovative Model Driven Formalization of the Class Diagrams. In Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-811-98-2; ISSN 2184-4895, SciTePress, pages 134-145. DOI: 10.5220/0001951901340145

@conference{enase09,
author={Janis Osis. and Uldis Donins.},
title={An Innovative Model Driven Formalization of the Class Diagrams},
booktitle={Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2009},
pages={134-145},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001951901340145},
isbn={978-989-811-98-2},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - An Innovative Model Driven Formalization of the Class Diagrams
SN - 978-989-811-98-2
IS - 2184-4895
AU - Osis, J.
AU - Donins, U.
PY - 2009
SP - 134
EP - 145
DO - 10.5220/0001951901340145
PB - SciTePress