TL;DR: This thesis presents the structural organization, theoretical foundations and basic application principles of Triune Continuum Paradigm, an original paradigm applicable to object-oriented modeling that defines a metamodeling structure efficient in the scope of general system modeling.
Abstract: This thesis presents the structural organization, theoretical foundations and basic application principles of Triune Continuum Paradigm, an original paradigm applicable to object-oriented modeling. The paradigm defines a metamodeling structure efficient in the scope of general system modeling, in particular for object-oriented frameworks. This structure is rigorous and at the same time flexible. It allows the definition of formal ontologies for various specific object-oriented frameworks, for example for Unified Modeling Language (UML) or for Reference Model of Open Distributed Processing (RM-ODP is an ISO/ITU standard). Thus different existing frameworks, like UML or RM-ODP, can benefit from the logical rigor, internal consistency, interpretation coherency, formal presentation and solid theoretical foundations of the defined paradigm. Adoption of this paradigm allows the resolution of crucial problems existing in these different object-oriented frameworks. The paradigm is formally presented and realized in a computer-interpretable form on the example of ontology describing the RM-ODP conceptual framework. Thus the paradigm realizes an important result that was never achieved previously: a single consistent formalization of the RM-ODP standard conceptual framework. This formalization presents a concrete example of formal ontology for general system modeling. The paradigm is also applied on UML. This application allowed the presentation of theoretical foundations that are necessary for the understanding and definition of the UML metamodel. This thesis is useful to readers who are interested in the fundamentals of system analysis. It can be particularly interesting to the UML semantics specialists, to the RM-ODP experts, and to ontological engineers.
TL;DR: This paper reports on the definition and implementation of a concrete resolution for a single consistent formalization of the RM-ODP conceptual framework, which formalizes denotational and Tarski's declarative semantics for RM- ODP.
TL;DR: An object- oriented paradigm that provides a logically rigorous and complete theoretical base for various existing object-oriented frameworks and can resolve a number of existing problems of the Unified Modeling Language (UML).
Abstract: We present the results of our research that is positioned in the domain of system modeling. In particular, we present an object-oriented paradigm that provides a logically rigorous and complete theoretical base for various existing object-oriented frameworks. The strong points of the paradigm are presented by demonstrating how the paradigm can resolve a number of existing problems of the Unified Modeling Language (UML). The analysis of these problems and the proposed paradigm-based solutions represent an original research approach towards software systems modeling; the research approach that is based on the theories like Russells theory of types and Tarskis declarative semantics. The paper advances the current state of research in software systems modeling frameworks in general and the state of UML research in particular.
TL;DR: The categorization of concepts into the abstract and the concrete constructs does not have a consistent implementation in the current UML specifications and cannot help modelers who would like to understand the possible application context for a particular modeling concept.
Abstract: constructs are not instantiable and are commonly used to reify key constructs, share structure, and organize the UML metamodel. Concrete metamodel constructs are instantiable and reflect the modeling constructs used by object modelers (cf. metamodelers). constructs defined in the Core include ModelElement, GeneralizableElement, and Classifier. Concrete constructs specified in the Core include Class, Attribute, Operation, and Association. ” However, this categorization becomes quite confusing if it is compared with the actual terms’ definitions presented in the UML specifications. For example, “Association” is defined ([40], section 2.5.2.3) relative to “Classifier”, which means that “Association” can be considered as both the abstract and the concrete construct. To summarize, the categorization of concepts into the abstract and the concrete constructs does not have a consistent implementation in the current UML specifications and cannot help modelers who would like to understand the possible application context for a particular modeling concept. An approximate sketch of another possible categorization can be found in section 2.5.2 of UML specifications. The section introduces the figures 2-5,6,7,8,9 as following: “
TL;DR: This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general and in particular for Information Systems engineering.
Abstract: This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general and in particular for Information Systems engineering. The paper presents theoretical foundations of the paradigm; in particular it presents some of the key features of the theory of Triune Continuum, one of the three theories that contribute to the definition of the paradigm.