A Naumenko, A Wegmann - 2001 - infoscience.epfl.ch
This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is to clarify …
A Naumenko, A Wegmann - 2002 - infoscience.epfl.ch
Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which …
A Naumenko, A Wegmann - 2002 - infoscience.epfl.ch
We present an approach to the definition of an object-oriented modeling paradigm done in the scope of general system modeling. The paradigm includes a formally defined …