{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:30:53Z","timestamp":1725474653235},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540683711"},{"type":"electronic","value":"9783540683735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11951148_6","type":"book-chapter","created":{"date-parts":[[2006,12,5]],"date-time":"2006-12-05T11:22:53Z","timestamp":1165317773000},"page":"82-98","source":"Crossref","is-referenced-by-count":3,"title":["Timed High-Level Message Sequence Charts for Real-Time System Design"],"prefix":"10.1007","author":[{"given":"Tai Hyo","family":"Kim","sequence":"first","affiliation":[]},{"given":"Sung Deok","family":"Cha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of msc graphs. In: Proceedings of the 28th International Colloquium on Automata, Languages, and Programming (2001)","DOI":"10.1007\/3-540-48224-5_65"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G., Peled, D.: An Analyzer for Message Sequence Charts. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, Springer, Heidelberg (1996)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Andre, C., Peraldi-Frati, M.A., Rigault, J.P.: Scenario and property checking of real-time systems using a synchronous approach. In: Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (2001)","DOI":"10.1109\/ISORC.2001.922869"},{"key":"6_CR4","unstructured":"Belachew, M., Shyamasundar, R.K.: MSC+: From Requirement to Prototyped Systems. In: Proceding of the 13th EuroMicro Conference on Real-Time Systems (2001)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Ben-Abdallah, H., Leue, S.: Expressing and analyzing timing constraints in message sequence chart specifications. Technical Report 97-04, Dept. of Electrical and Computer Engineering, University of Waterloo (1997)","DOI":"10.1007\/978-0-387-35271-8_6"},{"key":"6_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: Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (1997)","DOI":"10.1007\/BFb0035393"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bontemps, Y., Heymans, P., Schobbens, P.: From live sequence charts to state machines and back: A guided tour. IEEE Transactions on Software Engineering\u00a031(12) (2005)","DOI":"10.1109\/TSE.2005.137"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"6_CR9","unstructured":"Heymer, S.: A Semantics for MSC based on Petri\u2013Net Components. Technical Report A-00-12, Schriftenreihe der Institute f\u00fcr Informatik\/Mathematik, Medical University at L\u00fcbeck, Germany (2000)"},{"key":"6_CR10","unstructured":"ITU-T. Z120: Message Sequence Charts 2000. ITU-T (2001)"},{"key":"6_CR11","unstructured":"Katoen, J.P., Lambert, L.: Pomsets for message sequence charts. In: Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC (1998)"},{"key":"6_CR12","unstructured":"Korean Aerospace Research Institute (KARI). GX-SDA-001B: KOMPSAT (Korea Multi-Purpose Satellite), Software Requirements Specification (January 1999)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/3-540-36578-8_27","volume-title":"Fundamental Approaches to Software Engineering","author":"I.H. Kr\u00fcger","year":"2003","unstructured":"Kr\u00fcger, I.H.: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 387\u2013402. Springer, Heidelberg (2003)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. Distributed and Parallel Embedded Systems (1999)","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Ladkin, P.B., Leue, S.: Interpeting message flow graph. Formal Aspects of Computing\u00a07(5) (1995)","DOI":"10.1007\/BF01211629"},{"key":"6_CR16","unstructured":"Lambert, L.: PMSC for Performance Evaluation. In: Proceedings of the 1st Workshop on Performance and Time in SDL\/MSC (1998)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Li, X., Lilius, J.: Timing analysis of message sequence chart. Technical Report Technical Report 255, Turku Centre for Computer Science TUCS (1999)","DOI":"10.1007\/3-540-46852-8_46"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Maigat, P.L., Helou\u00ebt, L.: A (max,+) approach for time in message sequence charts. In: Proceedings of the 5th Workshop on Discrete Event Systems (2000)","DOI":"10.1007\/978-1-4615-4493-7_8"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Mauw, S., Reniers, M.A.: Operational Semantics for MSC 1996. Computer Networks and ISDN Systems\u00a035(17) (1999)","DOI":"10.1016\/S1389-1286(99)00060-2"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modeling Concurrency with Partial Orders. International Journal of Parallel Programming\u00a015(1) (1986)","DOI":"10.1007\/BF01379149"},{"key":"6_CR21","unstructured":"Slomka, F., Zant, J., Lambert, L.: MSC-based Schedulability Analysis. In: Proceedings of Workshop on Performance and Time in SDL and MSC (1998)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of bahavioral models from scenarios. IEEE Transactions on Software Engineering\u00a029(2) (2003)","DOI":"10.1109\/TSE.2003.1178048"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Zheng, T., Khendek, F.: Time Consistency of MSC 2000 Specifications. Computer Networks\u00a042(3) (2003)","DOI":"10.1016\/S1389-1286(03)00245-7"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Zheng, T., Khendek, F., Helou\u00ebt, L.: A Semantics for Timed MSC. In: Proceedings of the International Workshop on Validation and Implementation of Scenario Specifications (VISS) (2002)","DOI":"10.1016\/S1571-0661(04)80486-9"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: Language Profiles"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11951148_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:50Z","timestamp":1619508050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11951148_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540683711","9783540683735"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11951148_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}