{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:34:36Z","timestamp":1742394876276},"reference-count":45,"publisher":"Elsevier BV","issue":"17","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1016\/s1389-1286(99)00061-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:53:54Z","timestamp":1027608834000},"page":"1801-1815","source":"Crossref","is-referenced-by-count":27,"title":["Performance engineering of SDL\/MSC systems"],"prefix":"10.1016","volume":"31","author":[{"given":"Andreas","family":"Mitschele-Thiel","sequence":"first","affiliation":[]},{"given":"Bruno","family":"M\u00fcller-Clostermann","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(99)00061-4_BIB1","unstructured":"F. Bause, P. Buchholz, Protocol analysis using a timed version of SDL, Proc. 3rd Int. Conf. on Formal Description Techniques, FORTE '90, North-Holland, Amsterdam, 1991."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB2","doi-asserted-by":"crossref","unstructured":"F. Bause, P. Buchholz, Qualitative and quantitative analysis of timed SDL specifications, in: N. Gerner, H.G. Hegering, J. Savolvod (Eds.), Kommunikation in Verteilten Systemen, Springer, Berlin, 1993, pp. 486\u2013500.","DOI":"10.1007\/978-3-642-78091-2_36"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB3","doi-asserted-by":"crossref","unstructured":"F. Bause, P. Buchholz, P. Kemper., QPN-Tool for the specification and analysis of hierarchically combined queueing Petri nets, in: [5].","DOI":"10.1007\/BFb0024318"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB4","doi-asserted-by":"crossref","unstructured":"F. Bause, H. Kabutz, P. Kemper, P. Kritzinger, SDL and Petri Net Performance Analysis of Communicating Systems, Proc. 15th International Symposium on Protocol Specification, Testing and Verification, PSTV '95, North Holland, 1995.","DOI":"10.1007\/978-0-387-34892-6_17"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB5","doi-asserted-by":"crossref","unstructured":"F. Bause, H. Beilner (Eds.), Quantitative Evaluation of Computing and Communication Systems, Proc. of Performance Tools '95 and 8th GI\/NTG Conference MMB '95, Lecture Notes in Computer Science, Springer, Berlin, 1995.","DOI":"10.1007\/BFb0024302"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB6","doi-asserted-by":"crossref","unstructured":"F. Bause, M. Sczittnick, Design of Performance Modelling Tools \u2013 HIT, MACOM, QPN-Tool (in German), it+ti, Informationstechnik und Technische Informatik, 3\/1995.","DOI":"10.1524\/itit.1995.37.3.34"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB7","doi-asserted-by":"crossref","unstructured":"H. Beilner, J. M\u00e4ter, N. Wei\u03b2enberg, Towards a performance modelling environment: news on HIT, Proc. 4th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, 1988.","DOI":"10.1007\/978-1-4613-0533-0_5"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB8","unstructured":"R. Br\u0153k, \u00d8. Haugen, Engineering Real Time Systems, Prentice-Hall, Englewood Cliffs, NJ, 1993."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB9","doi-asserted-by":"crossref","unstructured":"P. Bratley, B.L. Fox, L.E. Schrage, A Guide to Simulation, Springer, Berlin, 1983.","DOI":"10.1007\/978-1-4684-0167-7"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB10","doi-asserted-by":"crossref","unstructured":"M. B\u00fctow, M. Mestern, C. Schapiro, P.S. Kritzinger, Performance modelling from formal specifications, in: R. Gotzhein, J. Bredereke (Eds.), Proc. FORTE\/PSTV '96, Chapman and Hall, London, 1996.","DOI":"10.1007\/978-0-387-35079-0_13"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB11","doi-asserted-by":"crossref","unstructured":"M. Diefenbruch, J. Hintelmann, B. M\u00fcller-Clostermann, The QUEST-approach for the performance evaluation of SDL systems, in: R. Gotzhein, J. Bredereke (Eds.), Proc. FORTE\/PSTV '96, Chapman and Hall, London, 1996.","DOI":"10.1007\/978-0-387-35079-0_14"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB12","doi-asserted-by":"crossref","unstructured":"M. Diefenbruch, E. Heck, J. Hintelmann, B. M\u00fcller-Clostermann, Performance evaluation of SDL systems adjunct by queueing models, in: R. Br\u0153k, A. Sarma (Eds.), SDL'95 with MSC in CASE, Proc. 7th SDL Forum, Elsevier, Amsterdam, 1995.","DOI":"10.1016\/B978-0-444-82269-7.50024-1"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB13","unstructured":"M. Diefenbruch, Functional and quantitative verification of time- and resource extended SDL-systems with model-checking (in German), in: K. Irmscher (Ed.), Proc. Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Freiberg, Germany, VDE-Verlag, 1997."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB14","unstructured":"W. Dulz, A framework for the performance evaluation of SDL\/MSC-specified systems, in: A. Javor, A. Lehmann (Eds.), Modelling and Simulation, Proc. European Simulation Multiconference ESM'96, Workshop on Analytical and Numerical Modelling Techniques with Emphasis on Quality of Service Modelling, Budapest, SCS International, 1996."},{"issue":"6","key":"10.1016\/S1389-1286(99)00061-4_BIB15","volume":"12","author":"Ferrari","year":"1986","journal-title":"Considerations on the insularity of performance evaluation, IEEE Trans. Softw. Eng."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB16","doi-asserted-by":"crossref","unstructured":"N. Faltin, L. Lambert, A. Mitschele-Thiel, F. Slomka, An annotational extension of message sequence charts to support performance engineering, in: A. Cavalli, A. Sarma (Eds.), SDL'97 \u2013 Time for Testing, Proc. 8th SDL Forum, Elsevier, Amsterdam, 1997.","DOI":"10.1016\/B978-044482816-3\/50021-6"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB17","doi-asserted-by":"crossref","unstructured":"R. Gerlich, Tuning development of distributed real-time systems with SDL and MSC: current experience and future issues, in: A. Cavalli, A. Sarma (Eds.), SDL'97 \u2013 Time for Testing, Proc. 8th SDL Forum, Elsevier, Amsterdam, 1997.","DOI":"10.1016\/B978-044482816-3\/50007-1"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB18","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0166-5316(95)00010-U","article-title":"TimeNET \u2013 a toolkit for evaluating stochastic Petri nets with non-exponential firing times","volume":"24","author":"German","year":"1995","journal-title":"Performance Evaluation"},{"issue":"4","key":"10.1016\/S1389-1286(99)00061-4_BIB19","doi-asserted-by":"crossref","DOI":"10.1109\/12.88469","article-title":"Hierarchical performance evaluation based on formally specified communication protocols","volume":"40","author":"Heck","year":"1991","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB20","unstructured":"E. Heck, Performance evaluation of formally specified systems \u2013 the integration of SDL with HIT, Doctoral Thesis, University of Dortmund, Krehl Verlag, 1996."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB21","doi-asserted-by":"crossref","unstructured":"R. Henke, H. K\u00f6nig, A. Mitschele-Thiel, Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads, in: A. Cavalli, A. Sarma (Eds.), SDL'97 \u2013 Time for Testing, Proc. 8th SDL Forum, Elsevier, Amsterdam, 1997.","DOI":"10.1016\/B978-044482816-3\/50027-7"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB22","unstructured":"J. Hintelmann, Integration of SDL-based QoS evaluation in protocol design, modelling and simulation, in: A. Javor, A. Lehmann (Eds.), Proc. European Simulation Multiconference ESM'96, Workshop on Analytical and Numerical Modelling Techniques with Emphasis on Quality of Service Modelling, Budapest, SCS International, 1996, pp. 894\u2013898."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB23","doi-asserted-by":"crossref","unstructured":"J. Hintelmann, R. Westerfeld, Performance analysis of TCP's flow control mechanisms using queueing SDL, in: A. Cavalli, A. Sarma (Eds.), SDL'97 \u2013 Time for Testing, Proc. 8th SDL Forum, Elsevier, Amsterdam, 1997.","DOI":"10.1016\/B978-044482816-3\/50006-X"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB24","doi-asserted-by":"crossref","unstructured":"ITU-T, Z.100, Appendix I, SDL Methodology Guidelines, 1993.","DOI":"10.1016\/S0161-6420(13)31992-7"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB25","unstructured":"ITU-T, SDL+ Methodology: Manual for the Use of MSC and SDL, with ASN.1, Supplement 1 to Z.100, 1997."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB26","unstructured":"R. Jain, The Art of Computer Systems Performance Analysis \u2013 Techniques for Experimental Design, Measurement, Simulation, and Modeling, Wiley, New York, 1991."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB27","unstructured":"H.M. Kabutz, Analytical performance evaluation of concurrent communicating systems using SDL and stochastic Petri nets, Doctoral Thesis, Department of Computer Science, University of Cape Town, Republic of South Africa, 1997."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB28","unstructured":"K. Kant, Introduction to Computer System Performance Evaluation, McGraw-Hill, New York, 1992."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB29","doi-asserted-by":"crossref","unstructured":"U. Krieger, B. M\u00fcller-Clostermann, M. Sczittnick, Modeling and analysis of communication systems based on computational methods for Markov chains, IEEE J. Selected Areas in Communications 8 (9) (1990) 1630\u20131648 (Special Issue on Modeling and Analysis of Telecommunication Systems).","DOI":"10.1109\/49.62851"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB30","unstructured":"S. Lavenberg, Computer Performance Modelling Handbook, Academic Press, New York, 1983."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB31","unstructured":"P. Langend\u00f6rfer, H. K\u00f6nig, Improving the efficiency of automatically generated code by using implementation-specific annotations, Proc. 3rd Int. Workshop on High Performance Protocol Architectures, HIPPARCH'97, Uppsala, 1997."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB32","doi-asserted-by":"crossref","unstructured":"Chr. Lindemann, Performance Modelling with Deterministic and Stochastic Petri Nets, Wiley, New Yorki, 1998.","DOI":"10.1145\/288197.581195"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB33","doi-asserted-by":"crossref","unstructured":"J. Martins, J.P. Hubaux, T. Saydam, S. Znatny, Integrating performance evaluation and formal specification, Proc. Int. Conf. on Communications, ICC96, IEEE Press, Silverspring, MD, 1996.","DOI":"10.1109\/ICC.1996.535601"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB34","doi-asserted-by":"crossref","unstructured":"A. Mitschele-Thiel, Methodology and tools for the development of high performance parallel systems with SDL\/MSCs, in: I. Jelly, I. Gorton, P. Croll, (Eds.), Proc. Software Engineering for Parallel and Distributed Systems, Chapman and Hall, London, 1996.","DOI":"10.1007\/978-0-387-34984-8_2"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB35","doi-asserted-by":"crossref","unstructured":"A. Mitschele-Thiel, P. Langend\u00f6rfer, R. Henke, Design and optimization of high-performance protocols with the DO-IT toolbox, in: R. Gotzhein, J. Bredereke (Eds.), Proc. FORTE\/PSTV '96, Chapman and Hall, London, 1996.","DOI":"10.1007\/978-0-387-35079-0_3"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB36","doi-asserted-by":"crossref","unstructured":"A. Mitschele-Thiel, Integrating model-based optimization and program transformation to generate efficient parallel programs, J. Systems Architecture 45 (6\u20137) (1999) 465\u2013482.","DOI":"10.1016\/S1383-7621(98)00018-6"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB37","unstructured":"A. Mitschele-Thiel, B. M\u00fcller-Clostermann, R. Reed (Eds.), Proceedings of the Workshop on Performance and Time in SDL and MSC, Report IMMD VII-1\/98, University of Erlangen, Germany, February 1998."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB38","unstructured":"QUEST, http:\/\/www.cs.uni-essen.de\/Fachgebiete\/SysMod\/Forschung\/QUEST\/, 1997."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB39","doi-asserted-by":"crossref","first-page":"1685","DOI":"10.1016\/0169-7552(95)00126-3","article-title":"Methodology for real time systems","volume":"28","author":"Reed","year":"1996","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB40","doi-asserted-by":"crossref","unstructured":"C. Schaffer, R. Raschhofer, A. Simma, EaSy-Sim: a tool environment for the design of complex, real-time systems, Proc. Int. Conf. on Computer Aided Systems Technologies, Innsbruck, Springer, Berlin, 1995.","DOI":"10.1007\/BFb0034773"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB41","unstructured":"C. Schaffer, MSC\/RT: a real-time extension to Message Sequence Charts (MSCs), Internal Report TR140-96, Institut f\u00fcr Systemwissenschaften, Johannes Kepler Universit\u00e4t, Linz, 1996."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB42","unstructured":"I. Schieferdecker, A. Rennoch, Timed MSCs, in: A. Wolisz, I. Schieferdecker, A. Rennoch, (Eds.), GI\/ITG-Fachgespr\u00e4ch, GMD-Studien Nr. 315, 1997."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB43","doi-asserted-by":"crossref","unstructured":"M. Steppler, M. Lott, SPEET \u2013 SDL performance evaluation tool, in: A. Cavalli, A. Sarma (Eds.), SDL'97 \u2013 Time for Testing, Proc. 8th SDL Forum, Elsevier, Amsterdam, 1997.","DOI":"10.1016\/B978-044482816-3\/50005-8"},{"key":"10.1016\/S1389-1286(99)00061-4_BIB44","unstructured":"M. Veran, D. Potier, QNAP2: A portable environment for queueing systems modelling, in: D. Potier (Ed.), Modelling, Techniques and Tools for Performance Analysis, North-Holland, Amsterdam, 1985, pp. 25\u201363."},{"key":"10.1016\/S1389-1286(99)00061-4_BIB45","unstructured":"WorldWideWeb-Links: http:\/\/www.bgs.com, http:\/\/www.caciasl.com, http:\/\/www.mil3.com."}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128699000614?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128699000614?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,9]],"date-time":"2023-04-09T12:16:10Z","timestamp":1681042570000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128699000614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":45,"journal-issue":{"issue":"17","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["S1389128699000614"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(99)00061-4","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}