Towards Two-Level Formal Modeling of Computer-Based Systems

Простая страница элемента
dc.creatorKarsai,Gabor
dc.creatorNordstrom,Greg
dc.creatorLedeczi,Akos
dc.creatorSztipanovits,Janos
dc.date2000
dc.date.accessioned2024-02-06T12:50:51Z
dc.date.available2024-02-06T12:50:51Z
dc.descriptionEmbedded 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 two-level approach can be supported with computational tools, and what kind of novel capabilities are offered.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-006-11-1131
dc.identifierhttps://lib.jucs.org/article/27735/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/7852
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 6(11): 1131-1144
dc.titleTowards Two-Level Formal Modeling of Computer-Based Systems
dc.typeResearch Article
Файлы
Коллекции
Публикации в журналах НИЯУ МИФИ