Abstract
This paper presents the Draw-Net Modeling System (DMS), a framework for the design and the solution of models expressed in any (graph based) formalism, including the possiblity of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In this paper, the general open architecture of the DMS framework and the formal specification of th Data Definition Language (DDL) are introduced. A running example of multi-formalism model is used to illustrate the main concepts of the framework.
Lingua originale | Inglese |
---|---|
Pagine | 123-144 |
Numero di pagine | 22 |
Stato di pubblicazione | Pubblicato - 1 gen 2006 |
Evento | 4th International Workshop on Modelling of Objects, Components and Agents (MOCA'06) - Turku, Finland Durata: 1 gen 2006 → … |
???event.eventtypes.event.conference???
???event.eventtypes.event.conference??? | 4th International Workshop on Modelling of Objects, Components and Agents (MOCA'06) |
---|---|
Città | Turku, Finland |
Periodo | 1/01/06 → … |