## Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP (2002)

Citations: | 15 - 3 self |

### BibTeX

@MISC{Naumenko02triunecontinuum,

author = {Andrey Naumenko and Prof W. Frank and Prof E. Najm and Prof S. Spaccapietra},

title = {Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP},

year = {2002}

}

### OpenURL

### Abstract

d 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 defirfition 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 spedalists, to the RM-ODP experts, and to ontological engineers. VERSION ABREGEE Cette thse prdsente l'organisation strucmrel/e, les fondements thdoriques et les principes de base pour les applications du Paradigrne de Triune Continuum, un paradigrne original applicable & la moddlisation orientde objet. Le paradigrne ddfmit une structure de mem-moddlisation applicable & la moddlisation gdndrale des systmes et en particulier aux systmes orientals objet. Cette

### Citations

1103 |
The Z Notation, A reference Manual
- Spivey
- 1992
(Show Context)
Citation Context ...constraints to which ODP standards must conform. Part 4 of RM-ODP describes the recommendations for approaching the standard formalization with LOTOS ([20], [30]), ACT ONE [16], SDL-92 [22], Z ([13], =-=[48]-=-) and ESTELLE [19] languages. Unfortunately, these are just recommendations or, in the best cases, small unrelated pieces of formalization for the part 2 concepts presented with different formal techn... |

235 |
Modelling Language Specification: version 2.1.1
- OMG
- 2007
(Show Context)
Citation Context ...consists of traditional object-oriented terms and thus attempts to define semantics for the terms used by different object-oriented modeling languages, in particular by Unified Modeling Language (UML =-=[40]-=-). 1s2 Introduction We started the work by trying to solve one very concrete problem of this standard. This was the following problem: � RM-ODP introduced a conceptual framework for modeling of ODP-sy... |

117 |
Mathematical logic as based on the theory of types
- Russell
- 1908
(Show Context)
Citation Context ...finition of the paradigm’s theoretical foundations supporting the metamodeling structure. The metamodeling structure is defined with the aid of two theoretical techniques: - Russell’s theory of types =-=[43]-=-; - Tarski’s declarative semantics [50]. The foundations of the paradigm are defined as a philosophically supported generalization of fundamental frameworks of natural science. In particular: - in cla... |

47 |
Architecting with RM-ODP
- Putman
- 2001
(Show Context)
Citation Context ...e ITU-T Rec. X.904 | ISO/IEC 10746-4 is standardized. This is unfortunate because the standard fails to provide a true consistent formalization of the concepts of part 2. This lack is also noticed in =-=[42]-=-, which says: “It is definitely the case that the degree of formalism in architecture specifications today varies, and none, including RM-ODP, have achieved a fully mathematical formal specification u... |

36 |
An introduction to lotos: learning by examples
- Logrippo, Faci, et al.
- 1992
(Show Context)
Citation Context ...ed in future with part 3 that presents the constraints to which ODP standards must conform. Part 4 of RM-ODP describes the recommendations for approaching the standard formalization with LOTOS ([20], =-=[30]-=-), ACT ONE [16], SDL-92 [22], Z ([13], [48]) and ESTELLE [19] languages. Unfortunately, these are just recommendations or, in the best cases, small unrelated pieces of formalization for the part 2 con... |

29 |
and the OMG Staff Strategy Group. Model-driven architecture
- Soley
- 2000
(Show Context)
Citation Context ...f the ontological approaches with the example of Model Driven Architecture, and the second – with the example of Reference Model of Open Distributed Processing. Model Driven Architecture (MDA) ([14], =-=[46]-=-) proposed by the Object Management Group (OMG) is a recently emerging vision on system modeling that targets integration of different successful industrial solutions for the system architecture. The ... |

16 |
Computational models for open distributed systems
- Najm, Stefani
- 1997
(Show Context)
Citation Context ... engineering viewpoint. At the same time another research thread concentrates only on formalizations for specific viewpoints. [15], [49] propose approaches for the enterprise specifications and [35], =-=[36]-=-, [45] formalize the ODP computational model. Examples of approaches for computational, engineering and technology viewpoints can be found in [6]. Thus, historically the emphasis in ODP formalization ... |

