{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:06:02Z","timestamp":1725487562370},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421450"},{"type":"electronic","value":"9783540451563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45156-0_19","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:47:08Z","timestamp":1184600828000},"page":"300-316","source":"Crossref","is-referenced-by-count":1,"title":["Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Juiz","sequence":"first","affiliation":[]},{"given":"Ramon","family":"Puigjaner","sequence":"additional","affiliation":[]},{"given":"Ken","family":"Jackson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,16]]},"reference":[{"key":"19_CR1","unstructured":"Bate, G.: Mascot 3 an Informal Introductory Tutorial. Software Engineering Journal, May (1986) 95\u2013102"},{"key":"19_CR2","volume-title":"Advances in Computer Science","author":"F. Bause","year":"1996","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets. An Introduction to the Theory. Advances in Computer Science, Verlag Vieweg, Wiesbaden, Germany (1996)"},{"key":"19_CR3","volume-title":"Modeling and Performance Evaluation with Computer Science Applications","author":"G. Bolch","year":"1998","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains. Modeling and Performance Evaluation with Computer Science Applications. John Wiley & Sons, New York (1998)"},{"key":"19_CR4","volume-title":"A Unified Theory Based on Decomposition and Aggregation","author":"A.E. Conway","year":"1989","unstructured":"Conway, A.E., Georganas, N.D.: Queueing Networks-Exact Computational Algorithms. In: Schwetman, H. (ed.): A Unified Theory Based on Decomposition and Aggregation. Computer Systems, MIT Press, Cambridge, Massachusetts (1989)"},{"key":"19_CR5","unstructured":"Cooling, J.E.: Real-Time Software Systems. An Introduction to Structured and Object-oriented Design. International Thomson Computer Press (1997)"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/26.48888","volume":"38","author":"S. Fdida","year":"1990","unstructured":"Fdida, S., Perros, H.G., Wilk, A.: Semaphore Queues: Modeling Multilayered Window Flow Control Mechanisms. IEEE Transactions on Communications, March, 38(1990)3, 309\u2013317","journal-title":"IEEE Transactions on Communications"},{"key":"19_CR7","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, Massachusetts (1993)"},{"key":"19_CR8","volume-title":"International Computer Science Series","author":"P.G. Harrison","year":"1993","unstructured":"Harrison, P.G., Patel, N.M.: Performance Modelling of Communication Networks and Computer Architectures. McGettrick, A.D. (ed.): International Computer Science Series. Addison-Wesley, Wokingham, England (1993)"},{"key":"19_CR9","volume-title":"A Model-Based Approach","author":"B.R. Haverkort","year":"1998","unstructured":"Haverkort, B.R.: Performance of Computer Communication Systems. A Model-Based Approach. John Wiley & Sons, Chichester, England (1998)"},{"key":"19_CR10","unstructured":"Jackson, K.: Language Design for Modular Software Construction. IFIP Congress Proceedings (1977) 577\u2013581"},{"key":"19_CR11","unstructured":"Jackson, K., Llamos\u00ed, A., Puigjaner, R.: A Comparison between Two Methods for Large Real-Time Systems Design. Complement Project Document UIB67-1.0, November (1993)"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/RTCSA.1995.528768","volume-title":"Proceedings of the Second International Workshop on Real-Time Computing Systems and Applications","author":"C. Juiz","year":"1995","unstructured":"Juiz, C., Puigjaner, R.: Improved Performance Model of a Real Time Software Element: The Producer-Consumer. Proceedings of the Second International Workshop on Real-Time Computing Systems and Applications, Tokyo, Japan, IEEE Computer Society Press, October (1995) 174\u2013178"},{"key":"19_CR13","first-page":"101","volume-title":"Proceedings of the Conference on Communication Networks and Distributed Systems Modeling and Simulation","author":"C. Juiz","year":"1998","unstructured":"Juiz, C., Puigjaner, R.: Performance Modeling of Data Transfer Channels in Soft Real-Time Systems. In: Ni, L., Znati, T.F. (eds.): Proceedings of the Conference on Communication Networks and Distributed Systems Modeling and Simulation. San Diego, CA, USA, Society for Computing Simulation, January (1998) 101\u2013106"},{"key":"19_CR14","first-page":"69","volume-title":"Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems","author":"C. Juiz","year":"1998","unstructured":"Juiz, C., Puigjaner, R., Jackson, K.: Performance Evaluation of Channels for Large Real-Time Software Systems. Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems, Jerusalem, Israel, IEEE Computer Society Press, March (1998) 69\u201376"},{"key":"19_CR15","first-page":"152","volume-title":"Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems","author":"C. Juiz","year":"1999","unstructured":"Juiz, C., Puigjaner, R.: Performance Analysis of Multiclass Data Transfer Elements in Soft Real-Time Systems. Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, U.S.A., IEEE Computer Society Press, March (1999) 152\u2013158"},{"key":"19_CR16","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. CRC Press, Boca Rat\u00f3n, Florida (2000) 275\u2013289"},{"key":"19_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/3-540-46429-8_5","volume-title":"TOOLS 2000","author":"C. Juiz","year":"2000","unstructured":"Juiz, C.; Puigjaner, R.: Queueing Analysis of Pools in Soft Real-Time Systems. In: Haverkort, B.R. et al. (eds.): TOOLS 2000. LNCS, No 1786, Springer-Verlag, Berlin Heidelberg (2000) 56\u201370"},{"key":"19_CR18","volume-title":"Wiley Series in Software Based Systems","author":"Y. Pyle","year":"1993","unstructured":"Pyle, Y., Hruschka, P., Lissandre, M., Jackson, K.: Real-time Systems, Investigating Industrial Practice. In: Tully C., Pyle I. (eds.): Wiley Series in Software Based Systems. John Wiley & Sons, Chichester, England (1993)"},{"key":"19_CR19","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, New Jersey (1981)"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Simpson, H.R.: The Mascot method, Software Engineering Journal, May (1986) 103\u2013120","DOI":"10.1049\/sej.1986.0018"},{"key":"19_CR21","volume-title":"Proc. in Computing Techniques in Guided Flight","author":"H.R. Simpson","year":"1990","unstructured":"Simpson, H.R.: A Data Interaction Architecture (DIA) for Real Time Embedded Multi Processor Systems. Proc. in Computing Techniques in Guided Flight, Royal Aeronautical Society, Boscombe Down, U.K. (1990)"},{"key":"19_CR22","unstructured":"Simpson, H.R.: Real Time Networks in Configurable Distributed Systems. Proc. Int. Workshop on Configurable Distributed Systems, London, U.K. (1992)"},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1109\/ECBS.1997.581893","volume-title":"Proc. Int. Conf. and Workshop on Engineering of Computer-Based Systems","author":"H.R. Simpson","year":"1997","unstructured":"Simpson, H.R.: Layered Architecture(s): Principles and Practice in Concurrent and Distributed Systems. Proc. Int. Conf. and Workshop on Engineering of Computer-Based Systems, Monterey, CA, U.S.A, IEEE Computer Society Press (1997) 312\u2013320"},{"key":"19_CR24","unstructured":"Simpson, H.R.: Real-time Network Architecture. Proc. World Conf. on Integrated Design and Process Technology, Berlin, Germany (1998)"}],"container-title":["Lecture Notes in Computer Science","Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45156-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:58:42Z","timestamp":1550451522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45156-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421450","9783540451563"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45156-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}