DMCA
Towards Two-Level Formal Modeling of Computer-Based Systems
| Venue: | Journal of Universal Computer Science |
| Citations: | 5 - 3 self |
BibTeX
@ARTICLE{Karsai_towardstwo-level,
author = {Gabor Karsai and Greg Nordstrom and Akos Ledeczi and Janos Sztipanovits},
title = {Towards Two-Level Formal Modeling of Computer-Based Systems},
journal = {Journal of Universal Computer Science},
year = {},
volume = {6},
pages = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly coupled to their environments and this requires an integrated view that encompasses both the information system and its physical surroundings. Therefore, mathematical analysis of these systems necessitates formal modeling of both ”sides ” and their interaction. There exist a number of suitable modeling techniques for describing the information system component and the physical environment, but the best choice changes from domain to domain. In this paper, we propose a two-level approach to modeling that introduces a meta-level representation. Meta-level models define modeling languages, but they can also be used to capture subtle interactions between domain level models. We will show how the twolevel approach can be supported with computational tools, and what kind of novel capabilities are offered.
Keyphrases
towards two-level formal modeling computer-based system information system component meta-level representation choice change formal modeling physical environment computational tool domain level model meta-level model mathematical analysis physical surroundings integrated view information system large number subtle interaction embedded computer-based system two-level approach novel capability twolevel approach
