{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:02:53Z","timestamp":1725494573429},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418634"},{"type":"electronic","value":"9783540453147"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45314-8_12","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:01:23Z","timestamp":1194955283000},"page":"156-170","source":"Crossref","is-referenced-by-count":2,"title":["On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design"],"prefix":"10.1007","author":[{"given":"Francis","family":"Bordeleau","sequence":"first","affiliation":[]},{"given":"Jean-Pierre","family":"Corriveau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"12_CR1","unstructured":"Object Management Group: OMG Unified Modeling Language Specification."},{"key":"12_CR2","unstructured":"Henderson-Sellers, B. and Firesmith, D.: The Open Modeling Language Reference Manual, Cambridge University Press, 1998."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Corriveau, J.-P.: Traceability and Process for Large OO projects, IEEE Computer, pp. 63\u201368, 1996 (also available in a longer version in: Technology of Object-Oriented Languages and Systems (TOOLS-USA-96), Santa-Barbara, August 1996.","DOI":"10.1109\/2.536785"},{"key":"12_CR4","volume-title":"A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines","author":"F. Bordeleau","year":"1999","unstructured":"Bordeleau, F.: A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines. Ph.D. Thesis, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, 1999. (Available at http:\/\/www.scs.carleton.ca\/~francis"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: StateCharts: A Visual Formalism for Complex Systems, Science of Computer Programming, Vol. 8, pp. 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"12_CR6","unstructured":"Buhr, R. J. A. and Casselman R. S.: Use Case Maps for Object-Oriented Systems, Prentice Hall, 1996."},{"key":"12_CR7","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, Addison-Wesley, 1999."},{"key":"12_CR8","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction, Addison-Wesley, 1999."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Bordeleau, F., Corriveau, J.-P., Selic, B.: A Scenario-Based Approach for Hierarchical State Machine Design, Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC\u20192000), Newport Beach, California, March 15-17, 2000.","DOI":"10.1109\/ISORC.2000.839514"},{"key":"12_CR10","unstructured":"ITU (1996): Message Sequence Charts (MSC\u201996), Recommendation Z.120, Geneva."},{"key":"12_CR11","unstructured":"Firesmith, D.: The Pros and Cons of Use Cases, ROAD, May 1996."},{"key":"12_CR12","unstructured":"Jacobson, I. et al.: Object Oriented Software Engineering, Addison-Wesley, 1994."},{"key":"12_CR13","unstructured":"Haugen, O.: MSC Methodology, SISU II Report L-1313-7, Oslo, Norway, 1994."},{"key":"12_CR14","unstructured":"ITU (1993): Message Sequence Charts (MSC\u201993). Recommendation Z.120, Geneva."},{"key":"12_CR15","unstructured":"ITU (1992): Specification and Description Language (SDL\u201992), Recommendation Z.100, Geneva."},{"issue":"7","key":"12_CR16","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1002\/spe.4380240704","volume":"24","author":"K. Koskimies","year":"1994","unstructured":"Koskimies, K., Makinen, E.: Automatic Synthesis of State Machines from Trace Diagrams, Software-Practice and Experience, vol. 24, No. 7, pp. 643\u2013658 (July 1994).","journal-title":"Software-Practice and Experience"},{"key":"12_CR17","series-title":"TR","volume-title":"Synthesizing ROOM Models From Message Sequence Charts Specifications","author":"S. Leue","year":"1998","unstructured":"Leue, S., Mehrmann, L., Rezai M.: Synthesizing ROOM Models From Message Sequence Charts Specifications, TR 98-06, Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Canada, 1998."},{"key":"12_CR18","unstructured":"ITU (1996): Message Sequence Charts (\u201996), Recommendation Z.120, Geneva."},{"key":"12_CR19","unstructured":"Selic, B., Gullickson, G., and Ward, P.T.: Real-time Object-Oriented Modeling, Wiley, 1994."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications, Proceedings of Fifth International Conference on Implementation and Application of Automata (CIAA2000), Le","DOI":"10.1007\/3-540-44674-5_1"},{"key":"12_CR21","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: A System of Patterns, Wiley, 1996."},{"key":"12_CR22","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns-Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994."},{"key":"12_CR23","unstructured":"Vlissides, J., Coplien, J.O., Kerth, N.L.: Pattern Languages of Program Design, Addison-Wesley, 1996."},{"key":"12_CR24","unstructured":"Douglass, B.: Doing Hard Time. Addison-Wesley, 2000."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45314-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T06:10:43Z","timestamp":1556950243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45314-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418634","9783540453147"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45314-8_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}