{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,12]],"date-time":"2023-04-12T04:52:01Z","timestamp":1681275121497},"reference-count":47,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"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 Communications"],"published-print":{"date-parts":[[1999,2]]},"DOI":"10.1016\/s0140-3664(98)00246-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:03:07Z","timestamp":1027623787000},"page":"211-223","source":"Crossref","is-referenced-by-count":0,"title":["Towards the automatic generation of quality-of-service-preserving implementations from formal specifications"],"prefix":"10.1016","volume":"22","author":[{"given":"Stefan","family":"Fischer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0140-3664(98)00246-1_BIB1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport, An old-fashioned recipe for real time, In Ref. [11], pp 1\u201327.","DOI":"10.1007\/BFb0031985"},{"issue":"2","key":"10.1016\/S0140-3664(98)00246-1_BIB2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB3","doi-asserted-by":"crossref","unstructured":"R. Alur, T. Henzinger, Logics and models of real time: A survey, In Ref. [11], pp. 74\u2013106.","DOI":"10.1007\/BFb0031988"},{"issue":"3","key":"10.1016\/S0140-3664(98)00246-1_BIB4","first-page":"138","article-title":"A Survey of QoS Architectures","volume":"6","author":"Aurrecoechea","year":"1998","journal-title":"Multi-media systems Journal, Special Issue on QoS Architectures"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB5","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/S0169-7552(96)00109-2","article-title":"A specification architecture for multimedia systems in open distributed processing","volume":"29","author":"Blair","year":"1997","journal-title":"Computer networks and ISDN Systems"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB6","unstructured":"H. Bowman, G. Blair, O. Blair, A. Chetwynd, Time versus abstraction in formal descriptions, In Ref. [43], pp. 467\u2013482."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB7","unstructured":"J. Bredereke, R. Gotzhein, Increasing the concurrency in Estelle, In Ref. [43], pp. 127\u2013141."},{"issue":"1","key":"10.1016\/S0140-3664(98)00246-1_BIB8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0169-7552(92)90124-9","article-title":"Estelle development toolset","volume":"25","author":"Budkowski","year":"1992","journal-title":"Computer Networks and ISDN Systems, Special Issue on FDT Concepts and Tools"},{"issue":"4","key":"10.1016\/S0140-3664(98)00246-1_BIB9","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/90.649465","article-title":"Generating efficient protocol code from abstract specification","volume":"5","author":"Castelluccia","year":"1997","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB10","unstructured":"J-P. Courtiat, R.C. de Oliveira, RT-LOTOS and its application to multimedia protocol specification and validation. In: B. Sarikaya and S. Saito, (Eds.), IEEE Int. Conf. on Multimedia Networking (MmNet95), IEEE Comp. Soc. Press, Silver Spring, MD, 1995, pp. 31\u201345."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB11","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (Eds.), Real-Time: Theory in Practice (LNCS 600), Springer, Berlin Heidelberg New York, 1991.","DOI":"10.1007\/BFb0031984"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB12","unstructured":"P. Dembinski, S. Budkowski. Simulating Estelle specifications with time parameters, In Ref. [38], pp. 265\u2013279."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB13","doi-asserted-by":"crossref","unstructured":"P. Dembinksi, M. Sredniawa, editors. Protocol Specification, Testing and Verification XV. Chapman & Hall, London, 1995.","DOI":"10.1007\/978-0-387-34892-6"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB14","doi-asserted-by":"crossref","unstructured":"S. Fischer, On the Suitability of Estelle for Multimedia Systems,. In Ref. [13], pp. 369\u2013384.","DOI":"10.1007\/978-0-387-34892-6_23"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB15","doi-asserted-by":"crossref","unstructured":"S. Fischer, Real-Time Estelle, Technical Report TR-96-003, University of Mannheim, 1996.","DOI":"10.1007\/978-0-387-35079-0_19"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB16","doi-asserted-by":"crossref","unstructured":"S. Fischer, W. Effelsberg, Efficient configuration of protocol software for multi-processors, In: R. Puigjaner, (Ed.), High Performance Networking VI, Chapman & Hall, London, 1995, pp. 195\u2013210.","DOI":"10.1007\/978-0-387-34949-7_15"},{"issue":"9\/10","key":"10.1016\/S0140-3664(98)00246-1_BIB17","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1016\/S0169-7552(97)00132-3","article-title":"Formal methods for broadband and multimedia systems","volume":"30","author":"Fischer","year":"1998","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB18","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0169-7552(92)90109-4","article-title":"Temporal logic and applications \u2013 a tutorial","volume":"24","author":"Gotzhein","year":"1992","journal-title":"Computer Networks and ISDN Systems"},{"issue":"4","key":"10.1016\/S0140-3664(98)00246-1_BIB19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0140-3664(90)90118-Z","article-title":"Transport services for multi-media application on broadband networks","volume":"13","author":"Hehmann","year":"1990","journal-title":"Computer Communications"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB20","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, A. Pnueli, Timed transition systems, In Ref. [11], pp. 226\u2013251.","DOI":"10.1007\/BFb0031995"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB21","unstructured":"ISO. Information processing systems \u2013 open systems interconnection \u2013 LOTOS: a formal decription technique based on temporal ordering of observed behavior, International Standard 8807, International Standards Organisation, 1988."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB22","unstructured":"Information processing systems \u2013 Open Systems Interconnection \u2013 Estelle: a formal description technique based on an extended state transition model. International Standard ISO 9074, 1989."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB23","unstructured":"ITU-T. Recommendation Z.100: Specification and Description Language (SDL). Geneva, Switzerland, 1993."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB24","doi-asserted-by":"crossref","unstructured":"K. Kawachiya, H. Tokuda. Dynamic QOS control Based on the QOS-Ticket Model, In: IEEE Int. Conf. on Multimedia comp and Systems (ICMCS\u201996), Hiroshima, Japan. IEEE comp. Soc. Press, Silver Spring, MD, 1996.","DOI":"10.1109\/MMCS.1996.534958"},{"issue":"4","key":"10.1016\/S0140-3664(98)00246-1_BIB25","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"Real-Time Systems Journal"},{"issue":"3","key":"10.1016\/S0140-3664(98)00246-1_BIB26","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0169-7552(96)00078-5","article-title":"An introduction to ET-LOTOS for the description of time-sensitive systems","volume":"29","author":"L\u00e9onard","year":"1997","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB27","doi-asserted-by":"crossref","unstructured":"S. Leue, Specifying real-time requirements for SDL specifications \u2013 a temporal logic-based approach, In Ref. [13], pp. 19\u201334.","DOI":"10.1007\/978-0-387-34892-6_2"},{"issue":"1","key":"10.1016\/S0140-3664(98)00246-1_BIB28","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/90.503762","article-title":"On parallelizing and optimizing the implementation of communication protocols","volume":"49","author":"Leue","year":"1996","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"3","key":"10.1016\/S0140-3664(98)00246-1_BIB29","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/49.53017","article-title":"Synchronization and storage models for multimedia objects","volume":"8","author":"Little","year":"1990","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB30","doi-asserted-by":"crossref","unstructured":"N. Lynch, F. Vaandrager, Forward and backward simulation for timing-based systems, In Ref. [11], pp. 397\u2013446.","DOI":"10.1007\/BFb0032002"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB31","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli, The temporal logic of reactive and concurrent systems: specification, Springer, Berlin, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB32","doi-asserted-by":"crossref","first-page":"1043","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of communication protocols \u2013implication of a theoretical study","volume":"24","author":"Merlin","year":"1976","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB33","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, An overview and synthesis of timed process algebras, In Ref. [11], pp. 526\u2013548.","DOI":"10.1007\/BFb0032006"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB34","unstructured":"J.S. Ostroff, Temporal logic of real-time systems, Research studies Press, 1990."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB35","doi-asserted-by":"crossref","unstructured":"R. Plato, T. Held, H. K\u00f6nig, PARES \u2013 a portable parallel Estelle compiler, In Ref. [13], pp. 403\u2013418.","DOI":"10.1007\/978-0-387-34892-6_25"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB36","unstructured":"J. Quemada, A. Fernandez, Introduction of quantitative relative time into LOTOS, In Ref. [38], pp. 105\u2013121."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB37","doi-asserted-by":"crossref","unstructured":"H. Rudin, The dimension of time in protocol specification, In Lecture Notes in Computer Science 248, Springer, Berlin Heidelberg New York, 1986, pp. 360\u2013372.","DOI":"10.1007\/BFb0026971"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB38","unstructured":"H. Rudin, C.H. West (Eds), Protocol Specification, Testing and Verification VII, Elsevier, Amsterdam, 1987."},{"issue":"5\/6","key":"10.1016\/S0140-3664(98)00246-1_BIB39","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF02998492","article-title":"Toward a formal specification of multimedia synchronization scenarios","volume":"49","author":"S\u00e9nac","year":"1994","journal-title":"Annuaires T\u00e9l\u00e9communication"},{"issue":"7","key":"10.1016\/S0140-3664(98)00246-1_BIB40","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/0169-7552(93)90051-5","article-title":"The PET and DINGO tools for deriving distributed implementations from Estelle","volume":"25","author":"Sijelmassi","year":"1993","journal-title":"Computer Networks and ISDN Systems"},{"issue":"6","key":"10.1016\/S0140-3664(98)00246-1_BIB41","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/2.386982","article-title":"Implications of classical scheduling results for real-time systems","volume":"28","author":"Stankovic","year":"1995","journal-title":"IEEE computer"},{"issue":"1","key":"10.1016\/S0140-3664(98)00246-1_BIB42","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/93.368605","article-title":"Analyzing the mutlimedia operating system","volume":"2","author":"Steinmetsz","year":"1995","journal-title":"IEEE Multimedia"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB43","unstructured":"R.L. Tenney, P.D. Amer, M.\u00dc. Uyar (Eds.), Formal Description Techniques, VI, Elsevier, Amsterdam, 1994."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB44","unstructured":"G. von Bochmann, Usage of protocol development tools: the results of a survey, In Ref. [38], pp. 139\u2013161."},{"key":"10.1016\/S0140-3664(98)00246-1_BIB45","doi-asserted-by":"crossref","unstructured":"H. Wittig, L.C. Wolf, C. Vogt, CPU utilization of multimedia processes: HeiPOET \u2013 the Heidelberg predictor of execution times measurement tool, In: R. Steinmetz (Eds.), Mutlimedia: Advanced Teleservices and High-Speed Communication Architectures (LNCS 868), Springer, Berlin Heidelberg New York, 1994, pp.92\u2013103.","DOI":"10.1007\/3-540-58494-3_9"},{"key":"10.1016\/S0140-3664(98)00246-1_BIB46","doi-asserted-by":"crossref","unstructured":"K. Yasumoto, T. Higashino, K. Abe, T. Matsuura, T. Taniguichi, A LOTOS compiler generating multi-threaded object codes, In: G. von Bochmann, R. Dssouli, O. Rafiq (Eds.), Formal Description Techniques VIII (FORTE\u201995), 1996, pp. 271\u2013286.","DOI":"10.1007\/978-0-387-34945-9_19"},{"issue":"5","key":"10.1016\/S0140-3664(98)00246-1_BIB47","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/65.238150","article-title":"RSVP: a new resource reservation protocol","volume":"7","author":"Zhang","year":"1993","journal-title":"IEEE Network"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366498002461?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366498002461?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,12]],"date-time":"2023-04-12T04:22:17Z","timestamp":1681273337000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0140366498002461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,2]]}},"alternative-id":["S0140366498002461"],"URL":"https:\/\/doi.org\/10.1016\/s0140-3664(98)00246-1","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}