{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:18:26Z","timestamp":1742944706802,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034282"},{"type":"electronic","value":"9783642034299"}],"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-03429-9_3","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T08:12:52Z","timestamp":1251447172000},"page":"21-36","source":"Crossref","is-referenced-by-count":4,"title":["Service-Level Agreements for Service-Oriented Computing"],"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":"3_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":"3_CR2","unstructured":"De Nicola, R., Katoen, J.P., Latella, D., Massink, M.: STOKLAIM: A stochastic extension of KLAIM. Technical Report ISTI-2006-TR-01, Consiglio Nazionale delle Ricerche (2006)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Performance Evaluations. Modelling Techniques and Tools","author":"T.P. Ayles","year":"2003","unstructured":"Ayles, T.P., Field, A.J., Magee, J., Bennett, A.: Adding Performance Evaluation to the LTSA Tool. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol.\u00a02794. Springer, Heidelberg (2003)"},{"key":"3_CR4","first-page":"55","volume-title":"Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)","author":"A. Clark","year":"2007","unstructured":"Clark, A.: The ipclib PEPA Library. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), September 2007, pp. 55\u201356. IEEE, Los Alamitos (2007)"},{"key":"3_CR5","first-page":"53","volume-title":"Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)","author":"M. Tribastone","year":"2007","unstructured":"Tribastone, M.: The PEPA Plug-in Project. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), September 2007, pp. 53\u201354. IEEE, Los Alamitos (2007)"},{"key":"3_CR6","volume-title":"Concurrency: State Models and Java Programming","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programming, 2nd edn. Wiley, Chichester (2006)","edition":"2"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/3-540-44804-7_8","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"J. Hillston","year":"2001","unstructured":"Hillston, J., Kloul, L.: An efficient Kronecker representation for PEPA models. In: de Alfaro, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 120\u2013135. Springer, Heidelberg (2001)"},{"issue":"2\u20134","key":"3_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1002\/cpe.938","volume":"17","author":"D. Thain","year":"2005","unstructured":"Thain, D., Tannenbaum, T., Livny, M.: Distributed computing in practice: the Condor experience. Concurrency \u2013 Practice and Experience\u00a017(2\u20134), 323\u2013356 (2005)","journal-title":"Concurrency \u2013 Practice and Experience"},{"key":"3_CR9","unstructured":"Knottenbelt, W.: Performance Analysis of Large Markov Models. PhD. thesis, Imperial College of Science, Technology and Medicine, London, UK (February 2000)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0305-0548(77)90007-7","volume":"4","author":"W. Grassmann","year":"1977","unstructured":"Grassmann, W.: Transient solutions in Markovian queueing systems. Computers and Operations Research\u00a04, 47\u201353 (1977)","journal-title":"Computers and Operations Research"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., Miller, D.: The randomization technique as a modelling tool and solution procedure for transient Markov processes. Operations Research\u00a032, 343\u2013361 (1984)","journal-title":"Operations Research"},{"key":"3_CR12","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., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 214\u2013226. Springer, Heidelberg (2006)"},{"key":"3_CR13","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)"},{"key":"3_CR14","unstructured":"SRMC Team: Sensoria Reference Markovian Calculus Web Site and Software (October 2008), \n                    \n                      http:\/\/groups.inf.ed.ac.uk\/srmc"},{"key":"3_CR15","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. Bradley","year":"2003","unstructured":"Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: 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, pp. 344\u2013351. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"3_CR16","unstructured":"Dingle, N., Harrison, P., Knottenbelt, W.: HYDRA: HYpergraph-based Distributed Response-time Analyser. In: Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003), Las Vegas, Nevada, USA, June 2003, pp. 215\u2013219 (2003)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/cpe.546","volume":"13","author":"J. Hillston","year":"2001","unstructured":"Hillston, J., Kloul, L.: Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience\u00a013, 23\u201341 (2001)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"3_CR18","unstructured":"Hillston, J., Kloul, L., Mokhtari, A.: Active nodes performance analysis using PEPA. In: Jarvis, S. (ed.) Proceedings of the Nineteenth annual UK Performance Engineering Workshop, July 2003, pp. 244\u2013256. University of Warwick (2003)"},{"issue":"4","key":"3_CR19","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.entcs.2005.01.016","volume":"128","author":"M. Buchholtz","year":"2005","unstructured":"Buchholtz, M., Gilmore, S., Hillston, J., Nielson, F.: Securing statically-verified communications protocols against timing attacks. Electr. Notes Theor. Comput. Sci.\u00a0128(4), 123\u2013143 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Holton, D.: A PEPA specification of an industrial production cell. In: Gilmore, S., Hillston, J. (eds.) Proceedings of the Third International Workshop on Process Algebras and Performance Modelling, Special Issue of The Computer Journal\u00a038(7), 542\u2013551 (1995)","DOI":"10.1093\/comjnl\/38.7.542"},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1080\/00207549608904950","volume":"34","author":"S. Gilmore","year":"1996","unstructured":"Gilmore, S., Hillston, J., Holton, D., Rettelbach, M.: Specifications in stochastic process algebra for a robot control problem. International Journal of Production Research\u00a034(4), 1065\u20131080 (1996)","journal-title":"International Journal of Production Research"},{"key":"#cr-split#-3_CR22.1","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Diagnosis and diagnosability analysis using PEPA. In: Proc. of 14th European Conference on Artificial Intelligence, Berlin (August 2000);"},{"key":"#cr-split#-3_CR22.2","unstructured":"A longer version appeared in the Proc. of 11th Int. Workshop on Principles of Diagnosis (DX 2000), Morelia, Mexico (June 2000)"},{"key":"3_CR23","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":"3_CR24","series-title":"Communications in Computer and Information Science (CCIS)","volume-title":"Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)","author":"A. Argent-Katwala","year":"2008","unstructured":"Argent-Katwala, A., Clark, A., Foster, H., Gilmore, S., Mayer, P., Tribastone, M.: Safety and response-time analysis of an automotive accident assistance service. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), Porto Sani, October 2008. Communications in Computer and Information Science (CCIS), vol.\u00a017. Springer, Heidelberg (2008)"},{"key":"3_CR25","first-page":"161","volume-title":"Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)","author":"T. Courtney","year":"2007","unstructured":"Courtney, T., Gaonkar, S., McQuinn, M., Rozier, E., Sanders, W., Webster, P.: Design of Experiments within the M\u00f6bius Modeling Environment. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pp. 161\u2013162. IEEE, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03429-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T09:55:55Z","timestamp":1552125355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03429-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034282","9783642034299"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03429-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}