{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T10:29:04Z","timestamp":1777544944801,"version":"3.51.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,6,18]],"date-time":"2013-06-18T00:00:00Z","timestamp":1371513600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s10270-013-0357-1","type":"journal-article","created":{"date-parts":[[2013,6,17]],"date-time":"2013-06-17T02:06:21Z","timestamp":1371434781000},"page":"1029-1048","source":"Crossref","is-referenced-by-count":6,"title":["Distributed implementation of message sequence charts"],"prefix":"10.1007","volume":"14","author":[{"given":"Rouwaida","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,6,18]]},"reference":[{"key":"357_CR1","doi-asserted-by":"crossref","unstructured":"Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specifications from MSCs, pp. 51\u201366. In SDL, Forum (1999)","DOI":"10.1016\/B978-044450228-5\/50005-9"},{"key":"357_CR2","doi-asserted-by":"crossref","unstructured":"Akshay, S., Mukund, M., Kumar, N.K.: Checking coverage for infinite collections of timed scenarios. In CONCUR\u201907, pp. 181\u2013196 (2007)","DOI":"10.1007\/978-3-540-74407-8_13"},{"issue":"1","key":"357_CR3","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1023\/A:1025890110119","volume":"24","author":"D Amyot","year":"2003","unstructured":"Amyot, D., Eberlein, A.: An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommun. Syst. 24(1), 61\u201394 (2003)","journal-title":"Telecommun. Syst."},{"issue":"5","key":"357_CR4","doi-asserted-by":"crossref","first-page":"747","DOI":"10.4304\/jsw.6.5.747-768","volume":"6","author":"D Amyot","year":"2011","unstructured":"Amyot, D., Mussbacher, G.: User requirements notation: the first ten years, the next ten years. J. Softw. 6(5), 747\u2013768 (2011)","journal-title":"J. Softw."},{"key":"357_CR5","doi-asserted-by":"crossref","unstructured":"Baudru, N., Morin, R.: Synthesis of safe message-passing systems. In FSTTCS, pp. 277\u2013289 (2007)","DOI":"10.1007\/978-3-540-77050-3_23"},{"key":"357_CR6","doi-asserted-by":"crossref","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in Message Sequence Charts. In Proc. of TACAS\u201997, vol 1217 of LNCS, pp. 259\u2013274 (1997)","DOI":"10.1007\/BFb0035393"},{"key":"357_CR7","doi-asserted-by":"crossref","unstructured":"Bochmann, G., Gotzhein, R.: Deriving protocol specifications from service specifications. In Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, pp 148\u2013156 (1986)","DOI":"10.1145\/1013812.18190"},{"key":"357_CR8","doi-asserted-by":"crossref","unstructured":"Bollig, B., H\u00e9lou\u00ebt, L.: Realizability of dynamic MSC languages. In Proc. of CSR (Computer Science in Russia), volume 6072 of LNCS, pp. 48\u201359. Springer, New York (2010)","DOI":"10.1007\/978-3-642-13182-0_5"},{"key":"357_CR9","unstructured":"Brand, D., Zafiropoulo, P.: On communicating finite state machines. Technical Report RZ1053, IBM Zurich Research Lab (1981)"},{"key":"357_CR10","unstructured":"Caillaud, B., Darondeau, P., H\u00e9lou\u00ebt, L., Lesventes, G.: HMSCs en tant que sp\u00e9cifications partielles et leurs compl\u00e9tions dans les r\u00e9seaux de Petri. Research Report RR-3970, INRIA (2000)"},{"issue":"8","key":"357_CR11","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C Fidge","year":"1991","unstructured":"Fidge, C.: Logical time in distributed computing systems. IEEE Comput 24(8), 28\u201333 (1991)","journal-title":"IEEE Comput"},{"key":"357_CR12","doi-asserted-by":"crossref","unstructured":"Genest, B., Muscholl, A., Seidl, H., Zeitoun, M.: Infinite-state high-level MSCs: Model-checking and realizability. In ICALP, volume 2380 of LNCS, pp. 657\u2013668 (2002)","DOI":"10.1007\/3-540-45465-9_56"},{"issue":"1","key":"357_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from lsc specifications. Int. J. Found. Comput. Sci. 13(1), 5\u201351 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"357_CR14","unstructured":"H\u00e9lou\u00ebt, L., Abdallah, R., Bhatia, D.: SOFAT : Scenario formal analysis toolbox (2011). www.irisa.fr\/distribcom\/Prototypes\/SOFAT\/"},{"key":"357_CR15","unstructured":"H\u00e9lou\u00ebt, L., Jard, C.: Conditions for synthesis of communicating automata from HMSCs. In 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS) (2000)"},{"key":"357_CR16","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory. Addison-Wesley, Languages and Computation (1979)"},{"key":"357_CR17","unstructured":"ITU-T. Z.120: Message sequence charts (MSC). Technical report, International Telecommunication Union (1998)"},{"key":"357_CR18","unstructured":"ITU-T. Z.100: Specification and description language (SDL). Technical report, International Telecommunication Union (2011)"},{"key":"357_CR19","unstructured":"ITU-T. Z.150: User requirements notation (URN)\u2014language requirements and framework. Technical report, International Telecommunication Union (2011)"},{"key":"357_CR20","unstructured":"Leue, S., Mehrmann, L., Rezai, M.: Synthesizing software architecture descriptions from message sequence chart specifications. In ASE, pp. 192\u2013195 (1998)"},{"key":"357_CR21","doi-asserted-by":"crossref","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In Proc. of SCESM \u201906: the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, pp. 5\u201312 (2006)","DOI":"10.1145\/1138953.1138956"},{"key":"357_CR22","doi-asserted-by":"crossref","unstructured":"Mansurov, N., Zhukov, D.: Automatic synthesis of sdl models in use case methodology, pp. 225\u2013240. In SDL, Forum (1999)","DOI":"10.1016\/B978-044450228-5\/50016-3"},{"key":"357_CR23","unstructured":"Mattern, F.: Time and global states of distributed systems. In: Proceedings of International Workshop on Parallel and Distributed Algorithms, Bonas, France, North Holland, pp. 215\u2013226 (1988)"},{"key":"357_CR24","doi-asserted-by":"crossref","unstructured":"Mukund, M., Kumar, K.N., Sohoni, M.: Synthesizing distributed finite-state systems from MSCs. In CONCUR, pp. 521\u2013535 (2000)","DOI":"10.1007\/3-540-44618-4_37"},{"key":"357_CR25","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Peled, D., Su, Z.: Deciding properties for Message Sequence Charts. In FoSSaCS, volume 1378 of LNCS, pp. 226\u2013242 (1998)","DOI":"10.1007\/BFb0053553"},{"key":"357_CR26","unstructured":"Object Management Group. UML 2.0: Unified Modeling, Language (2005)"},{"issue":"6","key":"357_CR27","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0020-0190(91)90008-6","volume":"39","author":"M Raynal","year":"1991","unstructured":"Raynal, M., Schiper, A., Toueg, S.: The causal ordering abstraction and a simple way to implement it. Inf. Process. Lett. 39(6), 343\u2013350 (1991)","journal-title":"Inf. Process. Lett."},{"key":"357_CR28","doi-asserted-by":"crossref","unstructured":"Saleh, K.: Synthesis of communications protocols: an annotated bibliography. SIGCOMM Comput. Commun. Rev. 26, 40\u201359 (1996)","DOI":"10.1145\/242896.242900"},{"key":"357_CR29","unstructured":"Uchitel, S., Kramer, J.: A workbench for synthesising behaviour models from scenarios. In ICSE, pp. 188\u2013197 (2001)"},{"key":"357_CR30","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in Message Sequence Chart specifications. In ESEC \/ SIGSOFT FSE, pp. 74\u201382 (2001)","DOI":"10.1145\/503209.503220"},{"key":"357_CR31","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. 13(1), 37\u201385 (2004)","DOI":"10.1145\/1005561.1005563"},{"key":"357_CR32","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.-M.: Revisiting statechart synthesis with an algebraic approach. In ICSE, pp. 242\u2013251 (2004)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0357-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0357-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0357-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,15]],"date-time":"2019-07-15T16:52:22Z","timestamp":1563209542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0357-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,18]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["357"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0357-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,18]]}}}