{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:11:54Z","timestamp":1726409514730},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319952451"},{"type":"electronic","value":"9783319952468"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95246-8_28","type":"book-chapter","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T02:50:32Z","timestamp":1531968632000},"page":"504-523","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Augmenting State Models with Data Flow"],"prefix":"10.1007","author":[{"given":"Nis","family":"Wechselberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Schulz-Rosengarten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,20]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2003.05.007","volume":"88","author":"C Andr\u00e9","year":"2004","unstructured":"Andr\u00e9, C.: Computing SyncCharts reactions. Electr. Notes Theor. Comput. Sci 88, 3\u201319 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"28_CR2","unstructured":"Brooks, C., Cheng, C.H.P., Feng, T.H., Lee, E.A., von Hanxleden, R.: Model engineering using multimodeling. In: Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM 2008), a Workshop at MODELS 2008, September 2008"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: Proceedings of the first ACM SIGPLAN International Conference on Functional Programming ICFP 1996, pp. 226\u2013238 (1996)","DOI":"10.1145\/232627.232651"},{"issue":"6","key":"28_CR4","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MC.2014.147","volume":"47","author":"B Combemale","year":"2014","unstructured":"Combemale, B., DeAntoni, J., Baudry, B., France, R.B., J\u00e9z\u00e9quel, J., Gray, J.: Globalizing modeling languages. Computer 47(6), 68\u201371 (2014)","journal-title":"Computer"},{"key":"28_CR5","volume-title":"Graph Drawing: Algorithms for the Visualization of Graphs","author":"G Battista Di","year":"1999","unstructured":"Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall, Upper Saddle River (1999)"},{"key":"28_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-46505-8","volume-title":"Software Visualization: Visualizing the Structure, Behavior and Evolution of Software","author":"S Diehl","year":"2007","unstructured":"Diehl, S.: Software Visualization: Visualizing the Structure, Behavior and Evolution of Software. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-46505-8"},{"key":"28_CR7","unstructured":"Feng, T.H., Lee, E.A., Liu, X., Motika, C., von Hanxleden, R., Zheng, H.: Finite state machines. In: Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org (2014)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-12566-9_7","volume-title":"Foundations of Computer Software. Future Trends and Techniques for Development","author":"H Fuhrmann","year":"2010","unstructured":"Fuhrmann, H., von Hanxleden, R.: On the pragmatics of model-based design. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol. 6028, pp. 116\u2013140. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12566-9_7"},{"key":"28_CR9","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Grundy, J.C., Hosking, J., Huh, J., Li, K.N.L.: Marama: An Eclipse meta-toolset for generating multi-view environments. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pp. 819\u2013822. ACM (2008)","DOI":"10.1145\/1368088.1368210"},{"issue":"9","key":"28_CR11","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., Duderstadt, B., Motika, C., Smyth, S., Mendler, M., Aguado, J., Mercer, S., O\u2019Brien, O.: SCCharts: sequentially constructive statecharts for safety-critical applications. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014). ACM, June 2014","DOI":"10.1145\/2594291.2594310"},{"issue":"3","key":"28_CR13","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. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"28_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1013208.1013209","volume":"36","author":"WM Johnston","year":"2004","unstructured":"Johnston, W.M., Hanna, J.R.P., Millar, R.J.: Advances in dataflow programming languages. ACM Comput. Surv. (CSUR) 36(1), 1\u201334 (2004)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"28_CR15","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, J.L. (ed.) Information Processing 74: Proceedings of the IFIP Congress 74, pp. 471\u2013475. IFIP, North-Holland Publishing Co., August 1974"},{"key":"28_CR16","unstructured":"Klauske, L.K., Dziobek, C.: Improving modeling usability: automated layout generation for Simulink. In: Proceedings of the MathWorks Automotive Conference (MAC 2010) (2010)"},{"issue":"3","key":"28_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"EA Lee","year":"2003","unstructured":"Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. J. Circ. Syst. Comput. 12(3), 231\u2013260 (2003)","journal-title":"J. Circ. Syst. Comput."},{"issue":"6","key":"28_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/203241.203251","volume":"38","author":"M Petre","year":"1995","unstructured":"Petre, M.: Why looking isn\u2019t always seeing: readership skills and graphical programming. Commun. ACM 38(6), 33\u201344 (1995)","journal-title":"Commun. ACM"},{"key":"28_CR19","unstructured":"von Pilgrim, J.: Mental map and model driven development. In: Layout of (Software) Engineering Diagrams 2007. Electronic Communications of the EASST, vol. 7 (2007)"},{"key":"28_CR20","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation Using Ptolemy II. Ptolemy.org (2014). http:\/\/ptolemy.org\/books\/Systems"},{"key":"28_CR21","unstructured":"Reenskaug, T.: Models - Views - Controllers. Xerox PARC technical note, November 1979"},{"key":"28_CR22","series-title":"Human-Computer Interaction Series","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/1-4020-4113-6_1","volume-title":"An Introduction to Human-Centered Software Engineering-Integrating Usability in the Software Development Lifecycle","author":"A Seffah","year":"2005","unstructured":"Seffah, A., Gulliksen, J., Desmarais, M.C.: An introduction to human-centered software engineering. In: Seffah, A., Gulliksen, J., Desmarais, M.C. (eds.) An Introduction to Human-Centered Software Engineering-Integrating Usability in the Software Development Lifecycle. HCI, vol. 8, pp. 3\u201314. Springer, Netherlands (2005). https:\/\/doi.org\/10.1007\/1-4020-4113-6_1"},{"key":"28_CR23","unstructured":"Smyth, S., Lenga, S., von Hanxleden, R.: Model extraction for legacy C programs with SCCharts. Poster presented at the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Corfu, Greece, October 2016"},{"key":"28_CR24","unstructured":"Smyth, S., Motika, C., Schulz-Rosengarten, A., Wechselberg, N.B., Sprung, C., von Hanxleden, R.: SCCharts: the railway project report. Technical report 1510, Department of Computer Science, Christian-Albrechts-Universit\u00e4t zu Kiel, August 2015"},{"key":"28_CR25","unstructured":"Sp\u00f6nemann, M., Fuhrmann, H., von Hanxleden, R.: Automatic layout of data flow diagrams in KIELER and Ptolemy II. Technical report 0914, Department of Computer Science, Christian-Albrechts-Universit\u00e4t zu Kiel, July 2009"},{"key":"28_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-54848-2_16","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"J Sztipanovits","year":"2014","unstructured":"Sztipanovits, J., Bapty, T., Neema, S., Howard, L., Jackson, E.: OpenMETA: a model- and component-based design tool chain for cyber-physical systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 235\u2013248. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54848-2_16"}],"container-title":["Lecture Notes in Computer Science","Principles of Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95246-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T20:31:23Z","timestamp":1571603483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95246-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319952451","9783319952468"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95246-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}