{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:10:07Z","timestamp":1737288607405,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_12","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:47:08Z","timestamp":1184600828000},"page":"185-201","source":"Crossref","is-referenced-by-count":4,"title":["Scenario-Based Performance Evaluation of SDL\/MSC-Specified Systems"],"prefix":"10.1007","author":[{"given":"Lennard","family":"Kerber","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,16]]},"reference":[{"key":"12_CR1","unstructured":"M. Abdalla, F. Khendek, and G. Butler. New results on deriving SDL specifications from MSCs. In Dssouli et al. [10], pages 51\u201366."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"F. Andolfi, F. Aquilani, S. Balsamo, and P. Inverardi. Deriving Performance Models of Software Architectures from Message Sequence Cahrts. In Woodside et al. [31], pages 47\u201357.","DOI":"10.1145\/350391.350404"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"L. Braga, R. Manione, and P. Renditore. A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. In Gotzhein and Bredereke [15], pages 245\u2013260.","DOI":"10.1007\/978-0-387-35079-0_15"},{"key":"12_CR4","unstructured":"O. Bringmann, W. Rosenstiel, A. Muth, G. F\u00e4rber, F. Slomka, and R. Hofmann. Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping. In 10th IEEE International Workshop on Rapid System Prototyping, Clearwater, USA, June 1999."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"M. B\u00fctow, M. Mestern, C. Schapiro, and P.S. Kritzinger. Performance Modelling with the Formal Specification Language SDL. In Gotzhein and Bredereke [15], pages 213\u2013228.","DOI":"10.1007\/978-0-387-35079-0_13"},{"key":"12_CR6","unstructured":"CCITT. Recommendation Z.100: Specification and Description Language SDL, Blue Book. ITU, Geneva, 1992."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"V. Cortelessa and R. Mirandola. Deriving a Queueing Network based Performance Model from UML Diagrams. In Woodside et al. [31], pages 58\u201370.","DOI":"10.1145\/350391.350406"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"M. Diefenbruch, J. Hintelmann, and B. M\u00fcller-Clostermann. The QUEST-Approach for the Performance Evaluation of SDL-Systems. In Gotzhein and Bredereke [15], pages 229\u2013244.","DOI":"10.1007\/978-0-387-35079-0_14"},{"key":"12_CR9","unstructured":"M. D\u00f6rfel, F. Slomka, and R. Hofmann. A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications. In 10th IEEE International Workshop on Rapid System Prototyping, Clearwater, USA, June 1999."},{"key":"12_CR10","volume-title":"Ninth SDL Forum","author":"R. Dssouli","year":"1999","unstructured":"R. Dssouli, G. v. Bochmann, and Y. Lahav, editors. SDL\u201999: The Next Millennium, Montreal, Canada, June 1999. Ninth SDL Forum, Elsevier Science B.V."},{"key":"12_CR11","first-page":"889","volume-title":"ESM96 European Simulation Multiconference","author":"W. Dulz","year":"1996","unstructured":"W. Dulz. A Framework for the Performance Evaluation of SDL\/MSC-specified Systems. In A. Javor, A. Lehmann, and I. Molnar, editors, ESM96 European Simulation Multiconference, pages 889\u2013893, Budapest, Hungary, June 1996. Society for Computer Simulation International."},{"key":"12_CR12","unstructured":"W. Dulz, S. Gruhl, L. Kerber, and M. S\u00f6llner. Early Performance Prediction of SDL\/MSC-specified Systems by Automated Synthetic Code Generation. In Dssouli et al. [10], pages 457\u2013471."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/PDSE.1998.668171","volume-title":"Proc. of Int. Symp. on Software Engineering for Parallel and Distributed Systems","author":"H. El-Sayed","year":"1998","unstructured":"H. El-Sayed, D. Cameron, and M. Woodside. Automated performance modeling from scenarios and sdl designs of distributed systems. In Proc. of Int. Symp. on Software Engineering for Parallel and Distributed Systems, pages 127\u2013135, Kyoto, Japan, April 1998. IEEE Press."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/B978-044482816-3\/50021-6","volume-title":"SDL\u201997: Time for Testing-SDL, MSC and Trends","author":"N. Faltin","year":"1997","unstructured":"N. Faltin, L. Lambert, A. Mitschele-Thiel, and F. Slomka. An Annotational Extension of Message Sequence Charts to Support Performance Engineering. In A. Cavalli and A. Sarma, editors, SDL\u201997: Time for Testing-SDL, MSC and Trends, pages 307\u2013322, Evry, France, September 1997. Eighth SDL Forum, Elsevier."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"R. Gotzhein and J. Bredereke, editors. Formal Description Techniques IX. IFIP, Chapman & Hall, Oktober 1996.","DOI":"10.1007\/978-0-387-35079-0"},{"key":"12_CR16","unstructured":"S. Gruhl. Automatic Generation of Synthetic Load from Formal Use Cases for Performance Evaluation. Diplomarbeit, IMMD7, Universit\u00e4t Erlangen-N\u00fcrnberg, November 1998."},{"key":"12_CR17","unstructured":"Stefan Gruhl, Micheal S\u00f6llner, and Lennard Kerber. Automated Performance Prototyping for SDL\/MSC-specified Systems. In International Conference on Computer Communication (ICCC), Tokyo, Japan, September 1999."},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1109\/CMPEUR.1991.257484","volume-title":"Advanced Computer Technology, Reliable Systems and Applications, Proceedings","author":"U. Herzog","year":"1991","unstructured":"U. Herzog. Performance Evaluation and Formal Description. In V.A. Monaco and R. Negrini, editors, Advanced Computer Technology, Reliable Systems and Applications, Proceedings, pages 750\u2013756, Bologna, Italy, May 1991. IEEE CompEuro, IEEE Computer Society Press. Invited paper."},{"key":"12_CR19","unstructured":"ITU-T. ITU-T Recommendation Z.120: Message Sequence Charts (MSC). ITU, Geneva, 1996."},{"key":"12_CR20","unstructured":"ITU-T. ITU-T Recommendation Z.120: Message Sequence Charts (MSC). ITU, Geneva, 2001. To be published."},{"key":"12_CR21","unstructured":"L. Lambert. PMSC for Performance Evaluation. In 1. Workshop on Performance and Time in SDL\/MSC, Erlangen, Germany, 1998."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"N. Mansurov and D. Zhukov. Automatic synthesis of SDL models in use case methodology. In Dssouli et al. [10], pages 225\u2013240.","DOI":"10.1016\/B978-044450228-5\/50016-3"},{"key":"12_CR23","unstructured":"J. Martins and J. Hubaux. A New Methodology for Performance Evaluation Based on the Formal Technique SDL. In Proc. Design and Analysis of Real-Time Systems (DARTS \u201995), Bruessels, November 1995."},{"issue":"17","key":"12_CR24","doi-asserted-by":"crossref","first-page":"1801","DOI":"10.1016\/S1389-1286(99)00061-4","volume":"31","author":"A. Mitschele-Thiel","year":"1999","unstructured":"A. Mitschele-Thiel and B. M\u00fcller-Clostermann. Performance Engineering of SDL\/MSC Systems. Journal on Computer Networks and ISDN Systems, 31(17):1801\u20131815, June 1999.","journal-title":"Journal on Computer Networks and ISDN Systems"},{"key":"12_CR25","unstructured":"A. Muscholl and D. Peled. Analyzing Message Sequence Charts. In S. Graf, C. Jard, and Y. Lahav, editors, 2nd Workshop on SDL and MSC, pages 3\u201317, Col de Porte, Grenoble, France, June 2000. SDL Forum Society."},{"key":"12_CR26","volume-title":"Proc. of 9th SDL Forum","author":"P. Langend\u00f6rfer","year":"1999","unstructured":"Peter Langend\u00f6rfer and Hartmut K\u00f6nig. COCOS-A Configurable SDL Compiler for Generating Efficient Protocol Implementations. In Proc. of 9th SDL Forum, Montreal, Canada, June 1999. Elsevier."},{"key":"12_CR27","unstructured":"C. Schaffer. MSC\/RT: A Real-Time Extension to Message Sequence Charts (MSCs). Technical Report TR140-96, Johannes Kepler Universit\u00e4t Linz, Institut f\u00fcr Systemwissenschaften, 1996."},{"key":"12_CR28","series-title":"GMD-Studie","first-page":"165","volume-title":"Formale Beschreibungstechniken f\u00fcr verteilte Systeme","author":"I. Schieferdecker","year":"1997","unstructured":"I. Schieferdecker, A. Rennoch, and O. Mertens. Timed MSCs-an Extension to MSC\u201996. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken f\u00fcr verteilte Systeme, GMD-Studie Nr. 315, pages 165\u2013174, Berlin, Germany, June 1997. GI\/ITG, GMD-Forschungszentrum."},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"M. Steppler. Performance analysis of communication systems formally specified in sdl. In Proceedings of The First International Workshop on Simulation and Performance \u201998 (WOSP \u201998), pages 49\u201362, Santa Fe, New Mexico, USA, 12th\u201316th October 1998.","DOI":"10.1145\/287318.287329"},{"key":"12_CR30","unstructured":"Telelogic, Malm\u00f6, Sweden. Telelogic Tau 4.1, SDL Suite Getting Started, September 2000."},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"M. Woodside, D. Menasce, and H. Gomaa, editors. Second International Workshop on Software and Performance WOSP2000, Ottawa, Canada, September 2000.","DOI":"10.1145\/350391"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:36:19Z","timestamp":1737286579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45156-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421450","9783540451563"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45156-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}