{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:52:06Z","timestamp":1771699926276,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,7,18]],"date-time":"2007-07-18T00:00:00Z","timestamp":1184716800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2007,10,8]]},"DOI":"10.1007\/s00766-007-0053-1","type":"journal-article","created":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T05:49:24Z","timestamp":1184651364000},"page":"245-264","source":"Crossref","is-referenced-by-count":10,"title":["Unified use case statecharts: case studies"],"prefix":"10.1007","volume":"12","author":[{"given":"Davor","family":"Svetinovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel M.","family":"Berry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy A.","family":"Day","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael W.","family":"Godfrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,18]]},"reference":[{"key":"53_CR1","unstructured":"Br\u00e6k R, Haugen \u00d8 (1993) Engineering real time systems: an object-oriented methodology using SDL. Prentice Hall International, Hertfordshire"},{"key":"53_CR2","volume-title":"Writing effective use cases","author":"A Cockburn","year":"2000","unstructured":"Cockburn A (2000) Writing effective use cases. Addison-Wesley, Reading"},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"Damas C, Lambeau B, van Lamsweerde A (2006) Scenarios, goals, and state machines: a win-win partnership for model synthesis. In: SIGSOFT \u201906\/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on foundations of software engineering. ACM Press, New York, pp 197\u2013207","DOI":"10.1145\/1181775.1181800"},{"key":"53_CR4","volume-title":"Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns","author":"BP Douglass","year":"1999","unstructured":"Douglass BP (1999) Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns. Addison-Wesley Longman Publishing Co., Inc., Boston"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Glinz M (1995) An integrated formal model of scenarios based on statecharts. In: Proceedings of the 5th European software engineering conference. Springer, London, pp 254\u2013271","DOI":"10.1007\/3-540-60406-5_19"},{"key":"53_CR6","unstructured":"Glinz M (2002) Statecharts for requirements specification\u2014as simple as possible, as rich as needed. In: Proceedings of the ICSE2002 workshop on scenarios and state machines: models, algorithms, and tools"},{"issue":"6","key":"53_CR7","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/S0306-4379(02)00015-7","volume":"27","author":"M Glinz","year":"2002","unstructured":"Glinz M, Berner S, Joos S (2002) Object-oriented modeling with ADORA. Inf Syst 27(6):425\u2013444","journal-title":"Inf Syst"},{"key":"53_CR8","unstructured":"Gomaa H (2001) Designing concurrent, distributed, and real-time applications with UML. In: ICSE \u201901: proceedings of the 23rd international conference on software engineering. IEEE Computer Society, Washington, pp 737\u2013738"},{"issue":"3","key":"53_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"issue":"5","key":"53_CR10","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D Harel","year":"1988","unstructured":"Harel D (1988) On visual formalisms. Commun ACM 31(5):514\u2013530","journal-title":"Commun ACM"},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"Harel D, Kugler H, Pnueli A (2005) Synthesis revisited: generating statechart models from scenario-based requirements. In: Lecture Notes in Computer Science, vol 3393 of LCNS. Springer, pp 309\u2013324","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"53_CR12","volume-title":"Object-oriented software engineering: a use case driven approach","author":"I Jacobson","year":"1992","unstructured":"Jacobson I (1992) Object-oriented software engineering: a use case driven approach. Addison Wesley Longman Publishing Co., Inc., Redwood City"},{"key":"53_CR13","doi-asserted-by":"crossref","unstructured":"Khriss I, Elkoutbi M, Keller RK (1999) Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In: UML\u201998: selected papers from the First International workshop on The Unified Modeling Language UML\u201998. Springer, London, UK, pp 132\u2013147","DOI":"10.1007\/978-3-540-48480-6_11"},{"issue":"4","key":"53_CR14","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/1232743.1232745","volume":"50","author":"J Kramer","year":"2007","unstructured":"Kramer J (2007) Is abstraction the key to computing? Commun ACM. 50(4):36\u201342","journal-title":"Commun ACM"},{"key":"53_CR15","volume-title":"Applying UML and patterns: an introduction to object-oriented analysis and design and the unified process","author":"C Larman","year":"2001","unstructured":"Larman C (2001) Applying UML and patterns: an introduction to object-oriented analysis and design and the unified process, 2nd edn. Prentice Hall, Englewood Cliffs","edition":"2"},{"key":"53_CR16","doi-asserted-by":"crossref","unstructured":"Liang H, Dingel J, Diskin Z (2006) A comparative survey of scenario-based to state-based model synthesis approaches. In: SCESM \u201906: proceedings of the 2006 international workshop on scenarios and state machines: models, algorithms, and tools. ACM Press, New York, pp 5\u201312","DOI":"10.1145\/1138953.1138956"},{"key":"53_CR17","doi-asserted-by":"crossref","unstructured":"Lilly S (1999) Use case pitfalls: top 10 problems from real projects using use cases. In: Proceedings technology of object-oriented languages and systems. IEEE Computer Society, Washington, pp 1974\u2013183","DOI":"10.1109\/TOOLS.1999.787547"},{"issue":"1","key":"53_CR18","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J Mylopoulos","year":"1999","unstructured":"Mylopoulos J, Chung L, Yu E (1999) From object-oriented to goal-oriented requirements analysis. Commun ACM 42(1):31\u201337","journal-title":"Commun ACM"},{"key":"53_CR19","volume-title":"The unified modeling language reference manual","author":"J Rumbaugh","year":"2004","unstructured":"Rumbaugh J, Jacobson I, Booch G (2004) The unified modeling language reference manual, 2nd edn. Addison-Wesley, Reading","edition":"2"},{"issue":"1","key":"53_CR20","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/s00766-004-0192-6","volume":"10","author":"H Saiedian","year":"2005","unstructured":"Saiedian H, Kumarakulasingam P, Anan M (2005) Scenario-based requirements analysis techniques for real-time software systems: a comparative evaluation. Requir Eng 10(1):22\u201333","journal-title":"Requir Eng"},{"key":"53_CR21","doi-asserted-by":"crossref","unstructured":"Som\u00e9 S, Dssouli R, Vaucher J (1995) From scenarios to timed automata: building specifications from users requirements. In: APSEC \u201995: proceedings of the 2nd Asia Pacific software engineering conference. IEEE Computer Society, Washington, pp 48\u201357","DOI":"10.1109\/APSEC.1995.496953"},{"issue":"1","key":"53_CR22","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.infsof.2005.02.006","volume":"48","author":"SS Som\u00e9","year":"2006","unstructured":"Som\u00e9 SS (2006) Supporting use case based requirements engineering. Inf Softw Technol 48(1):43\u201358","journal-title":"Inf Softw Technol"},{"key":"53_CR23","doi-asserted-by":"crossref","unstructured":"Svetinovic D, Berry DM, Godfrey M (2005) Concept identification in object-oriented domain analysis: why some students just don\u2019t get it. In: Proceedings of the IEEE international conference on requirements engineering RE\u201905, pp 189\u2013198","DOI":"10.1109\/RE.2005.17"},{"issue":"10","key":"53_CR24","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A van Lamsweerde","year":"2000","unstructured":"van Lamsweerde A, Letier E (2000) Handling obstacles in goal-oriented requirements engineering. IEEE Trans Softw Eng 26(10):978\u20131005","journal-title":"IEEE Trans Softw Eng"},{"issue":"12","key":"53_CR25","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A van Lamsweerde","year":"1998","unstructured":"van Lamsweerde A, Willemet L (1998) Inferring declarative requirements specifications from operational scenarios. IEEE Trans Softw Eng 24(12):1089\u20131114","journal-title":"IEEE Trans Softw Eng"},{"key":"53_CR26","doi-asserted-by":"crossref","unstructured":"Whittle J, Schumann J (2000) Generating statechart designs from scenarios. In: ICSE \u201900: proceedings of the 22nd international conference on software engineering. ACM Press, New York, pp 314\u2013323","DOI":"10.1145\/337180.337217"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-007-0053-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-007-0053-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-007-0053-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T05:59:27Z","timestamp":1559109567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-007-0053-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,18]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10,8]]}},"alternative-id":["53"],"URL":"https:\/\/doi.org\/10.1007\/s00766-007-0053-1","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,18]]}}}