| |
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.
|
|
