{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:45:32Z","timestamp":1725414332626},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/empdp.2004.1271438","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"134-141","source":"Crossref","is-referenced-by-count":3,"title":["Workflow principles applied to multi-solution analysis of dependable distributed systems"],"prefix":"10.1109","author":[{"given":"F.","family":"Moscato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Mazzocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011)","year":"1999","key":"15"},{"journal-title":"Workflow Management Coalition Interface 1 - Workflow Process Definition Interchange - XML Process Definition Language (XPDL) (WFMC-TC-1025)","year":"2002","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/CACSD.2000.900199","article-title":"Devs as a common denominator for multi-formalism hybrid systems modelling","author":"vangheluwe","year":"2000","journal-title":"Proc IEEE International Symposium on Computer-Aided Control System Design"},{"key":"14","first-page":"9","article-title":"An introduction to multi-paradigm modelling and simulation","author":"vangheluwe","year":"2002","journal-title":"Proc AI Simulation and Planning in High Autonomy Systems"},{"journal-title":"Performance and Reliability Analysis of Computer Systems An Example-Based Approach Using the SHARPE Software Package","year":"1995","author":"sahner","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"3","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":"de lara","year":"2002","journal-title":"Proc of the European Joint Conference on Theory And Practice of Software (ETAPS) Fundamental Approaches to Software Engineering (FASE) LNCS"},{"key":"2","first-page":"29","article-title":"Smart: Stochastic model analyzer for reliability and timing","author":"ciardo","year":"2001","journal-title":"International Multiconference on Measurement Modelling and evaluation of computer-communication systems"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(95)00008-L"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2001.973958"},{"key":"7","first-page":"233","article-title":"Framework for graph-based formalisms","author":"gribaudo","year":"2000","journal-title":"Proc of the First International Conference on Software Engineering Applied to Networking and Parallel Distributed Computing"},{"key":"6","first-page":"233","article-title":"Drawnet++: Model objects to support performance analysis and simulation of complex systems","author":"franceschinis","year":"2002","journal-title":"Proc Performance Tools 98"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2000.900191"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041052"},{"journal-title":"Realizzazione e Validazione di un Sistema Remote per il Controllo di una Cella Robotizzata (in Italian)","year":"2002","author":"moscato","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2000.900192"}],"event":{"name":"12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2004. Proceedings.","start":{"date-parts":[[2004,2,13]]},"location":"Coruna, Spain","end":{"date-parts":[[2004,2,13]]}},"container-title":["12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8971\/28471\/01271438.pdf?arnumber=1271438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:56:21Z","timestamp":1497599781000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1271438\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/empdp.2004.1271438","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}