{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:10:33Z","timestamp":1740262233050,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261896"},{"type":"electronic","value":"9783540320326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11495628_11","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T12:03:05Z","timestamp":1279022585000},"page":"193-211","source":"Crossref","is-referenced-by-count":4,"title":["Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Florian","family":"Klein","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Burmester","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","first-page":"38","volume-title":"Proc. of the European Software Engineering Conference (ESEC)","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, pp. 38\u201347. ACM Press, New York (2003)"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-0-387-35570-2_5","volume-title":"Distributed and Parallel Embedded Systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61\u201371. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"M\u00e4kinen, E., Syst\u00e4, T.: MAS - an interactive synthesizer to support behavioral modeling in UML. In: Proceedings of the 23 rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 15\u201324 (2001)","DOI":"10.1109\/ICSE.2001.919077"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J.: A Workbench for Synthesising Behviour models from Scenarios. In: Proceedings of the 23 rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 188\u2013197 (2001)","DOI":"10.1109\/ICSE.2001.919093"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: Proceedings of the 22nd international conference on on Software engineering, Limerick Ireland, June 4 - 11 (2000)","DOI":"10.1145\/337180.337217"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/3-540-46852-8_46","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"X. Li","year":"1999","unstructured":"Li, X., Lilius, J.: Timing Analysis of UML Sequence Diagrams. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 661\u2013674. Springer, Heidelberg (1999)"},{"key":"11_CR7","unstructured":"Som\u00e9, S., Dssouli, R., Vaucher, J.: From Scenarios to Timed Automata: Building Specifications from Users Requirements. In: Proceedings of the 1995 Asia Pacific Software Engineering Conference, APSEC 1995 (1995)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1016\/S0950-5849(03)00068-5","volume":"45","author":"A. Salah","year":"2003","unstructured":"Salah, A., Dssouli, R., Lapalme, G.: Implicit integration of scenarios into a reduced timed automaton. Information and Software Technology\u00a045, 715\u2013725 (2003)","journal-title":"Information and Software Technology"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. In: Proc. 10th IEEE\/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), Fort Worth, Texas, USA (2002) (invited paper)","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Giese, H., Burmester, S.: Analysis and Synthesis for Parameterized Timed Sequence Diagrams. In: Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM) (ICSE 2003 Workshop W5S), Edinburgh, Scotland (2004)","DOI":"10.1049\/ic:20040236"},{"key":"11_CR11","unstructured":"Burmester, S., Giese, H.: The Fujaba Real-Time Statechart PlugIn. In: Proc. of the Fujaba Days 2003, Kassel, Germany (2003)"},{"key":"11_CR12","volume-title":"Proc. of IEEE Symposium on Logic in Computer Science","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Proc. of IEEE Symposium on Logic in Computer Science. IEEE Computer Press, Los Alamitos (1992)"},{"key":"11_CR13","unstructured":"Hirsch, M., Giese, H.: Towards the Incremental Model Checking of Complex RealTime UML Models. In: Proc. of the Fujaba Days 2003, Kassel, Germany (2003)"},{"key":"11_CR14","volume-title":"Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE\/PSTV 1997","author":"H. Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., Leue, S.: Timing Constraints in Message Sequence Chart Specifications. In: Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE\/PSTV 1997, Osaka, Japan. Chapman and Hall, Boca Raton (1997)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/270580.270582","volume":"3","author":"K. Khordoc","year":"1998","unstructured":"Khordoc, K., Cerny, E.: Semantics and verification of action diagrams with linear timing. ACM Transactions on Design Automation of Electronic Systems (TODAES)\u00a03, 21\u201350 (1998)","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"11_CR16","unstructured":"Object Management Group: UML 2.0 Superstructure Specification, Document ptc\/03-08-02 (2003)"},{"key":"11_CR17","volume-title":"Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Softare Engineering (FSE-10)","author":"B. Sengupta","year":"2002","unstructured":"Sengupta, B., Cleaveland, R.: Triggered Message Sequence Charts. In: Griswold, W.G. (ed.) Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Softare Engineering (FSE-10), Charleston, South Carolina, USA, November 2002. ACM Press, New York (2002)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Leue, S., Rezai, M.: Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. In: Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering (1998)","DOI":"10.1109\/ASE.1998.732635"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-61042-1_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 35\u201348. Springer, Heidelberg (1996)"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1145\/167088.167242","volume-title":"Proceedings of the twenty-fifth annual ACM symposium on Theory of computing","author":"R. Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, pp. 592\u2013601. ACM Press, New York (1993)"},{"key":"11_CR21","first-page":"74","volume-title":"Proceedings of the Joint 8 th European Software Engineering Conference (ESEC) and 9 th ACM SIGSOFT Symposium on the Foundation of Software Engineering (FSE-9)","author":"S. Uchitel","year":"2001","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting Implied Scenarios in Message Sequence Chart Specifications. In: Gruhn, V. (ed.) Proceedings of the Joint 8 th European Software Engineering Conference (ESEC) and 9 th ACM SIGSOFT Symposium on the Foundation of Software Engineering (FSE-9), Vienna, Austria, September 10-14, pp. 74\u201382. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Scenarios: Models, Transformations and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11495628_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T21:39:15Z","timestamp":1740260355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11495628_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261896","9783540320326"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11495628_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}