By Topic

Specifying graphical modeling systems using constraint-based meta models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
G. Karsai ; Inst. for Software Integrated Syst., Vanderbilt Univ., Nashville, TN, USA ; G. Nordstrom ; A. Ledeczi ; J. Sztipanovits

Embedded computer-based systems are becoming highly complex and difficult to implement due to the large number of concerns designers must address. These systems are tightly coupled to their environments, requiring an integrated view that encompasses both the information system and its physical surroundings. Mathematical analysis of such systems requires formal modeling of both “sides”, including their interaction. There exist a number of suitable modeling techniques for describing both the information system component and physical environment, but the best choice changes from domain to domain. 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 show how the two-level approach can be supported with computational tools, and what kinds of novel capabilities are offered

Published in:

Computer-Aided Control System Design, 2000. CACSD 2000. IEEE International Symposium on

Date of Conference: