Defining formalisms and models in the Draw-Net Modeling System

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

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 originaleInglese
Pagine123-144
Numero di pagine22
Stato di pubblicazionePubblicato - 1 gen 2006
Evento4th 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
Periodo1/01/06 → …

Fingerprint

Entra nei temi di ricerca di 'Defining formalisms and models in the Draw-Net Modeling System'. Insieme formano una fingerprint unica.

Cita questo