Defining formalisms and models in the Draw-Net Modeling System

Daniele CODETTA RAITERI; Giuliana Annamaria FRANCESCHINIS; M. Gribaudo

Defining formalisms and models in the Draw-Net Modeling System

Daniele CODETTA RAITERI, Giuliana Annamaria FRANCESCHINIS, M. Gribaudo

Department of Science and Technological Innovation

Research output: Contribution to conference › Paper › peer-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.

Original language	English
Pages	123-144
Number of pages	22
Publication status	Published - 1 Jan 2006
Event	4th International Workshop on Modelling of Objects, Components and Agents (MOCA'06) - Turku, Finland Duration: 1 Jan 2006 → …

Conference

Conference	4th International Workshop on Modelling of Objects, Components and Agents (MOCA'06)
City	Turku, Finland
Period	1/01/06 → …

Cite this

@conference{10c2f1991ab341ce905cb5879fdf725b,

title = "Defining formalisms and models in the Draw-Net Modeling System",

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.",

author = "{CODETTA RAITERI}, Daniele and FRANCESCHINIS, {Giuliana Annamaria} and M. Gribaudo",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "123--144",

note = "4th International Workshop on Modelling of Objects, Components and Agents (MOCA'06) ; Conference date: 01-01-2006",

}

TY - CONF

T1 - Defining formalisms and models in the Draw-Net Modeling System

AU - CODETTA RAITERI, Daniele

AU - FRANCESCHINIS, Giuliana Annamaria

AU - Gribaudo, M.

PY - 2006/1/1

Y1 - 2006/1/1

N2 - 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.

AB - 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.

UR - https://iris.uniupo.it/handle/11579/29032

M3 - Paper

SP - 123

EP - 144

T2 - 4th International Workshop on Modelling of Objects, Components and Agents (MOCA'06)

Y2 - 1 January 2006

ER -

Defining formalisms and models in the Draw-Net Modeling System

Abstract

Conference

Other files and links

Fingerprint

Cite this