{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:58:45Z","timestamp":1725746325895},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407925"},{"type":"electronic","value":"9783642407932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40793-2_25","type":"book-chapter","created":{"date-parts":[[2013,8,26]],"date-time":"2013-08-26T22:10:59Z","timestamp":1377555059000},"page":"277-284","source":"Crossref","is-referenced-by-count":9,"title":["OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Ermeson C.","family":"Andrade","sequence":"first","affiliation":[]},{"given":"Marcelo","family":"Alves","sequence":"additional","affiliation":[]},{"given":"Rubens","family":"Matos","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Rugina, A.-E., Kanoun, K., Ka\u00e2niche, M.: The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. In: EDCC (2008)","DOI":"10.1109\/EDCC-7.2008.14"},{"key":"25_CR2","unstructured":"Team, A.: The ArgoUML Tool (2013), \n                    \n                      http:\/\/argouml.tigris.org\/"},{"key":"25_CR3","unstructured":"Zimmermann, A., Knoke, M., Huck, A., Hommel, G.: Towards Version 4.0 of TimeNET. In: MMB,, pp. 1\u20134 (2006)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Silva, B., Callou, G., Tavares, E., Maciel, P., et al.: Astro: An Integrated Environment for Dependability and Sustainability Evaluation. In: Sustainable Computing: Informatics and Systems (2012)","DOI":"10.1016\/j.suscom.2012.10.004"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987","author":"M. Marsan","year":"1987","unstructured":"Marsan, M., Chiola, G.: On Petri Nets with Deterministic and Exponentially Distributed Firing Times. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 132\u2013145. Springer, Heidelberg (1987)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/11767589_23","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"E. G\u00f3mez-Mart\u00ednez","year":"2006","unstructured":"G\u00f3mez-Mart\u00ednez, E., Merseguer, J.: ArgoSPE: Model-Based Software Performance Engineering. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 401\u2013410. Springer, Heidelberg (2006)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Andrade, E., Machida, F., et al.: Modeling and Analyzing Server System with Rejuvenation Through SysML and Stochastic Reward Nets. In: ARES (2011)","DOI":"10.1109\/ARES.2011.28"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Andrade, E., Alves, M., Maciel, P.: OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems (2013), \n                    \n                      http:\/\/code.google.com\/p\/openmads\/","DOI":"10.1007\/978-3-642-40793-2_25"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Machida, F., Andrade, E., et al.: Candy: Component-Based Availability Modeling Framework for Cloud Service Management Using SysML. In: SRDS (2011)","DOI":"10.1109\/SRDS.2011.33"},{"key":"25_CR10","unstructured":"Ciardo, G., Muppala, J., Trivedi, K.: SPNP: Stochastic Petri Net Package. In: Proceedings of the Third International Workshop, PNPM, pp. 142\u2013151 (1989)"},{"key":"25_CR11","unstructured":"InterCAX, Paramagic - SysML Parametric Solver for MagicDraw (2013), \n                    \n                      http:\/\/www.intercax.com\/sysml"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Amorim, L., Maciel, P., Nogueira, M., Barreto, R., Tavares, E.: Mapping Live Sequence Chart to Coloured Petri Nets for Analysis and Verification of Embedded Systems. ACM SIGSOFT Software Engineering Notes\u00a031 (2006)","DOI":"10.1145\/1127878.1127880"},{"key":"25_CR13","unstructured":"Hause, M., et al.: The SysML Modelling Language. In: Fifteenth European Systems Engineering Conference, vol.\u00a09 (2006)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Faugere, M., et al.: Marte: Also an UML Profile for Modeling AADL Applications. In: ICECCS (2007)","DOI":"10.1109\/ICECCS.2007.29"},{"key":"25_CR15","unstructured":"Hause, M., Gloucestershire, C., Hn, G.: Artisan Software Tools (2013), \n                    \n                      http:\/\/www.atego.com\/products\/artisan-studio\/"},{"key":"25_CR16","unstructured":"G\u00e9rard, S.: Papyrus UML (2013), \n                    \n                      http:\/\/www.papyrusuml.org"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Yin, X., Javier, A., Machida, F., Andrade, E., Trivedi, K.: Availability Modeling and Analysis for Data Backup and Restore Operations. In: SRDS (2012)","DOI":"10.1109\/SRDS.2012.9"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40793-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T19:24:06Z","timestamp":1558034646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40793-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407925","9783642407932"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40793-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}