15 |
driven architecture (MDA
- Model
- 2001
(Show Context)
Citation Context ...lar “platform-specific” domain of interest in relation to the universe of discourse. The model should use a conceptual framework that is described in its corresponding “platform-specific model” (PSM) =-=[39]-=-. PSMs are the meta16 A conceptual category can be defined as a group of concepts used for modeling and reserved for a particular modeling purpose. The number of conceptual categories that can be defi... |

10 | Applying Formal Methods to Standard Development: The
- Sinnott, Turner
- 1995
(Show Context)
Citation Context ...at 9 Each time when we mention RM-ODP in the thesis, we refer to [21].s72 Chapter 4 was taken in part 4 hardly favors this kind of formalization. Detailed explanations of the approach may be found in =-=[44]-=-. The approach never considers explicitly the relations that exist between different concept categories (such as between basic modeling concepts (RM-ODP 2-8) and specification concepts (RM-ODP 2-9)). ... |

4 |
A Formal Semantics for the ODP
- Najm, Stefani
- 1995
(Show Context)
Citation Context ...th the engineering viewpoint. At the same time another research thread concentrates only on formalizations for specific viewpoints. [15], [49] propose approaches for the enterprise specifications and =-=[35]-=-, [36], [45] formalize the ODP computational model. Examples of approaches for computational, engineering and technology viewpoints can be found in [6]. Thus, historically the emphasis in ODP formaliz... |

4 | Specifying ODP Computational Objects in Z
- Sinnott, Turner
- 1996
(Show Context)
Citation Context ...eering viewpoint. At the same time another research thread concentrates only on formalizations for specific viewpoints. [15], [49] propose approaches for the enterprise specifications and [35], [36], =-=[45]-=- formalize the ODP computational model. Examples of approaches for computational, engineering and technology viewpoints can be found in [6]. Thus, historically the emphasis in ODP formalization resear... |

2 |
Introduction to OMG's Unified Modeling Language (UML
- OMG
- 2002
(Show Context)
Citation Context ... can identify is that these UML semantics are considered to be complex and difficult to understand by many modelers. OMG itself in its article “Introduction to OMG's Unified Modeling Language (UML™)” =-=[37]-=- confirms this, saying that the UML specification [40] is “highly technical, terse, and very difficult for beginners to understand”. This situation can be improved by analyzing the current state of UM... |

2 |
Facility (MOF) Specification, version 1.3
- “Meta-Object
(Show Context)
Citation Context ...DA. Then, in correspondence with the 4L-M3 meta-meta-model, MDA introduces a “platform-independent model” (PIM) [39] as the framework to integrate all the defined PSMs. The Meta-Object Facility (MOF) =-=[38]-=- is an example of PIM supported by Object Management Group within MDA. To summarize the MDA case of the four-level ontological approach application, let us quote [39]: “A complete MDA application cons... |

1 |
Hypercomplex Dynamic Systems, Vischa Shkola
- Maliuta
- 1989
(Show Context)
Citation Context ...perspective and age perspective although necessary, but not very important here; it is the family as a group that matters here the most. If we consider these three cases as three hypercomplex systems =-=[31]-=-, [33], [34] (“Family”, “Personal Insurance” and “Family Insurance”) in their relations, we see that the last one can be considered as a system that emerges from the first two if the two are considere... |

1 |
Invariant Modeling. Course of Lectures, International Academy ”New Universum”, CIC Severnaya Zvezda, Chernigov
- Maliuta
- 1999
(Show Context)
Citation Context ...ethods and techniques used for modeling to the level of complexity of the modeling problems is an important requirement for the methods and techniques which is defined in the scope of system sciences =-=[32]-=-. Let us now return to the Information Continuum in the models. In the section introducing basic modeling concepts we defined principal concepts belonging to this continuum. These concepts were “Actio... |

1 |
Regularities of System Development, Naukova
- Maliuta
- 1990
(Show Context)
Citation Context ...ctive and age perspective although necessary, but not very important here; it is the family as a group that matters here the most. If we consider these three cases as three hypercomplex systems [31], =-=[33]-=-, [34] (“Family”, “Personal Insurance” and “Family Insurance”) in their relations, we see that the last one can be considered as a system that emerges from the first two if the two are considered in t... |

1 |
System of Activities, Naukova
- Malyuta
- 1991
(Show Context)
Citation Context ...and age perspective although necessary, but not very important here; it is the family as a group that matters here the most. If we consider these three cases as three hypercomplex systems [31], [33], =-=[34]-=- (“Family”, “Personal Insurance” and “Family Insurance”) in their relations, we see that the last one can be considered as a system that emerges from the first two if the two are considered in the sam... |