Triune continuum paradigm

Source: Wikipedia, the free encyclopedia.

The triune continuum paradigm (triune: "both three and one at the same time") is a paradigm for general system modeling published in 2002.[1] The paradigm allows for building of rigorous conceptual frameworks employed for systems modeling in various application contexts (highly tailored as well as interdisciplinary).

Overview

As stated in the

Cambridge Dictionary of Philosophy:[2] "Paradigm, as used by Thomas Kuhn (The Structure of Scientific Revolutions
, 1962), refers to a set of scientific and metaphysical beliefs that make up a theoretical framework within which scientific theories can be tested, evaluated and if necessary revised."

The triune continuum paradigm holds true to this definition by defining a set of scientific principles within which conceptual frameworks used for system modeling in different contexts can be built, tested, evaluated, and revised.[3]

For an existent modeling framework, the paradigm allows the framework to be tested against its principles, showing framework deficiencies, if any, explaining how to fix the deficiencies in a possible revision of the framework. When building a new system modeling framework, the paradigm provides guidelines on how to do so, assuring the resulting quality of the framework.

According to Herrera et al.,

enterprise information systems
.

Foundations and their implications

The triune continuum paradigm is based on three theories: on

Russell's theory of types, and on the theory of the triune continuum.[5] The theories, when applied to general system modeling, produce three principles:[3]

  • The first principle assures coherency and unambiguity within modeling interpretations of a single modeling framework.
  • The second principle assures internal consistency of descriptions and specifications that are constructed with the aid of a modeling framework.
  • The third principle allows to introduce and to justify the minimal set of modeling concepts that is necessary and sufficient to cover the representation scope of a modeling framework on the most abstract level (on the level that corresponds to the first order propositions in Russell's theory of types).

Applications of the paradigm

The triune continuum paradigm can be applied in practice either to improve an existing system modeling framework or to design a new system modeling framework for a given purpose.

  • RM-ODP
The paradigm was applied in the domain of
formal semantics
.
  • UML
The paradigm was applied to define a formal metamodel for UML.[8] According to Lano,[9] the lack of grounded interpretation for UML concepts was identified in this application. As explained by Broy and Cengarle,[10] this application of the triune continuum paradigm:
  • showed deficits of UML (e.g. circular and contradictory definitions);
  • introduced an option that has an internally consistent structure supported by Russell’s theory of types;
  • defined declarative semantics à la Tarski;
  • was justified on the basis of philosophical and natural science foundations (in contrast to UML which is a result of tries, failures and successes that were never theoretically justified).
  • SEAM
The application for RM-ODP was employed in the definition of SEAM method for
Enterprise Architecture, allowing for enterprise modeling in which all the systems are systematically represented with the same modeling ontology.[11]
  • UFO
A new framework, "Unit - Function - Object" (UFO) approach, based on the ontology that was provided by the triune continuum paradigm.

References

  1. EPFL
    , June 2002.
  2. ^ R. Audi (general editor). The Cambridge Dictionary of Philosophy, second edition; Cambridge University Press 1999.
  3. ^ .
  4. ^ S.I. Herrera, M.M. Clusella, G.N. Tkachuk, P.A. Luna. "How System Models Contributes to the Design of Information Systems", Proceedings of the First World Congress of the International Federation for Systems Research (IFSR 2005): The New Roles of Systems Sciences For a Knowledge-based Society; Kobe, Japan, November 2005.
  5. .
  6. ^ R.M. Dijkman. Consistency in multi-viewpoint architectural design. PhD thesis 06-80, Centre for Telematics and Information Technology, University of Twente, 2006. Page 16.
  7. ^ K. Lano. "Using B to verify UML Transformations", Proceedings of the 3rd Workshop on Model design and Validation (MODEVA 2006), B. Baudry, D. Hearnden, N. Rapin, J. G. Süß (Eds.), pp. 46–61; Genova, Italy, October 2006.
  8. ^ O. Ukrainets. "UFO-element presentation in metamodel structure of Triune Continuum Paradigm", Proceedings of the international conference on Computer Science and Informational Technologies (CSIT'2006), pp. 107–108; Lviv, Ukraine, September 2006.

External links