{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:48:43Z","timestamp":1743054523935,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_21","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"278-292","source":"Crossref","is-referenced-by-count":3,"title":["Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation"],"prefix":"10.1007","author":[{"given":"Pere P.","family":"Sancho","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Juiz","sequence":"additional","affiliation":[]},{"given":"Ramon","family":"Puigjaner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"Probability, Statistics and Queueing Theory with Computer Science Applications","author":"A.O. Allen","year":"1990","unstructured":"Allen, A.O.: Probability, Statistics and Queueing Theory with Computer Science Applications, 2nd edn. Academic Press, London (1990)","edition":"2"},{"key":"21_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-18821-5","volume-title":"Introduction to Real-time Software Design","author":"S.T. Allworth","year":"1987","unstructured":"Allworth, S.T., Zobel, R.N.: Introduction to Real-time Software Design. Macmillan Education, Basingstoke (1987)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Bate, G.: Mascot 3 an Informal Introductory Tutorial. Software Engineering Journal, 95\u2013102 (May 1986)","DOI":"10.1049\/sej.1986.0017"},{"key":"21_CR4","unstructured":"Cooling, J.E.: Real-Time Software Systems. In: An Introduction to Structured and Object-oriented Design, International Thomson Computer Press (1997)"},{"key":"21_CR5","first-page":"13","volume-title":"Proceedings of WOSP 2004","author":"S. Gilmore","year":"2004","unstructured":"Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software Performance Modeling using PEPA Nets. In: Proceedings of WOSP 2004, pp. 13\u201323. ACM press, New York (2004)"},{"key":"21_CR6","volume-title":"The SEI Series in Software Engineering","author":"H. Gomaa","year":"1993","unstructured":"Gomaa, H.: Software Design Methods for Concurrent and Real-time Systems. In: Habermann, N. (ed.) The SEI Series in Software Engineering, Addison-Wesley, Reading (1993)"},{"key":"21_CR7","unstructured":"Harding, M.D.: MASCOT DESIGN GENERATOR (MADGE) v.6.0. Release Notification, n. 5096, issue 11 (November 1998)"},{"key":"21_CR8","unstructured":"Harrison, P.G., Patel, N.M.: Performance Modelling of Communication Networks and Computer Architectures. In: McGettrick, A.D. (ed.). International Computer Science Series, Addison-Wesley, Wokingham (1993)"},{"key":"21_CR9","unstructured":"Joint IECCA and MUF Committee. The Official Handbook of MASCOT (1987)"},{"key":"21_CR10","first-page":"275","volume-title":"System Performance Evaluation: Methodologies and Applications","author":"C. Juiz","year":"2000","unstructured":"Juiz, C., Puigjaner, R., Perros, H.G.: Performance Analysis of Multi-Class Data Transfer Elements in Soft Real-Time Systems using Semaphore Queues. In: Gelenbe, E. (ed.) System Performance Evaluation: Methodologies and Applications, pp. 275\u2013289. CRC Press, Boca Rat\u00f3n (2000)"},{"issue":"3,5","key":"21_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0928-4869(01)00053-2","volume":"9","author":"C. Juiz","year":"2002","unstructured":"Juiz, C., Puigjaner, R.: Performance modelling of pools in soft real-time design architectures. Simulation Practice and Theory\u00a09(3,5), 215\u2013240 (2002)","journal-title":"Simulation Practice and Theory"},{"key":"21_CR12","first-page":"69","volume-title":"Proceedings of ECBS 1998","author":"C. Juiz","year":"1998","unstructured":"Juiz, C., Puigjaner, R., Jackson, K.: Performance evaluation of channels for large real-time software systems. In: Proceedings of ECBS 1998, pp. 69\u201376. IEEE Computer Society, Los Alamitos (1998)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-45156-0_19","volume-title":"Performance Engineering","author":"C. Juiz","year":"2001","unstructured":"Juiz, C., Puigjaner, R., Jackson, K.: Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol.\u00a02047, pp. 300\u2013316. Springer, Heidelberg (2001)"},{"key":"21_CR14","volume-title":"Simulation Modelling and Analysis","author":"A.M. Law","year":"2000","unstructured":"Law, A.M., Kelton, D.W.: Simulation Modelling and Analysis, 3rd edn. McGraw-Hill Higher Education, New York (2000)","edition":"3"},{"key":"21_CR15","first-page":"25","volume-title":"Proceedings of WOSP 2004","author":"J.P. Lopez-Grao","year":"2004","unstructured":"Lopez-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams To Stochastic Petri Nets: Application To Software Performance Engineering. In: Proceedings of WOSP 2004, pp. 25\u201336. ACM press, New York (2004)"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1177\/003754978304100401","volume":"41","author":"K. Marse","year":"1983","unstructured":"Marse, K., Roberts, S.D.: Implementing a Portable Fortran Uniform (0,1) Generator. Simulation\u00a041, 135\u2013139 (1983)","journal-title":"Simulation"},{"key":"21_CR17","unstructured":"MBDA web site: http:\/\/www.mbda.net\/"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Munar, O., Juiz, C.: Adapting MASCOT to software performance engineering using object-oriented simulation. In: ASTC, Proceedings of IEEE Computer Society, pp. 281\u2013288 (2003)","DOI":"10.1109\/SIMSYM.2003.1192824"},{"key":"21_CR19","first-page":"83","volume-title":"Proceedings of WOSP 2002","author":"N. Savino","year":"2002","unstructured":"Savino, N., Anciano, J.L., Juiz, C.: Unified System Builder through Interacting Blocks (USBIB) for Soft Real-time Systems. In: Proceedings of WOSP 2002, pp. 83\u201390. ACM Press, New York (2002)"},{"key":"21_CR20","first-page":"290","volume-title":"Proceedings of WOSP 2004","author":"X. Wu","year":"2004","unstructured":"Wu, X., Woodside, M.: Performance Modeling from Software Components. In: Proceedings of WOSP 2004, pp. 290\u2013301. ACM Press, New York (2004)"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Simpson, H.R.: The Mascot method. Software Engineering Journal, 103\u2013120 (May 1986)","DOI":"10.1049\/sej.1986.0018"},{"key":"21_CR22","unstructured":"Simpson, H.R.: Protocols for Process Interaction. 1, 2, 3. Matra BAe Dynamics (2000)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T17:00:47Z","timestamp":1559754047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}