{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T05:05:28Z","timestamp":1781586328247,"version":"3.54.5"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"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":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1109\/tse.2002.1041052","type":"journal-article","created":{"date-parts":[[2002,11,21]],"date-time":"2002-11-21T20:12:04Z","timestamp":1037909524000},"page":"956-969","source":"Crossref","is-referenced-by-count":188,"title":["The Mobius framework and its implementation"],"prefix":"10.1109","volume":"28","author":[{"given":"D.D.","family":"Deavours","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T.","family":"Courtney","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Daly","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Derisavi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.M.","family":"Doyle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.H.","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.G.","family":"Webster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/321879.321887"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58152-9_15"},{"key":"ref3","first-page":"202","article-title":"Introducing a Color Formalism into Generalized Stochastic Petri Nets","volume-title":"Proc. Ninth European Workshop the Application and Theory of Petri Nets","author":"Chiola"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676110"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"ref6","first-page":"106","article-title":"Stochastic Activity Networks: Structure, Behavior, and Application","volume-title":"Proc. Int\u2019l Workshop Timed Petri Nets","author":"Meyer"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796527"},{"issue":"4","key":"ref8","first-page":"383","article-title":"Performability Evaluation of Fault-Tolerant Computer Systems Using DyQN-Tool $\\big. ^+\\bigr.$","volume-title":"Int\u2019l J. Reliability, Quality, and Safety Eng.","volume":"2","author":"Haverkort"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(95)00008-L"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(95)00012-M"},{"key":"ref12","first-page":"390","article-title":"SPNP: The Stochastic Petri Net Package (version 3.1)","volume-title":"Proc. First Int\u2019l Workshop Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS \u201993)","author":"Ciardo"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8351-2_11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022193"},{"key":"ref15","first-page":"1","article-title":"The Integrated Modelling Support Environment: A New Generation of Performance Modelling Tools","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools: Proc. Fifth Int\u2019l Conf.","author":"Pooley"},{"key":"ref16","first-page":"471","article-title":"The Development of an Integrated Modeling Environment","volume-title":"Proc. World Congress on Systems Simulation (WCSS \u201997)","author":"Fricks"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68061-6_4"},{"key":"ref18","volume-title":"Performance and Reliability Analysis of Computer Systems, An Example-Based Approach Using the SHARPE Software Package","author":"Sahner"},{"key":"ref19","first-page":"41","article-title":"SMART: Simulation and Markovian Analyzer for Reliability and Timing","volume-title":"Tool Descriptions from the Ninth Int\u2019l Conf. Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS \u201997) and the Seventh Int\u2019l Workshop Petri Nets and Performance Models (PNPM \u201997)","author":"Ciardo"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68061-6_32"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/49.64901"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44804-7_13"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(98)00010-8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/32.729691"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796559"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1998.707725"},{"key":"ref27","first-page":"237","article-title":"Measure-Adaptive State-Space Construction Methods","volume-title":"Performance Evaluation","volume":"44","author":"Obal II"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9123-1_10"},{"issue":"10","key":"ref29","first-page":"1093","article-title":"A Methodology for Solving Markov Models of Parallel Systems","volume-title":"IEEE J. Software Eng.","volume":"17","author":"Plateau"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1995.524315"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90026-Q"},{"key":"ref32","article-title":"Abstract Model Specification Using the M\u00f6bius Modeling Tool","author":"Doyle","year":"2000"},{"key":"ref33","volume-title":"Simulation of Computer Communication Systems","author":"Sauer"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/32.825765"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953363"},{"key":"ref36","article-title":"Formal Specification of the M\u00f6bius Modeling Framework","author":"Deavours","year":"2001"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.542"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/32.922715"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953373"},{"key":"ref40","article-title":"Model Composition within the M\u00f6bius Modeling Framework","author":"Stillman","year":"1999"},{"key":"ref41","volume-title":"Design and Analysis of Experiments","author":"Montgomery"},{"key":"ref42","article-title":"Discrete event simulation in the M\u00f6bius Modeling Framework","author":"Williamson","year":"1998"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/22320\/01041052.pdf?arnumber=1041052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T04:49:37Z","timestamp":1742014177000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1041052\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":42,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2002,10]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2002.1041052","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}