{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T17:31:40Z","timestamp":1781976700510,"version":"3.54.5"},"reference-count":29,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":4008,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s0167-6423(02)00022-9","type":"journal-article","created":{"date-parts":[[2002,10,15]],"date-time":"2002-10-15T01:22:28Z","timestamp":1034644948000},"page":"253-292","source":"Crossref","is-referenced-by-count":17,"title":["A hierarchy of communication models for Message Sequence Charts"],"prefix":"10.1016","volume":"44","author":[{"given":"A.G.","family":"Engels","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.A.","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(02)00022-9_BIB1","series-title":"SDL\u201999: The Next Millennium, Proc. 9th SDL Forum","article-title":"New results on deriving SDL specifications from MSCs","author":"Abdalla","year":"1999"},{"issue":"2","key":"10.1016\/S0167-6423(02)00022-9_BIB2","first-page":"70","volume":"17","author":"Alur","year":"1996","journal-title":"An analyzer for message sequence charts, Software Concepts Tools"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB3","series-title":"SDL\u2014with Applications from Protocol Specification, The BCS Practitioners Series","author":"Belina","year":"1991"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB4","first-page":"259","article-title":"Syntactic detection of process divergence and non-local choice in message sequence charts","volume":"Vol. 1217","author":"Ben-Abdallah","year":"1997"},{"issue":"1\/3","key":"10.1016\/S0167-6423(02)00022-9_BIB5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Inform. and Control"},{"issue":"4","key":"10.1016\/S0167-6423(02)00022-9_BIB6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s004460050018","article-title":"Synchronous, asynchronous and causally ordered communication","volume":"9","author":"Charron-Bost","year":"1996","journal-title":"Distributed Comput."},{"issue":"1","key":"10.1016\/S0167-6423(02)00022-9_BIB7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","article-title":"LSC's","volume":"19","author":"Damm","year":"2001","journal-title":"Formal Methods System Des."},{"issue":"1","key":"10.1016\/S0167-6423(02)00022-9_BIB8","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s004460050053","article-title":"Generating FSMs from interworkings","volume":"12","author":"Feijs","year":"1999","journal-title":"Distributed Comput."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB9","series-title":"SDL\u201993\u2014Using Objects, Proc. 6th SDL Forum","first-page":"179","article-title":"Towards a Petri net based semantics definition for message sequence charts","author":"Grabowski","year":"1993"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB10","unstructured":"L. H\u00e9lou\u00ebt, C. Jard, Conditions for synthesis of communicating automata from HMSC's, in: S. Gnesi, I. Schieferdecker, A. Rennoch (Eds.), 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, Proc. FMICS\u20192000, Berlin, 2000, pp. 203\u2013224."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB11","first-page":"281","article-title":"A non-interleaving semantics for MSC","volume":"Vol. 104","author":"Heymer","year":"1998"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB12","unstructured":"ISO, Information Processing Systems\u2014Open System Interconnection\u2014LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, Vol. DIS 8807, ISO\/EC, 1988."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB13","unstructured":"ITU-T, Recommendation Z.100: Specification and Description Language (SDL), ITU-T, Geneva, 1994."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB14","unstructured":"ITU-T, Recommendation Z.120 Annex B: Algebraic semantics of Message Sequence Charts, ITU-T, Geneva, 1995."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB15","unstructured":"ITU-T, Recommendation Z.120: Message Sequence Chart (MSC), ITU-T, Geneva, 1996."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB16","first-page":"291","article-title":"Pomsets for message sequence charts","volume":"Vol. 104","author":"Katoen","year":"1998"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB17","series-title":"Proc. 1st Workshop of the SDL Forum Society on SDL and MSC, No. 104 in Informatik-Berichte","first-page":"171","article-title":"Implementability of message sequence charts","author":"Khendek","year":"1998"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB18","series-title":"Distributed and Parallel Embedded Systems","first-page":"61","article-title":"From MSCs to statecharts","author":"Kr\u00fcger","year":"1999"},{"issue":"5","key":"10.1016\/S0167-6423(02)00022-9_BIB19","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01211629","article-title":"Interpreting message flow graphs","volume":"7","author":"Ladkin","year":"1995","journal-title":"Formal Aspects Comput."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB20","series-title":"Proc. 13th IEEE International Conference on Automated Software Engineering","first-page":"192","article-title":"Synthesizing software architecture descriptions from Message Sequence Chart specifications","author":"Leue","year":"1998"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB21","doi-asserted-by":"crossref","unstructured":"N. Mansurov, D. Zhukov, Automatic synthesis of SDL models in use case, in: R. Dsoulli, G. von Bochmann, Y. Lahav (Eds.), SDL\u201999: The Next Millennium, Proc. 9th SDL Forum, Elsevier, Montreal, Canada, 1999.","DOI":"10.1016\/B978-044450228-5\/50016-3"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB22","series-title":"SDL\u201993\u2014Using Objects, Proc. 6th SDL Forum, Darmstadt, Germany","first-page":"167","article-title":"A formal semantics of synchronous Interworkings","author":"Mauw","year":"1993"},{"issue":"4","key":"10.1016\/S0167-6423(02)00022-9_BIB23","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","article-title":"An algebraic semantics of basic message sequence charts","volume":"37","author":"Mauw","year":"1994","journal-title":"Comput. J."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB24","series-title":"Handbook of Process Algebra","first-page":"1269","article-title":"A process algebra for interworkings","author":"Mauw","year":"2000"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB25","unstructured":"M. Reniers, Message sequence chart: syntax and semantics, Ph.D. Thesis, Eindhoven University of Technology, June 1999."},{"key":"10.1016\/S0167-6423(02)00022-9_BIB26","series-title":"SDL\u201997: Time for Testing\u2014SDL, MSC and Trends","first-page":"197","article-title":"Deriving an SDL specification with a given architecture from a set of MSCs","author":"Robert","year":"1997"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB27","doi-asserted-by":"crossref","unstructured":"E. Rudolph, P. Graubmann, J. Grabowski, Tutorial on message sequence charts, (Special issue on SDL and MSC, \u00d8. Haugen (guest editor)) Comput. Networks ISDN Systems 28(12) (1996) 1629\u20131641.","DOI":"10.1016\/0169-7552(95)00122-0"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB28","series-title":"Proc. 2nd Asia Pacific Software Engineering Conference","first-page":"48","article-title":"From scenarios to timed automata","author":"Som\u00e9","year":"1995"},{"key":"10.1016\/S0167-6423(02)00022-9_BIB29","unstructured":"S. Som\u00e9, R. Dssouli, Using a logical approach for specification generation from message sequence charts, Publication D\u00e9partementale, 1064, D\u00e9partement IRO, Universit\u00e9 de Montr\u00e9al, April 1997."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000229?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000229?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T19:18:41Z","timestamp":1578597521000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642302000229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S0167642302000229"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(02)00022-9","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}