{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T03:21:09Z","timestamp":1648524069407},"reference-count":13,"publisher":"Elsevier BV","issue":"11","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s0950-5849(03)00067-3","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T17:28:37Z","timestamp":1056994117000},"page":"701-714","source":"Crossref","is-referenced-by-count":3,"title":["Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol"],"prefix":"10.1016","volume":"45","author":[{"given":"Lo\u0131\u0308c","family":"H\u00e9lou\u00ebt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"12","key":"10.1016\/S0950-5849(03)00067-3_BIB1","doi-asserted-by":"crossref","first-page":"1629","DOI":"10.1016\/0169-7552(95)00122-0","article-title":"Tutorial on message sequence charts","volume":"28","author":"Rudolph","year":"1996","journal-title":"Computer networks and ISDN systems"},{"key":"10.1016\/S0950-5849(03)00067-3_BIB2","unstructured":"ITU T, Z.120: Message sequence charts (MSC), November 1999."},{"key":"10.1016\/S0950-5849(03)00067-3_BIB3","unstructured":"I. Kruger, Distributed system design with message sequence charts, PhD thesis, Technische Universit\u00e4t M\u00fcnchen, 2000."},{"key":"10.1016\/S0950-5849(03)00067-3_BIB4","unstructured":"E. Rudolph, Putting extended MSC-2000 to practice: specification of the inres connection establishment using extended MSC-2000, Draft-Technical Report."},{"key":"10.1016\/S0950-5849(03)00067-3_BIB5","series-title":"Proceedings of the Eighth SDL Forum","first-page":"213","article-title":"MSC'96 and beyond\u2014a critical look","author":"Loidl","year":"1997"},{"key":"10.1016\/S0950-5849(03)00067-3_BIB6","doi-asserted-by":"crossref","unstructured":"H. Ben-Abdallah, S. Leue, Expressing and analyzing timing constraints in message sequence charts, Technical Report 97-04, Department of Electrical and Computer Engineering, University of Waterloo, April 1997.","DOI":"10.1007\/978-0-387-35271-8_6"},{"key":"10.1016\/S0950-5849(03)00067-3_BIB7","first-page":"348","article-title":"Some pathological message sequence charts and how to detect them","author":"H\u00e9lou\u00ebt","year":"2001"},{"key":"10.1016\/S0950-5849(03)00067-3_BIB8","unstructured":"T. Montgomery, B. Whetten, M. Basavaiah, S. Paul, N. Rastogi, J. Conlan, T. Yeh, The RMTP2 protocol Ietf draft, IETF (Internet Engineering Task Force), April 1998."},{"key":"10.1016\/S0950-5849(03)00067-3_BIB9","unstructured":"H. Neukirchen, Real-time extensions to MSC-2000 and TTCN-3, Tech rep., INTERVAL Project, http:\/\/www-intervalimag.fr\/News\/Slides_workshop_june_01\/interestgroup_msc_ttcn.pdf, June 2001."},{"key":"10.1016\/S0950-5849(03)00067-3_BIB10","unstructured":"E. Gunter, A. Muscholl, Compositionnal message sequence charts, in Proceedings of TACAS'01 no. 2031 in LNCS, 2001, pp. 496\u2013511."},{"key":"10.1016\/S0950-5849(03)00067-3_BIB11","series-title":"Proceedings of the Eighth SDL Forum","first-page":"291","article-title":"High level message sequence charts","author":"Mauw","year":"1997"},{"key":"10.1016\/S0950-5849(03)00067-3_BIB12","unstructured":"J. Katoen, L. Lambert, Pomsets for message sequence charts, in: Proceedings of SAM98: First conference on SDL and MSC, Berlin, 1998, pp. 281\u2013290."},{"key":"10.1016\/S0950-5849(03)00067-3_BIB13","doi-asserted-by":"crossref","unstructured":"R. Alur, G. Holzmann, D. Peled, An analyzer for message sequence charts, in: TACAS'96, Tools and Algorithms for the Construction and Analysis of Systems, no. 1055 in LNCS, Springer-Verlag, 1996, pp. 35\u201348.","DOI":"10.1007\/3-540-61042-1_37"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000673?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000673?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T12:24:47Z","timestamp":1552911887000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":13,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["S0950584903000673"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00067-3","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}