{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T07:40:53Z","timestamp":1682494853405},"reference-count":16,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"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":[[2003,6]]},"DOI":"10.1016\/s1389-1286(03)00245-7","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T23:54:49Z","timestamp":1052783689000},"page":"303-322","source":"Crossref","is-referenced-by-count":10,"title":["Time consistency of MSC-2000 specifications"],"prefix":"10.1016","volume":"42","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":"78","reference":[{"key":"10.1016\/S1389-1286(03)00245-7_BIB1","doi-asserted-by":"crossref","unstructured":"R. Alur, G.J. Holzmann, D. Peled, An analyzer for message sequence charts, in: Proceedings of 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996), Lecture Notes in Computer Science, Vol. 1055, Springer, Berlin, 1996, pp. 35\u201348","DOI":"10.1007\/3-540-61042-1_37"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB2","doi-asserted-by":"crossref","unstructured":"H. Ben-Abdallah, S. Leue, Expressing and analyzing timing constraints in Message Sequence Chart specifications, Technical Report 97-04, Department of Electrical and Computer Engineering, University of Waterloo, 1997","DOI":"10.1007\/978-0-387-35271-8_6"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB3","unstructured":"R.T. Casley, On the specification of concurrent systems, Ph.D. thesis, Stanford University, 1991"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB4","series-title":"Introduction to Algorithms","author":"Cormen","year":"2001"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","article-title":"Temporal constraint networks","volume":"49","author":"Dechter","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB6","doi-asserted-by":"crossref","unstructured":"S.Graf, Expression of time and duration constraints in SDL, in: Proceedings of 3rd SDL and MSC Workshop(SAM\u201902), Aberystwyth, UK, June 2002","DOI":"10.1007\/3-540-36573-7_3"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB7","unstructured":"ITU-T, Message Sequence Charts\u2013\u2013MSC-2000, ITU-T Recommendation Z.120, November 1999"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB8","unstructured":"ITU-T, Specification and Description Language\u2013\u2013SDL-2000, ITU-T Recommendation Z.100, November 1999"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB9","unstructured":"J.P. Katoen, Quantitative and qualitative extensions of event structures, Ph.D. thesis, University of Twente, 1996"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB10","doi-asserted-by":"crossref","unstructured":"X. Li, J. Lilius, Timing analysis of UML sequence diagrams, TUCS Technical Report 281, Turku Centre for Computer Science, 1999","DOI":"10.1007\/3-540-46852-8_46"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB11","doi-asserted-by":"crossref","unstructured":"S. Mauw, M.A. Reniers, T.A.C. Willemse, Message sequence charts in the software engineering process, in: S.K. Chang (Eds.), Handbook of Software Engineering and Knowledge Engineering, vol. 1, World Scientific, Singapore, 2001, pp. 437\u2013463","DOI":"10.1142\/9789812389718_0018"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB12","doi-asserted-by":"crossref","unstructured":"D.V.J. Murphy, Time, causality and concurrency, Ph.D. thesis, University of Surrey, 1990","DOI":"10.1177\/072551369002600105"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB13","unstructured":"M.M. Musa, F. Khendek, G. Butler, New results on deriving SDL specification from MSCs, in: R. Dssouli, G.v. Bochmann, Y. Lahav (Eds.), Proceedings of SDL Forum\u201999, Elsevier, Amsterdam, June 1999"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB14","unstructured":"A. Rensink, Models and methods for action refinement, Ph.D. thesis, University of Twente, 1993"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB15","doi-asserted-by":"crossref","unstructured":"G. Robert, F. Khendek, P. Grogono, Deriving an SDL specification with a given architecture from a set of MSCs, in: A. Cavalli, A. Sarma (Eds.), Proceedings of SDL Forum\u201997, Elsevier, Amsterdam, September 1997","DOI":"10.1016\/B978-044482816-3\/50014-9"},{"key":"10.1016\/S1389-1286(03)00245-7_BIB16","doi-asserted-by":"crossref","unstructured":"T. Zheng, F. Khendek, L. Helou\u00ebt, A semantics for timed MSC, in: B. Caillaud, A. Muscholl (Eds.), Validation and Implementation of Scenario-Based Specifications (VISS\u201902), Electronic Notes in Theoretical Computer Science, Vol. 65 (7), Elsevier, Amsterdam","DOI":"10.1016\/S1571-0661(04)80486-9"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002457?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002457?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T07:10:22Z","timestamp":1682493022000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128603002457"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1389128603002457"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(03)00245-7","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}