Andrey Naumenko

Conceptual modeling of complex systems using an RM-ODP based ontology

The development of business and information systems requires a significant amount of modeling. The current modeling languages and tools have difficulties supporting the modeling of systems spanning through multiple organizational levels. The use of inadequate modeling abstractions is one of the important causes for these difficulties. The paper proposes an ontology that defines the concepts needed for object-oriented modeling and gives a graphical example. The ontology is based on RM-ODP and relies on constructivism and system theory. The proposed ontology allows the definition of development methods, modeling languages and tools that are applicable to complex systems. This can lead to significant productivity improvements in the business and software development communities.

A Metamodel for the Unified Modeling Language

Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling language meta-model may cause major problems in the language applications; thus with the model driven systems development the solidness of modeling languages metamodels becomes particularly important. In its current state the UML metamodel leaves a significant area for improvement. We present an alternative metamodel that was inspired by the RM-ODP standard and that solves the problems of UML. RM-ODP was mentioned in UML specifications as a framework that has already influenced UML. Our metamodel was formalized, thus its resulting models can be simulated and checked for consistency. So, our proposed solution with constructive potential towards improvement of the UML metamodel, may have a significant practical impact on the UML specifications.

Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm

The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a satisfactory formalization of its proposed conceptual framework. We report on the definition and implementation of a concrete resolution for this challenge: a single consistent formalization of the RM-ODP conceptual framework. Our solution formalizes denotational and Tarskis declarative semantics for RM-ODP. The formalization is based on the Triune Continuum Paradigm-a fundamental, logically rigorous object-oriented modeling paradigm that can be adapted by different modeling frameworks as a semantic foundation for their conceptual structures.

Requirements for Laser Doppler Imaging Modality Representation in DICOM

DICOM standard in its current state does not support Laser Doppler Imaging (LDI) modality. Based on experience in producing LDI devices at Aimago SA we present requirements for the modality support in DICOM. This paper can be interesting to people who are responsible to maintain DICOM standard up to date with modern medical imaging techniques. The paper could also be of interest to manufacturers of LDI devices who would like to produce DICOM conformant LDI equipment.