{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:42:37Z","timestamp":1743104557076,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019173"},{"type":"electronic","value":"9783642019180"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01918-0_8","type":"book-chapter","created":{"date-parts":[[2009,5,21]],"date-time":"2009-05-21T06:29:47Z","timestamp":1242887387000},"page":"296-339","source":"Crossref","is-referenced-by-count":5,"title":["Quantitative Analysis of Web Services Using SRMC"],"prefix":"10.1007","author":[{"given":"Allan","family":"Clark","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"8_CR2","first-page":"33","volume-title":"Proceedings of the Second International Conference on the Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005, pp. 33\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"doi-asserted-by":"crossref","unstructured":"Clark, A., Gilmore, S., Tribastone, M.: Service-level agreements for service-oriented computing. In: Proceedings of the 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy (June 2008) (to appear)","key":"8_CR3","DOI":"10.1007\/978-3-642-03429-9_3"},{"doi-asserted-by":"crossref","unstructured":"Clark, A., Gilmore, S., Tribastone, M.: Scalable analysis of scalable systems. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2009), New York, England (March 2009) (to appear)","key":"8_CR4","DOI":"10.1007\/978-3-642-00593-0_1"},{"unstructured":"OASIS Web Services Business Process Execution Language (WSBPEL) Technical Commitee. Web Services Business Process Execution Language Version 2.0 (April 2007)","key":"8_CR5"},{"issue":"5","key":"8_CR6","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/32.922715","volume":"27","author":"S. Gilmore","year":"2001","unstructured":"Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering\u00a027(5), 449\u2013464 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Clark, A.: The ipclib PEPA Library. In: QEST [35], pp. 55\u201356","key":"8_CR7","DOI":"10.1109\/QEST.2007.20"},{"doi-asserted-by":"crossref","unstructured":"Tribastone, M.: The PEPA Plug-in Project. In: QEST [35], pp. 53\u201354","key":"8_CR8","DOI":"10.1109\/QEST.2007.34"},{"unstructured":"OASIS UDDI Specifications Technical Committee. Universal Description Discovery and Integration (UDDI), http:\/\/www.oasis-open.org\/committees\/uddi-spec\/doc\/tcspecs.htm","key":"8_CR9"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-540-87412-6_10","volume-title":"Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008)","author":"A. Clark","year":"2008","unstructured":"Clark, A., Gilmore, S.: State-aware performance analysis with eXtended Stochastic Probes. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol.\u00a05261, pp. 125\u2013140. Springer, Heidelberg (2008)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-87412-6_2","volume-title":"Computer Performance Engineering","author":"A. Clark","year":"2008","unstructured":"Clark, A., Duguid, A., Gilmore, S., Tribastone, M.: Partial evaluation of PEPA models for fluid-flow analysis. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol.\u00a05261, pp. 2\u201316. Springer, Heidelberg (2008)"},{"key":"8_CR12","first-page":"344","volume-title":"Proceedings of the 11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems","author":"J.T. Bradley","year":"2003","unstructured":"Bradley, J.T., Dingle, N.J., Gilmore, S.T., Knottenbelt, W.J.: Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In: Kotsis, G. (ed.) Proceedings of the 11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida, October 2003, pp. 344\u2013351. IEEE Computer Society Press, Los Alamitos (2003)"},{"unstructured":"Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: Extracting passage times from PEPA models with the HYDRA tool: A case study. In: Jarvis, S. (ed.) Proceedings of the Nineteenth annual UK Performance Engineering Workshop, July 2003, pp. 79\u201390. University of Warwick (2003)","key":"8_CR13"},{"unstructured":"Clark, A., Gilmore, S.: Evaluating quality of service for service level agreements. In: Brim, L., Leucker, M. (eds.) Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems, Bonn, Germany, August 2006, pp. 172\u2013185 (2006)","key":"8_CR14"},{"unstructured":"Heimsund, B.-O.: MTJ: Matrix Toolkit for Java, http:\/\/ressim.berlios.de\/","key":"8_CR15"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2006.03.009","volume":"151","author":"J. Bradley","year":"2006","unstructured":"Bradley, J., Gilmore, S.: Stochastic simulation methods applied to a secure electronic voting model. Electr. Notes Theor. Comput. Sci.\u00a0151(3), 5\u201325 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"25","key":"8_CR17","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. Journal of Physical Chemistry\u00a0104, 1876\u20131889 (2000)","journal-title":"Journal of Physical Chemistry"},{"unstructured":"CompBio Group, Institute for Systems Biology. ISBJava, http:\/\/magnet.systemsbiology.net\/software\/ISBJava\/","key":"8_CR19"},{"key":"8_CR20","first-page":"33","volume-title":"Proceedings of the Second International Conference on the Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005, pp. 33\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"unstructured":"odeToJava library, http:\/\/www.netlib.org\/ode\/odeToJava.tgz","key":"8_CR21"},{"unstructured":"Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: HYDRA: HYpergraph-Based Distributed Response-Time Analyzer. In: Arabnia, H.R., Mun, Y. (eds.) PDPTA, pp. 215\u2013219. CSREA Press (2003)","key":"8_CR22"},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/comjnl\/bxh097","volume":"48","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Tuning systems: From composition to performance. The Computer Journal\u00a048(4), 385\u2013400 (2005); The Needham Lecture paper","journal-title":"The Computer Journal"},{"key":"8_CR24","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/LICS.2005.35","volume-title":"Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Process algebras for quantitative analysis. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), Chicago, June 2005, pp. 239\u2013248. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"2","key":"8_CR25","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0166-5316(03)00069-5","volume":"54","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Hillston, J., Ribaudo, M., Kloul, L.: PEPA nets: A structured performance modelling formalism. Performance Evaluation\u00a054(2), 79\u2013104 (2003)","journal-title":"Performance Evaluation"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/978-3-540-30182-0_52","volume-title":"Computer and Information Sciences - ISCIS 2004","author":"J. Hillston","year":"2004","unstructured":"Hillston, J., Ribaudo, M.: Modelling mobility with PEPA nets. In: Aykanat, C., Dayar, T., K\u00f6rpeo\u011flu, \u0130. (eds.) ISCIS 2004. LNCS, vol.\u00a03280, pp. 513\u2013522. Springer, Heidelberg (2004)"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/974044.974047","volume-title":"Proceedings of the Fourth International Workshop on Software and Performance","author":"S. Gilmore","year":"2004","unstructured":"Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software performance modelling using PEPA nets. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA, January 2004, pp. 13\u201324. ACM Press, New York (2004)"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-40042-4_8","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Brodo","year":"2003","unstructured":"Brodo, L., Degano, P., Gilmore, S., Hillston, J., Priami, C.: Performance evaluation for global computation. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 229\u2013253. Springer, Heidelberg (2003)"},{"unstructured":"Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Plotkin, G. (ed.) Proceedings of Computational Methods in Systems Biology (CMSB 2005), Edinburgh, Scotland, April 2005, pp. 204\u2013215 (2005)","key":"8_CR29"},{"issue":"1-2","key":"8_CR30","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.tcs.2008.04.012","volume":"404","author":"N. Geisweiller","year":"2008","unstructured":"Geisweiller, N., Hillston, J., Stenico, M.: Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci.\u00a0404(1-2), 97\u2013111 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-69814-2_5","volume-title":"Performance Evaluation: Metrics, Models and Benchmarks","author":"Y. Zhao","year":"2008","unstructured":"Zhao, Y., Thomas, N.: Approximate solution of a PEPA model of a key distribution centre. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol.\u00a05119, pp. 44\u201357. Springer, Heidelberg (2008)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11867340_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. Duguid","year":"2006","unstructured":"Duguid, A.: Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 156\u2013170. Springer, Heidelberg (2006)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11841197_14","volume-title":"Web Services and Formal Methods","author":"S. Gilmore","year":"2006","unstructured":"Gilmore, S., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., N\u00fa\u00f1ez, M.T., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 214\u2013226. Springer, Heidelberg (2006)"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-540-78663-4_15","volume-title":"Trustworthy Global Computing","author":"M. Bravetti","year":"2008","unstructured":"Bravetti, M., Gilmore, S., Guidi, C., Tribastone, M.: Replicating web services for scalability. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol.\u00a04912, pp. 204\u2013221. Springer, Heidelberg (2008)"},{"unstructured":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), Edinburgh, Scotland, UK, September 2007. IEEE Computer Society, Los Alamitos (2007)","key":"8_CR35"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Web Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01918-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T07:47:09Z","timestamp":1685000829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01918-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019173","9783642019180"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01918-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}