Triune Continuum Enterprise
               promoting Information Systems theory to practice

 

Events

Mission

Triune
Continuum
Paradigm

Theory of
Triune
Continuum

Projects

Publications

Triune
Continuum
Store

Contact Info

Donate

 
   

Projects


 - Semantics for modeling languages: The following paper presents theoretical analysis and justifications of Tarski's declarative semantics comparing them with the denotational and operational semantics in the context of modeling languages.

A. Naumenko, A. Wegmann, C. Atkinson. The Role of Tarski’s Declarative Semantics in the Design of Modeling Languages, Technical report No. IC/2003/43, Swiss Federal Institute of Technology - Lausanne. EPFL, April 2003.


 - Triune Continuum Paradigm application for RM-ODP: The following papers present the Triune Continuum Paradigm based approach for formalization of the RM-ODP conceptual framework, and a computer-interpretable realization of this formalization.

A. Naumenko, A. Wegmann. "Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm", Computer Standards & Interfaces, Volume 29, Issue 1, pp. 39-53, Elsevier B.V., 2007.

A. Naumenko, A. Wegmann. "RM-ODP part 2: Foundations in Alloy"; Technical report No. DSC/2001/041, Swiss Federal Institute of Technology - Lausanne, August 2001.

A. Naumenko, A. Wegmann. "A Formal Foundation of the RM-ODP Conceptual Framework"; Technical report No. DSC/2001/040, Swiss Federal Institute of Technology - Lausanne, July 2001.

A. Naumenko, A. Wegmann, G. Genilloud, W.F. Frank. "Proposal for a formal foundation of RM-ODP concepts"; Proceedings of ICEIS 2001, Workshop On Open Distributed Processing - WOODPECKER`2001, Setúbal, Portugal, July 2001, pp. 81-97.


 - Triune Continuum Paradigm application for UML: The following papers present the Triune Continuum Paradigm based solutions for three crucial problems of UML metamodel.

A. Naumenko, A. Wegmann. "Triune Continuum Paradigm and Problems of UML Semantics"; Technical report No. IC/2003/44, Swiss Federal Institute of Technology - Lausanne, February 2003.

A. Naumenko, A. Wegmann. "A Metamodel for the Unified Modeling Language". "UML" 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools. The 5th International Conference; pp. 2-17.; J.-M. Jézéquel, H. Hussmann, S. Cook (Eds.); Dresden, Germany, September/October 2002. LNCS 2460. Springer-Verlag 2002. ISBN 3-540-44254-5.


  
 

Advertisement