{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:44:04Z","timestamp":1762955044674},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2011]]},"DOI":"10.1109\/tase.2011.2161981","type":"journal-article","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T01:40:48Z","timestamp":1315618848000},"source":"Crossref","is-referenced-by-count":16,"title":["Solution Workflows for Model-Based Analysis of Complex Systems"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Moscato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flora","family":"Amato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Mazzeo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","author":"russell arthur","year":"2006","journal-title":"Workflow Control-Flow Patterns A Revised View"},{"key":"ref32","first-page":"165","article-title":"The OsMoSys\/drawnet xe! languages system: A novel infrastructure for multi-formalism object-oriented modelling","author":"gribaudo","year":"2003","journal-title":"Proc 15th Eur Simulation Symp Exhibition (ESSE'03)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1002\/spe.696"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2003.1261474"},{"key":"ref35","first-page":"40","article-title":"Uppaal2k","volume":"70","author":"pettersson","year":"2000","journal-title":"Bull Eur Assoc Theor Comput Sci"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.VALUETOOLS2009.7677"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.994"},{"key":"ref12","year":"0","journal-title":"OASIS Web Services Business Process Execution Language Version 2 0"},{"key":"ref13","year":"2005","journal-title":"Workflow management coalition workflow standard Process definition interface Xml process definition language"},{"key":"ref14","author":"van der aalst","year":"2003","journal-title":"Patterns and XPDL A critical evaluation of the xml process definition language"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68265-3_13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.03.002"},{"key":"ref17","author":"szyperski","year":"2002","journal-title":"Component Software Beyond Object-Oriented Programming"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201255"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/PDSE.1999.779743"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643121"},{"key":"ref4","first-page":"356","article-title":"A toolbox for functional and quantitative analysis of DEDS","author":"bause","year":"1998","journal-title":"Proc 10th Int Conf Comput Perform Eval Modelling Tech Tools TOOLS '98"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.02.014"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_38"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","article-title":"Atom3: A tool for multi-formalism and meta-modelling","author":"lara","year":"2002","journal-title":"Fundamental Approaches Softw Eng"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45232-4_8"},{"key":"ref8","first-page":"241","article-title":"Multi-formalism and multi-solution-method modeling frameworks: The mobius approach","author":"sanders","year":"2003","journal-title":"Proc Symp Perform Eval Stories and Perspectives"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","article-title":"The mobius framework and its implementation","volume":"28","author":"deavours","year":"2002","journal-title":"IEEE Trans Softw Eng"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028975"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530878"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2367-3"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/s10270-003-0039-5","article-title":"The OsMoSys approach to multi-formalism modeling of systems","volume":"3","author":"vittorini","year":"2004","journal-title":"Softw Syst Modeling"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4108\/valuetools.2007.1913"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.2004.1271438"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_11"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311936"},{"key":"ref26","first-page":"2675","article-title":"Modelling structural reliability aspects of ERTMS\/ETCS by fault trees and Bayesian networks","author":"flammini","year":"2006","journal-title":"Proc 15th Eur Safety and Reliability Conf ESREL'06"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2005.26"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8856\/6112271\/05966370.pdf?arnumber=5966370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:48:01Z","timestamp":1633909681000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5966370\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/tase.2011.2161981","relation":{},"ISSN":["1545-5955"],"issn-type":[{"value":"1545-5955","type":"print"}],"subject":[],"published":{"date-parts":[[2011]]}}}