Title :
The Rosetta meta-model framework
Author :
Kong, Cindy ; Alexander, Perry
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Kansas Univ., Lawrence, KS, USA
Abstract :
Heterogeneous systems are naturally complex and their design is a tedious process. The modeling of components that constitute such a system mandates the use of different techniques. This gives rise to the problem of methodology integration that is needed to provide a consistent design. In this paper, we propose a meta-model framework that provides such an integration. The semantics of different computational models can be expressed and used together in the Rosetta framework. We use denotational semantics to define unifying semantic domains, which are themselves extended to provide ontologies for models of computation. Interaction relations defined between models are then used to exploit and analyze model integration. We demonstrate our approach by providing applications where different computational models are used together.
Keywords :
formal specification; object-oriented programming; programming language semantics; specification languages; systems analysis; Rosetta meta-model framework; component modeling; computation. models; denotational semantics; heterogeneous system design; methodology integration; ontologies; Application software; Computational modeling; Computer applications; Computer science; Hardware; Ontologies; Optical devices; Power system modeling; Specification languages; System-level design;
Conference_Titel :
Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the
Print_ISBN :
0-7695-1917-2
DOI :
10.1109/ECBS.2003.1194792