{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:11Z","timestamp":1725490511630},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_14","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T23:22:33Z","timestamp":1188775353000},"page":"221-232","source":"Crossref","is-referenced-by-count":4,"title":["An Extension for MSC-2000 and Its Application"],"prefix":"10.1007","author":[{"given":"Tong","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"14_CR1","unstructured":"3GPP: TS 25.331 Radio Resource Control (RRC) Protocol Specification. http:\/\/www.3gpp.org."},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-61042-1_37","volume-title":"An Analyzer for Message Sequence Charts","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G. J. and Peled, D.: An Analyzer for Message Sequence Charts. Proceedings of 2nd International Workshop on Tools and Algorithms for the construction and Analysis of Systems (TACAS\u201996). LNCS 1055(1996) 35\u201348"},{"key":"14_CR3","unstructured":"Ben-Abdallah, H. and Leue, S.: Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications. Department of Electrical and Computer Engineering, University of Waterloo. Technical Report 97-041997"},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-48213-X_9","volume-title":"HyperMSCs with Connectors for Advanced Visual System Modelling and Testing","author":"J. Grabowski","year":"2001","unstructured":"Grabowski, J., Graubmann, P. and Rudolph, E.: HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 129\u2013147"},{"key":"14_CR5","unstructured":"Helou\u00ebt, L.: Distributed System Modeling with Scenarios: The Example of the RMTP2 Protocol. Concordia Prestigious Workshop on Communication Software Engineering. September 2001"},{"key":"14_CR6","unstructured":"Heymer, S.: A Non-Interleaving Semantics for MSC. The 1st Workshop of the SDL Forum Society on SDL and MSC (SAM\u201998). 1998"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/3-540-48213-X_11","volume-title":"Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation","author":"D. Hogrefe","year":"2001","unstructured":"Hogrefe, D., Koch, B. and Neukirchen, H.: Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 168\u2013181"},{"key":"14_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-48213-X_23","volume-title":"An Execution Semantics for MSC-2000","author":"B. Jonsson","year":"2001","unstructured":"Jonsson, B. and Padilla G.: An Execution Semantics for MSC-2000. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 365\u2013378"},{"key":"14_CR9","unstructured":"Katoen, J.P. and Lambert, L.: Pomsets for Message Sequence Charts. The 1st Workshop of the SDL Forum Society on SDL and MSC (SAM\u201998). 1998"},{"issue":"5","key":"14_CR10","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"B.P. Ladkin","year":"1995","unstructured":"Ladkin, B.P. and Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing 7(5) (1995) 473\u2013509","journal-title":"Formal Aspects of Computing"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Maigat, P.L. and Helou\u00ebt, L.: A (MAX, +) Approach for Time in Message Sequence Charts. 5th Workshop on Discrete Event Systems. August 2000","DOI":"10.1007\/978-1-4615-4493-7_8"},{"issue":"17","key":"14_CR12","doi-asserted-by":"crossref","first-page":"1785","DOI":"10.1016\/S1389-1286(99)00060-2","volume":"31","author":"S. Mauw","year":"1999","unstructured":"Mauw, S. and Reniers, M. A.: Operational Semantics for MSC\u201996. Computer Networks and ISDN Systems 31(17) (1999) 1785\u20131799","journal-title":"Computer Networks and ISDN Systems"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Mauw, S. and Reniers, M. A.: High-level Message Sequence Charts. SDL\u201997: Time for Testing-SDL, MSC and Trends. September 1997","DOI":"10.1016\/B978-044482816-3\/50020-4"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1142\/9789812389718_0018","volume":"1","author":"S. Mauw","year":"2001","unstructured":"Mauw, S., Reniers, M. A. and Willemse, T. A. C.: Message Sequence Charts in the Software Engineering Process. Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing Co. 1 (2001) 437\u2013463","journal-title":"Handbook of Software Engineering and Knowledge Engineering"},{"key":"14_CR15","unstructured":"The Interval Project. http:\/\/www-interval.imag.fr."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Zheng, T., Khendek, F. and Helou\u00ebt, L.: A Semantics for Timed MSC, Validation and Implementation of Scenario-Based Specifications (VISS\u201902). ENTCS 65:7 2002","DOI":"10.1016\/S1571-0661(04)80486-9"}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T19:38:29Z","timestamp":1556825909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}