Description:
Model-based software and system design is based on the end-to-end use of formal, composable and manipulable models in the product life-cycle. Model Integrated Computing (MIC) developed at the Institute for Software Integrated Systems (ISIS) at Vanderbilt University is part of this new direction together with other well known approaches and initiatives, such as Microsoft's Software Factories, OMG's Model Driven Architecture (MDA), or IBM's Eclipse Modeling Framework (EMF). An emerging common thread in model-based software and systems design is that modeling languages are domain-specific: they offer software developers concepts and notations that are tailored to capture essential characteristics of their application domain. Models represented in Domain-Specific Modeling Languages (DSML-s) express structural and behavioral aspects of systems that span the design space. Model analysis and model-based code generation require the precise specification of DSMLs. This is partly achieved by metamodeling languages and metamodels describing the abstract syntax of DSMLs. While metamodeling and metaprogrammable tools have proved to be effective in software and systems engineering, it has become clear that the lack of formally specified semantics of DSML-s creates risk in a wide range of applications. The seminar describes the research program at ISIS to fix this problem by developing an infrastructure for semantic anchoring of DSML-s.
Speaker(s):
Dr. Janos Sztipanovits, E. Bronson Ingram Distinguished professor, Engineering; professor, Electrical Engineering, Computer Science and Computer Engineering, Vanderbilt University
|
