國立虎尾科技大學 |

Theory and application of multi-formalism modeling

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Theory and application of multi-formalism modeling/ Marco Gribaudo and Mauro Iacono, editors.
other author:	Gribaudo, Marco,
Published:	Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) :IGI Global, : [2014],
Description:	1 online resource (291 p.)
Subject:	Mathematical models. -
Online resource:	http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4659-9
ISBN:	9781466646605 (ebk.)

Theory and application of multi-formalism modeling
Theory and application of multi-formalism modeling[electronic resource] /Marco Gribaudo and Mauro Iacono, editors. - Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) :IGI Global,[2014] - 1 online resource (291 p.)

Includes bibliographical references.

An introduction to multiformalism modeling / Marco Gribaudo, Mauro Iacono -- Combining heterogeneity, compositionality, and automatic generation in formal modelling / Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini -- Towards a multi-formalism multi-solution framework for model-driven performance engineering / Catalina M. Llado, Pere Bonet, Connie U. Smith -- Multi-modeling, meta-modeling, and workflow languages / Alexander H. Levis, Ahmed Abu Jbara -- Multiformalism modeling compositionality in SIMTHESys / Enrico Barbierato -- A meta-model-based approach to the definition of the analysis results of Petri-Net models / Simona Bernardi, Jose Merseguer -- A Petri net-based tool for the analysis of generalized continuous time Bayesian networks / Daniele Codetta-Raiteri, Luigi Portinale -- GPA: a multiformalism, multisolution approach to efficient analysis of large-scale population models / Jeremy T. Bradley, Marcel C. Guenther, Richard A. Hayden, Anton Stefanek -- A symbolic approach to the analysis of multi-formalism Markov reward models / Kai Lampka, Markus Siegle -- Designing user-defined modeling languages with SIMTHESys / Mauro Iacono -- A unified modelling and operational framework for fault detection, identification, and recovery in autonomous spacecrafts / Andrea Bobbio, Daniele Codetta-Raiteri, Luigi Portinale, Andrea Guiotto, Yuri Yushtein -- A model-driven methodology to evaluate performability of metro systems / Roberto Nardone, Stefano Marrone.

Restricted to subscribers or individual electronic text purchasers.

"This book boldly explores the importance of multi-formalism modeling by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved in this field"--Provided by publisher.

Mode of access: World Wide Web.

ISBN: 9781466646605 (ebk.)Subjects--Topical Terms:

527886
Mathematical models.
Subjects--Index Terms:

Large scale population models

LC Class. No.: TA342 / .T478 2014e

Dewey Class. No.: 003

Theory and application of multi-formalism modeling
LDR:03185nam a2200397 i 4500 001 880891
003 IGIG
005 19991101103152.0
006 m e d
007 cr bn |||m|||a
008 180214s2014 pau fob 000 0 eng d
010 $z 2013026788
020 $a 9781466646605 (ebk.)
020 $a 9781466646599 (hbk.)
035 $a (CaBNVSL)gtp00557641
035 $a (OCoLC)863559597
035 $a 0000000241
040 $a CaBNVSL $b eng $e rda $c CaBNVSL $d CaBNVSL
050 0 0 $a TA342 $b .T478 2014e
082 0 0 $a 003 $2 23
245 0 0 $a Theory and application of multi-formalism modeling $h [electronic resource] / $c Marco Gribaudo and Mauro Iacono, editors.
260 $a Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) : $b IGI Global, $c [2014]
300 $a 1 online resource (291 p.)
504 $a Includes bibliographical references.
505 0 $a An introduction to multiformalism modeling / Marco Gribaudo, Mauro Iacono -- Combining heterogeneity, compositionality, and automatic generation in formal modelling / Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini -- Towards a multi-formalism multi-solution framework for model-driven performance engineering / Catalina M. Llado, Pere Bonet, Connie U. Smith -- Multi-modeling, meta-modeling, and workflow languages / Alexander H. Levis, Ahmed Abu Jbara -- Multiformalism modeling compositionality in SIMTHESys / Enrico Barbierato -- A meta-model-based approach to the definition of the analysis results of Petri-Net models / Simona Bernardi, Jose Merseguer -- A Petri net-based tool for the analysis of generalized continuous time Bayesian networks / Daniele Codetta-Raiteri, Luigi Portinale -- GPA: a multiformalism, multisolution approach to efficient analysis of large-scale population models / Jeremy T. Bradley, Marcel C. Guenther, Richard A. Hayden, Anton Stefanek -- A symbolic approach to the analysis of multi-formalism Markov reward models / Kai Lampka, Markus Siegle -- Designing user-defined modeling languages with SIMTHESys / Mauro Iacono -- A unified modelling and operational framework for fault detection, identification, and recovery in autonomous spacecrafts / Andrea Bobbio, Daniele Codetta-Raiteri, Luigi Portinale, Andrea Guiotto, Yuri Yushtein -- A model-driven methodology to evaluate performability of metro systems / Roberto Nardone, Stefano Marrone.
506 $a Restricted to subscribers or individual electronic text purchasers.
520 3 $a "This book boldly explores the importance of multi-formalism modeling by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved in this field"--Provided by publisher.
530 $a Also available in print.
538 $a Mode of access: World Wide Web.
588 $a Description based on title screen (IGI Global, viewed 11/18/2013).
650 0 $a Mathematical models. $3 527886
653 $a Large scale population models
653 $a Modeling composability
653 $a Modeling techniques
653 $a Multi-formalism theoretical foundations
653 $a Petri-net models and tools
653 $a Workflow languages
700 1 $a Gribaudo, Marco, $d 1972- $e editor. $3 1132983
700 1 $a Iacono, Mauro, $d 1975- $e editor. $3 1132984
856 4 0 $u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4659-9