{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:11:51Z","timestamp":1760044311694,"version":"3.41.0"},"reference-count":56,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001352","name":"National University of Singapore","doi-asserted-by":"publisher","award":["T1251RES0815"],"award-info":[{"award-number":["T1251RES0815"]}],"id":[{"id":"10.13039\/501100001352","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2012,3]]},"abstract":"<jats:p>\n            Message sequence charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an interaction snippet between\n            <jats:italic>concrete<\/jats:italic>\n            objects in the system. This leads to voluminous specifications when the system contains several objects that are behaviorally similar. MSCs also play an important role in the model-based testing of reactive systems, where they may be used for specifying (partial) system behaviors, describing test generation criteria, or representing test cases. However, since the number of processes in a MSC specification are fixed, model-based testing of systems consisting of process classes may involve a significant amount of rework: for example, reconstructing system models, or regenerating test cases for systems differing only in the number of processes of various types.\n          <\/jats:p>\n          <jats:p>In this article we propose a scenario-based notation, called symbolic message sequence charts (SMSCs), for modeling, simulation, and testing of process classes. SMSCs are a lightweight syntactic and semantic extension of MSCs where, unlike MSCs, a SMSC lifeline can denote some\/all objects from a collection. Our extensions give us substantially more modeling power. Moreover, we present an abstract execution semantics for (structured collections of) SMSCs. This allows us to validate MSC-based system models capturing interactions between large, or even unbounded, number of objects. Finally, we describe a SMSC-based testing methodology for process classes, which allows generation of test cases for new object configurations with minimal rework.<\/jats:p>\n          <jats:p>Since our SMSC extensions are only concerned with MSC lifelines, we believe that they can be integrated into existing standards such as UML 2.0. We illustrate our SMSC-based framework for modeling, simulation, and testing of process classes using a weather-update controller case-study from NASA.<\/jats:p>","DOI":"10.1145\/2089116.2089122","type":"journal-article","created":{"date-parts":[[2012,3,20]],"date-time":"2012-03-20T12:04:05Z","timestamp":1332245045000},"page":"1-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Symbolic Message Sequence Charts"],"prefix":"10.1145","volume":"21","author":[{"given":"Abhik","family":"Roychoudhury","sequence":"first","affiliation":[{"name":"National University of Singapore"}]},{"given":"Ankit","family":"Goel","sequence":"additional","affiliation":[{"name":"National University of Singapore"}]},{"given":"Bikram","family":"Sengupta","sequence":"additional","affiliation":[{"name":"IBM India Research Lab"}]}],"member":"320","published-online":{"date-parts":[[2012,3]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.11.002"},{"key":"e_1_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Basanieri F. Bertolino A. and \n      Marchetti E\n  . \n  2002\n  . The cow suite approach to planning and deriving test suites in UML projects. In Proceedings of the 5th International Conference on the Unified Modeling Language Lecture Notes in Computer Science vol. \n  2460\n  . \n  Springer Berlin 275--303. Basanieri F. Bertolino A. and Marchetti E. 2002. The cow suite approach to planning and deriving test suites in UML projects. In Proceedings of the 5th International Conference on the Unified Modeling Language Lecture Notes in Computer Science vol. 2460. Springer Berlin 275--303.","DOI":"10.1007\/3-540-45800-X_30"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.084"},{"volume-title":"Proceedings of the 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML\u201901)","author":"Briand L. C.","key":"e_1_2_2_4_1","unstructured":"Briand , L. C. and Labiche , Y . 2001. A UML-based approach to system testing . In Proceedings of the 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML\u201901) . Springer, Berlin, 194--208. Briand, L. C. and Labiche, Y. 2001. A UML-based approach to system testing. In Proceedings of the 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML\u201901). Springer, Berlin, 194--208."},{"key":"e_1_2_2_5_1","volume-title":"Eds","author":"Broy M.","year":"2005","unstructured":"Broy , M. , Jonsson , B. , Katoen , J.-P. , Leucker , M. , and Prestchner , A . Eds . 2005 . Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science, vol. 3472 , Springer , Berlin. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., and Prestchner, A. Eds. 2005. Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science, vol. 3472, Springer, Berlin."},{"key":"e_1_2_2_6_1","unstructured":"CTAS. Center-tracon automation system (CTAS) for air traffic control. http:\/\/ctas.arc.nasa.gov\/. CTAS . Center-tracon automation system (CTAS) for air traffic control. http:\/\/ctas.arc.nasa.gov\/."},{"key":"e_1_2_2_7_1","unstructured":"CTRD. Requirements document. http:\/\/scesm04.upb.de\/case-study-2\/requirements.pdf\/. CTRD . Requirements document. http:\/\/scesm04.upb.de\/case-study-2\/requirements.pdf\/."},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_2_2_9_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Conference on Computer-Aided Verification","author":"Delzanno G.","unstructured":"Delzanno , G. 2000. Automatic verification of parameterized cache coherence protocols . In Proceedings of the Conference on Computer-Aided Verification . Lecture Notes in Computer Science , vol. 1855 , Springer , Berlin , 53--68. Delzanno, G. 2000. Automatic verification of parameterized cache coherence protocols. In Proceedings of the Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 1855, Springer, Berlin, 53--68."},{"volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE","author":"Fraikin F.","key":"e_1_2_2_10_1","unstructured":"Fraikin , F. and Leonhardt , T . 2002. SeDiTeC-testing based on sequence diagrams . In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE , Los Alamitos, CA, 261--266. Fraikin, F. and Leonhardt, T. 2002. SeDiTeC-testing based on sequence diagrams. In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE, Los Alamitos, CA, 261--266."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_3"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v16:4"},{"key":"e_1_2_2_13_1","doi-asserted-by":"crossref","unstructured":"Genest B. Minea M. Muscholl A. and \n      Peled D\n  . \n  2004\n  . Specifying and verifying partial order properties using template MSCs. In Foundations of Software Science and Computation Structures Lecture Notes in Computer Science vol. \n  2987 Springer Berlin 195--210. Genest B. Minea M. Muscholl A. and Peled D . 2004. Specifying and verifying partial order properties using template MSCs. In Foundations of Software Science and Computation Structures Lecture Notes in Computer Science vol. 2987 Springer Berlin 195--210.","DOI":"10.1007\/978-3-540-24727-2_15"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134328"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.36"},{"volume-title":"Proceedings of ICSE Companion. 419--420","author":"Goel A.","key":"e_1_2_2_16_1","unstructured":"Goel , A. , Sengupta , B. , and Roychoudhury , A . 2009. Footprinter: Round-trip engineering via scenario and state based models . In Proceedings of ICSE Companion. 419--420 . Goel, A., Sengupta, B., and Roychoudhury, A. 2009. Footprinter: Round-trip engineering via scenario and state based models. In Proceedings of ICSE Companion. 419--420."},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_1"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_2_19_1","doi-asserted-by":"crossref","unstructured":"Harel D. and Marelly R. 2003. Come Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer Berlin. Harel D. and Marelly R. 2003. Come Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer Berlin.","DOI":"10.1007\/978-3-642-19029-2"},{"key":"e_1_2_2_20_1","first-page":"4","article-title":"A test sequence selection method for Statecharts","volume":"10","author":"Hong H. S.","year":"2000","unstructured":"Hong , H. S. , Kim , Y. G. , 2000 . A test sequence selection method for Statecharts . Softw. Test. Verification Reliability 10 , 4 . Hong, H. S., Kim, Y. G., et al. 2000. A test sequence selection method for Statecharts. Softw. Test. Verification Reliability 10, 4.","journal-title":"Softw. Test. Verification Reliability"},{"key":"e_1_2_2_21_1","volume-title":"Proceedings of the Workshop on Formal Approaches to Testing of Software (FATES). 15--30","author":"Hong H. S.","year":"2001","unstructured":"Hong , H. S. , Lee , I. , 2001 . Automatic test generation from Statecharts using model checking . In Proceedings of the Workshop on Formal Approaches to Testing of Software (FATES). 15--30 . Hong, H. S., Lee, I., et al. 2001. Automatic test generation from Statecharts using model checking. In Proceedings of the Workshop on Formal Approaches to Testing of Software (FATES). 15--30."},{"key":"e_1_2_2_22_1","unstructured":"ITU-T Z.100. 1994. Specification and description language (SDL). ITU-T Recommendation Z.100. ITU-T Z.100 . 1994. Specification and description language (SDL). ITU-T Recommendation Z.100."},{"key":"e_1_2_2_23_1","unstructured":"ITU-T Z.120. 1999. Message sequence chart (MSC) ITU-T Recommendation Z.120. ITU-T Z.120 . 1999. Message sequence chart (MSC) ITU-T Recommendation Z.120."},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0153-x"},{"volume-title":"Foundations of Discrete Mathematics","author":"Joshi K. D.","key":"e_1_2_2_25_1","unstructured":"Joshi , K. D. 1989. Foundations of Discrete Mathematics . Wiley-Interscience . Joshi, K. D. 1989. Foundations of Discrete Mathematics. Wiley-Interscience."},{"key":"e_1_2_2_26_1","doi-asserted-by":"crossref","unstructured":"Knapp A. Merz S. and \n      Rauh C\n  . \n  2002\n  . Model checking timed UML state machines and collaborations. In Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. W. Damm and E. R. Olderog Eds. Lecture Notes in Computer Science vol. \n  2469\n  . \n  Springer Berlin 395--414. Knapp A. Merz S. and Rauh C. 2002. Model checking timed UML state machines and collaborations. In Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems . W. Damm and E. R. Olderog Eds. Lecture Notes in Computer Science vol. 2469. Springer Berlin 395--414.","DOI":"10.1007\/3-540-45739-9_23"},{"key":"e_1_2_2_27_1","volume-title":"Proceedings of the IEEE Workshop on Industrial Strength Formal Specification Techniques (WIFT). IEEE","author":"Koch B.","year":"1998","unstructured":"Koch , B. , Grabowski , J. , 1998 . Autolink: A tool for automatic test generation from SDL specifications . In Proceedings of the IEEE Workshop on Industrial Strength Formal Specification Techniques (WIFT). IEEE , Los Alamitos, CA, 114--125. Koch, B., Grabowski, J., et al. 1998. Autolink: A tool for automatic test generation from SDL specifications. In Proceedings of the IEEE Workshop on Industrial Strength Formal Specification Techniques (WIFT). IEEE, Los Alamitos, CA, 114--125."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0046-5"},{"key":"e_1_2_2_29_1","volume-title":"Lecture Notes in Computer Science","volume":"4422","author":"Kugler H.","unstructured":"Kugler , H. , Stern , M. , and Hubbard , E . 2007. Testing scenario-based models. In Fundamental Approaches to Software Engineering (FASE) . Lecture Notes in Computer Science , vol. 4422 , Springer, Berlin, 306--320. Kugler, H., Stern, M., and Hubbard, E. 2007. Testing scenario-based models. In Fundamental Approaches to Software Engineering (FASE). Lecture Notes in Computer Science, vol. 4422, Springer, Berlin, 306--320."},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00250-0"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582429"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00060-2"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754589.1754612"},{"key":"e_1_2_2_34_1","unstructured":"MOST. Media oriented system transport. http:\/\/www.mostcooperation.com\/. MOST . Media oriented system transport. http:\/\/www.mostcooperation.com\/."},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021867"},{"volume-title":"Proceedings of the International Conference on Software Engineering and Application (SEA). 315--321","author":"Niaz I. A.","key":"e_1_2_2_36_1","unstructured":"Niaz , I. A. and Tanaka , J . 2003. Code generation from UML statecharts . In Proceedings of the International Conference on Software Engineering and Application (SEA). 315--321 . Niaz, I. A. and Tanaka, J. 2003. Code generation from UML statecharts. In Proceedings of the International Conference on Software Engineering and Application (SEA). 315--321."},{"key":"e_1_2_2_37_1","volume-title":"Proceedings of the International Conference on The Unified Modeling Language. Lecture Notes in Computer Science","volume":"1723","author":"Offutt J.","unstructured":"Offutt , J. and Abdurazik , A . 1999. Generating tests from UML specifications . In Proceedings of the International Conference on The Unified Modeling Language. Lecture Notes in Computer Science , vol. 1723 , Springer, Berlin, 76--76. Offutt, J. and Abdurazik, A. 1999. Generating tests from UML specifications. In Proceedings of the International Conference on The Unified Modeling Language. Lecture Notes in Computer Science, vol. 1723, Springer, Berlin, 76--76."},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11424529_18"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.39"},{"key":"e_1_2_2_40_1","volume-title":"Proceedings of the Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science","volume":"2404","author":"Pnueli A.","unstructured":"Pnueli , A. , Xu , J. , and Zuck , L . 2002. Liveness with (0,1,\u221e)-counter abstraction . In Proceedings of the Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science , vol. 2404 , Springer, Berlin, 93--111. Pnueli, A., Xu, J., and Zuck, L. 2002. Liveness with (0,1,\u221e)-counter abstraction. In Proceedings of the Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 2404, Springer, Berlin, 93--111."},{"key":"e_1_2_2_41_1","volume-title":"Proceedings of the Formal Approaches to Testing of Software (BRICS). 47--60","author":"Pretschner A.","year":"2001","unstructured":"Pretschner , A. 2001 . Classical search strategies for test case generation with constraint logic programming . In Proceedings of the Formal Approaches to Testing of Software (BRICS). 47--60 . Pretschner, A. 2001. Classical search strategies for test case generation with constraint logic programming. In Proceedings of the Formal Approaches to Testing of Software (BRICS). 47--60."},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062529"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_15"},{"volume-title":"EATCS Monographs in Theoretical Computer Science 4.","author":"Reisig W.","key":"e_1_2_2_44_1","unstructured":"Reisig , W. 1985. Petri nets: An introduction . In EATCS Monographs in Theoretical Computer Science 4. Reisig, W. 1985. Petri nets: An introduction. In EATCS Monographs in Theoretical Computer Science 4."},{"key":"e_1_2_2_46_1","unstructured":"Rhap. Telelogic Rhapsody. http:\/\/modeling.telelogic.com\/modeling\/products\/rhapsody\/. Rhap . Telelogic Rhapsody. http:\/\/modeling.telelogic.com\/modeling\/products\/rhapsody\/."},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287663"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/647982.743536"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587077"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/1153917.1153980"},{"key":"e_1_2_2_52_1","first-page":"103","article-title":"Test generation with inputs, outputs and repetitive quiescence","volume":"17","author":"Tretmans J.","year":"1996","unstructured":"Tretmans , J. 1996 . Test generation with inputs, outputs and repetitive quiescence . Softw. Concepts Tools 17 , 3, 103 -- 120 . Tretmans, J. 1996. Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17, 3, 103--120.","journal-title":"Softw. Concepts Tools"},{"volume-title":"Proceedings of the 3rd Workshop on Embedded Systems (Progress\u201902)","author":"Tretmans J.","key":"e_1_2_2_53_1","unstructured":"Tretmans , J. and Brinksma , E . 2002. C&circ;ote de Resyste -- Automated model based testing . In Proceedings of the 3rd Workshop on Embedded Systems (Progress\u201902) . STW Technology Foundation, 246--255. Tretmans, J. and Brinksma, E. 2002. C&circ;ote de Resyste -- Automated model based testing. In Proceedings of the 3rd Workshop on Embedded Systems (Progress\u201902). STW Technology Foundation, 246--255."},{"key":"e_1_2_2_54_1","unstructured":"UBET. 1999. UBET. http:\/\/cm.bell-labs.com\/cm\/cs\/what\/ubet\/. UBET . 1999. UBET. http:\/\/cm.bell-labs.com\/cm\/cs\/what\/ubet\/."},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605484"},{"key":"e_1_2_2_56_1","volume-title":"Proceedings of the Conference in Practical Aspects of Declarative Languages (PADL). Lecture Notes in Computer Science","volume":"3057","author":"Wang T.","unstructured":"Wang , T. , Roychoudhury , A. , Yap , R. , and Choudhary , S . 2004. Symbolic execution of behavioral requirements . In Proceedings of the Conference in Practical Aspects of Declarative Languages (PADL). Lecture Notes in Computer Science , vol. 3057 , Springer, Berlin, 178--192. Wang, T., Roychoudhury, A., Yap, R., and Choudhary, S. 2004. Symbolic execution of behavioral requirements. In Proceedings of the Conference in Practical Aspects of Declarative Languages (PADL). Lecture Notes in Computer Science, vol. 3057, Springer, Berlin, 178--192."},{"volume-title":"Proceedings of the 7th International Conference on Object Oriented Information Systems (OOIS). 303--306","author":"Wittevrongel J.","key":"e_1_2_2_57_1","unstructured":"Wittevrongel , J. and Maurer , F . 2001. Using UML to partially automate generation of scenario-based test drivers . In Proceedings of the 7th International Conference on Object Oriented Information Systems (OOIS). 303--306 . Wittevrongel, J. and Maurer, F. 2001. Using UML to partially automate generation of scenario-based test drivers. In Proceedings of the 7th International Conference on Object Oriented Information Systems (OOIS). 303--306."},{"key":"e_1_2_2_58_1","unstructured":"XSB. Logic programming system. http:\/\/xsb.sourceforge.net\/. XSB . Logic programming system. http:\/\/xsb.sourceforge.net\/."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2089116.2089122","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2089116.2089122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:10Z","timestamp":1750254970000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2089116.2089122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":56,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["10.1145\/2089116.2089122"],"URL":"https:\/\/doi.org\/10.1145\/2089116.2089122","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2012,3]]},"assertion":[{"value":"2009-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}