{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:35:09Z","timestamp":1784241309085,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662583807","type":"print"},{"value":"9783662583814","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-58381-4_8","type":"book-chapter","created":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T14:48:09Z","timestamp":1542725289000},"page":"158-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems"],"prefix":"10.1007","author":[{"given":"Rui","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hein","family":"Meling","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,11,21]]},"reference":[{"key":"8_CR1","unstructured":"Apache Software Foundation. Apache Cassandra. http:\/\/cassandra.apache.org"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/200836.200869","volume":"42","author":"H Attiya","year":"1995","unstructured":"Attiya, H., Bar-Noy, A., Dolev, D.: Sharing memory robustly in message-passing systems. J. ACM 42(1), 124\u2013142 (1995)","journal-title":"J. ACM"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Chandra, T.D., Griesemer, R., Redstone, J.: Paxos made live: an engineering perspective. In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, pp. 398\u2013407. ACM (2007)","DOI":"10.1145\/1281100.1281103"},{"key":"8_CR4","unstructured":"CPN Tools. CPN Tools. http:\/\/www.cpntools.org"},{"key":"8_CR5","unstructured":"CPN Testing Model for Gorum-based Distributed Storage, July 2018. http:\/\/home.hib.no\/ansatte\/lmkr\/DistributedStorage.xml"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10009-014-0354-x","volume":"18","author":"JP Faria","year":"2016","unstructured":"Faria, J.P., Paiva, A.C.R.: A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transfer 18(3), 285\u2013304 (2016)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Farooq, U., Lam, C.P., Li, H.: Towards automated test sequence generation. In: Australian Conference on Software Engineering (ASWEC 2008), pp. 441\u2013450 (2008)","DOI":"10.1109\/ASWEC.2008.4483233"},{"key":"8_CR8","unstructured":"Google Inc. gRPC Remote Procedure Calls. http:\/\/www.grpc.io"},{"key":"8_CR9","unstructured":"Google Inc., Protocol Buffers. http:\/\/developers.google.com\/protocol-buffers"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-319-57861-3_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"X Huang","year":"2017","unstructured":"Huang, X., Wang, J., Qiao, J., Zheng, L., Zhang, J., Wong, R.K.: Performance and replica consistency simulation for quorum-based NoSQL system cassandra. In: van der Aalst, W., Best, E. (eds.) PETRI NETS 2017. LNCS, vol. 10258, pp. 78\u201398. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57861-3_6"},{"issue":"6","key":"8_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2663340","volume":"58","author":"K Jensen","year":"2015","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri nets: a graphical language for modelling and validation of concurrent systems. Commun. ACM 58(6), 61\u201370 (2015)","journal-title":"Commun. ACM"},{"key":"8_CR12","unstructured":"Jepsen. Distributed Systems Safety Analysis. http:\/\/jepsen.io"},{"key":"8_CR13","doi-asserted-by":"publisher","DOI":"10.1201\/9781315204970","volume-title":"The Craft of Model-Based Testing","author":"P Jorgensen","year":"2017","unstructured":"Jorgensen, P.: The Craft of Model-Based Testing. CRC Press, Boca Raton (2017)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-38143-0_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VII","author":"LM Kristensen","year":"2013","unstructured":"Kristensen, L.M., Simonsen, K.I.F.: Applications of coloured Petri nets for functional validation of protocol designs. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 56\u2013115. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38143-0_3"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-39086-4_10","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"LM Kristensen","year":"2016","unstructured":"Kristensen, L.M., Veiset, V.: Transforming CPN models into code for TinyOS: a case study of the RPL protocol. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 135\u2013154. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_10"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L Lamport","year":"1998","unstructured":"Lamport, L.: The Part-time parliament. ACM Trans. Comput. Syst. 16(2), 133\u2013169 (1998)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Lea, T.E., Jehl, L., Meling, H.: Towards new abstractions for implementing quorum-based systems. In: Proceedings of 37th IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 2380\u20132385 (2017)","DOI":"10.1109\/ICDCS.2017.166"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Liu, J., Ye, X., Li, J.: Colored Petri nets model based conformance test generation. In: IEEE Symposium on Computers and Communications (ISCC), pp. 967\u2013970. IEEE (2011)","DOI":"10.1109\/ISCC.2011.5983967"},{"key":"8_CR19","unstructured":"MBT\/CPN. Repository, July 2018. https:\/\/github.com\/selabhvl\/mbtcpn.git"},{"key":"8_CR20","unstructured":"Saifan, A., Dingel, J.: Model-based testing of distributed systems. Technical report 548, School of Computing, Queen\u2019s University, Canada (2008)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Scheffel, T., Schmitz, M.: Three-valued asynchronous distributed runtime verification. In: Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 52\u201361. IEEE (2014)","DOI":"10.1109\/MEMCOD.2014.6961843"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1093\/logcom\/exn078","volume":"20","author":"V Stolz","year":"2010","unstructured":"Stolz, V.: Temporal assertions with parametrized propositions. J. Logic Comput. 20(3), 743\u2013757 (2010)","journal-title":"J. Logic Comput."},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22, 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"8_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02007-0","volume-title":"Quorum Systems: With Applications to Storage and Consensus","author":"M Vukolic","year":"2012","unstructured":"Vukolic, M.: Quorum Systems: With Applications to Storage and Consensus. Morgan and Claypool, San Rafael (2012)"},{"key":"8_CR25","unstructured":"Wang, R., Kristensen, L.M., Meling, H., Stolz, V.: Application of model-based testing on a quorum-based distributed storage. In: Proceedings of PNSE 2017. CEUR Workshop Proceedings, vol. 1846, pp. 177\u2013196 (2017)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Watanabe, H., Kudoh, T.: Test suite generation methods for concurrent systems based on coloured Petri nets. In: Software Engineering Conference, pp. 242\u2013251. IEEE (1995)","DOI":"10.1109\/APSEC.1995.496973"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Wu, D., Schnieder, E., Krause, J.: Model-based test generation techniques verifying the on-board module of a satellite-based train control system model. In: 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings, pp. 274\u2013279, August 2013","DOI":"10.1109\/ICIRT.2013.6696307"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-21834-7_17","volume-title":"Applications and Theory of Petri Nets","author":"D Xu","year":"2011","unstructured":"Xu, D.: A tool for automated test code generation from high-level Petri nets. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 308\u2013317. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21834-7_17"},{"issue":"6","key":"8_CR29","doi-asserted-by":"publisher","first-page":"2551","DOI":"10.1109\/TITS.2014.2320552","volume":"15","author":"W Zheng","year":"2014","unstructured":"Zheng, W., Liang, C., Wang, R., Kong, W.: Automated test approach based on all paths covered optimal algorithm and sequence priority selected algorithm. IEEE Trans. Intell. Transp. Syst. 15(6), 2551\u20132560 (2014)","journal-title":"IEEE Trans. Intell. Transp. Syst."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-58381-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T15:54:13Z","timestamp":1662479653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-58381-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662583807","9783662583814"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-58381-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}