{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T23:10:31Z","timestamp":1739920231527,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540245612"},{"type":"electronic","value":"9783540318101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31810-1_9","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T15:43:49Z","timestamp":1267458229000},"page":"122-137","source":"Crossref","is-referenced-by-count":0,"title":["Scenario Synthesis from Imprecise Requirements"],"prefix":"10.1007","author":[{"given":"Bill","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Thomson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Bristow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Proceedings of the Tenth International Conference on Concurrency Theory","author":"R. Alur","year":"1999","unstructured":"Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Proceedings of the Tenth International Conference on Concurrency Theory, Springer, Heidelberg (1999)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. In: Proceedings 22nd International Conference on Software Engineering, pp. 304\u2013313 (2000)","DOI":"10.1145\/337180.337215"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bontemps, Y., Schobbens, P.-Y.: Synthesis of Open Reactive Systems from Scenario-Based Specifications. In: Third International Conference on Application of Concurrency to System Design, ACSD 2003 (2003)","DOI":"10.1109\/CSD.2003.1207698"},{"key":"9_CR4","unstructured":"Bontemps, Y., Heymens, P.: Turning high-level live sequence charts into automata. In: Proc. of Scenarios and State Machines: Models Algorithms and Tools, 24th International Conf. on Software Engineering (May 2002)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-36573-7_12","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"P. Baker","year":"2003","unstructured":"Baker, P., Bristow, P., Jervis, C., King, D., Mitchell, B.: Automatic Generation of Conformance Tests From Message Sequence Charts. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 170\u2013198. Springer, Heidelberg (2003)"},{"key":"9_CR6","volume-title":"Formal Description Techniques (FORTE)","author":"T. Gehrke","year":"1998","unstructured":"Gehrke, T., Hilhn, M., Wehrkeim, H.: An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Description Techniques (FORTE), Chapman Hall, Boca Raton (1998)"},{"key":"9_CR7","first-page":"137","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. ournal of the ACM\u00a032, 137\u2013161 (1985)","journal-title":"ournal of the ACM"},{"key":"9_CR8","unstructured":"ITU-T: Recommendation Z.120 (11\/99) Message Sequence Chart (MSC). International Telecommunication Union, Geneva"},{"key":"9_CR9","first-page":"77","volume-title":"Feature Interactions in Telecommunications and Software Systems","author":"B. Mitchell","year":"2003","unstructured":"Mitchell, B., Thomson, R., Jervis, C.: Phase Automaton for Requirements Scenarios. In: Amyot, D., Logrippo, L. (eds.) Feature Interactions in Telecommunications and Software Systems, vol.\u00a0VII, pp. 77\u201384. IOS Press, Amsterdam (2003)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Mitchell, B., Thomson, R., Bristow, P.: Imprecise Synthesis. In: Proc. of Scenarios and State Machines: Models Algorithms and Tools, 24th International Conf. on Software Engineering (May 2002): To appear IEE publications (2004)","DOI":"10.1049\/ic:20040235"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Schumann, J., Whittle, J.: Generating Statechart Designs From Scenarios. In: Proceedings 22nd International Conference on Software Engineering (2000)","DOI":"10.1145\/337180.337217"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering\u00a029(2) (February 2003)","DOI":"10.1109\/TSE.2003.1178048"},{"key":"9_CR13","unstructured":"Wong, E., Horgan, J.R., Zage, W., Zage, D., Syring, M.: Applying Design Metrics to a Large-Scale Software System (Motorola). In: Proceedings of the 9th International Symposium on Software Engineering Reliability (ISSRE 1998), Paderborn, Germany, November 4-7 (1998)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31810-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T22:38:45Z","timestamp":1739918325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31810-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540245612","9783540318101"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31810-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}