{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:16:56Z","timestamp":1743074216143,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":25,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387355443"},{"type":"electronic","value":"9780387399409"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-39940-9_444","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T08:58:40Z","timestamp":1253091520000},"page":"3370-3374","source":"Crossref","is-referenced-by-count":0,"title":["Visual Formalisms"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[]},{"given":"Shahar","family":"Maoz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"444_CR1_444","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1006\/jvlc.1997.0037","volume":"8","author":"T. Catarci","year":"1997","unstructured":"Catarci T., Costabile M.F., Levialdi S., and Batini C. Visual query systems for databases: a survey. J. Vis. Lang. Comput., 8(2):215\u2013260, 1997.","journal-title":"J. Vis. Lang. Comput."},{"issue":"1","key":"444_CR2_444","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P.-S. Chen","year":"1976","unstructured":"Chen P.P.-S. The entity-relationship model \u2013 toward a unified view of data. ACM Trans. Database Syst., 1(1):9\u201336, 1976.","journal-title":"ACM Trans. Database Syst."},{"key":"444_CR3_444","unstructured":"Damm W. and Harel D. LSCs: Breathing Life into Message Sequence Charts. J. Form. Methods Syst. Des., 19(1):45\u201380, 2001. Preliminary version in P. Ciancarini, A. Fantechi and R. Gorrieri (eds.). In Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems, 1999, pp. 293\u2013312."},{"key":"444_CR4_444","volume-title":"Graph Drawing: Algorithms for the Visualization of Graphs","author":"G. Di Battista","year":"1998","unstructured":"Di Battista G., Eades P., Tamassia R., and Tollis I.G. Graph Drawing: Algorithms for the Visualization of Graphs. Prentice\u2010Hall PTR, Upper Saddle River, NJ, USA, 1998."},{"key":"444_CR5_444","doi-asserted-by":"crossref","unstructured":"Edwards A.W.F. Cogwheels of the mind: the story of Venn diagrmas. Johns Hopkins University Press, 2004.","DOI":"10.56021\/9780801874345"},{"issue":"11","key":"444_CR6_444","doi-asserted-by":"publisher","first-page":"2485","DOI":"10.1101\/gr.1215303","volume":"13","author":"S. Efroni","year":"2003","unstructured":"Efroni S., Harel D., and Cohen I.R. Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation. Gen. Res., 13(11):2485\u20132497, 2003.","journal-title":"Gen. Res."},{"key":"444_CR7_444","unstructured":"Euler L. Commentarii academiae scientiarum Petropolitanae, Vol. 8. 1741."},{"key":"444_CR8_444","unstructured":"Euler L. Lettres il une Princesse d\u2019Allemagne, Vol. 2. 1772. letters 102\u2013108."},{"issue":"3","key":"444_CR9_444","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/2402.322390","volume":"30","author":"R. Fagin","year":"1983","unstructured":"Fagin R. Degrees of acyclicity for hypergraphs and relational database schemes. J. ACM, 30(3):514\u2013550, 1983.","journal-title":"J. ACM"},{"issue":"3","key":"444_CR10_444","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1145\/319732.319735","volume":"7","author":"R. Fagin","year":"1982","unstructured":"Fagin R., Mendelzon A.O., and Ullman J.D. A simplified universal relation assumption and its properties. ACM Trans. Database Syst., 7(3):343\u2013360, 1982.","journal-title":"ACM Trans. Database Syst."},{"issue":"6","key":"444_CR11_444","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1073\/pnas.0409433102","volume":"102","author":"J. Fisher","year":"2005","unstructured":"Fisher J., Piterman N., Hubbard E.J.A., Stern M.J., and Harel D. Computational insights into C. elegans vulval development. In Proc. Natl. Acad. Sci., 102(6):1951\u20131956, 2005.","journal-title":"In Proc. Natl. Acad. Sci."},{"key":"444_CR12_444","doi-asserted-by":"crossref","unstructured":"Floyd R.W. Assigning meanings to programs. In J.T. Schwartz (ed.). In Proc. Symposia on Appl. Math., Vol. 19. American Mathematical Society, 1967, pp. 19\u201332.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"444_CR13_444","volume-title":"Structured Systems Analysis: Tools and Techniques","author":"C.P. Gane","year":"1979","unstructured":"Gane C.P. and Sarson T. Structured Systems Analysis: Tools and Techniques. Prentice\u2010Hall, Englewood, Cliffs, NJ, 1979."},{"key":"444_CR14_444","unstructured":"Goldstine H.H. and von Neumann J. Planning and Coding of Problems for an Electronic Computing Instrument. Institute for Advanced Study, Princeton, N.J., 1947. Reprinted in von Neumann\u2019s Collected Works, Vol. 5 , A.H. Taub (ed.). Pergamon, London, 1963, pp. 80\u2013151."},{"key":"444_CR15_444","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1080\/01449298208914433","volume":"1","author":"T.R.G. Green","year":"1982","unstructured":"Green T.R.G. Pictures of Programs and Other Processes, or How to Do Things with Lines. Behav. Inform. Tech., 1:3\u201336, 1982.","journal-title":"Behav. Inform. Tech."},{"key":"444_CR16_444","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:231\u2013274, 1987.","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"444_CR17_444","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel D. On visual formalisms. Commun. ACM, 31(5):514\u2013530, 1988.","journal-title":"Commun. ACM"},{"key":"444_CR18_444","doi-asserted-by":"crossref","unstructured":"Harel D. and Gery E. Executable object modeling with statecharts. Computer, July 1997, pp. 31\u201342.","DOI":"10.1109\/2.596624"},{"key":"444_CR19_444","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel D. and Marelly R. Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin Heidelberg, New York, 2003."},{"key":"444_CR20_444","unstructured":"ITU. ITU-T Recommendation Z.100: Specification and Description Language. Technical report, International Telecommunication Union, 1992."},{"key":"444_CR21_444","unstructured":"ITU. ITU-T Recommendation Z.120: Message Sequence Charts. Technical report, International Telecommunication Union, 1996."},{"key":"444_CR22_444","doi-asserted-by":"crossref","unstructured":"Kent S. Constraint diagrams: visualizing invariants in object-oriented models. In Proc. 12th ACM SIGPLAN Conf. on Object-Oriented Programming Systems, Languages & Applications, 1997, pp. 327\u2013341.","DOI":"10.1145\/263700.263756"},{"key":"444_CR23_444","unstructured":"Object Management Group (OMG). UML: Unified Modeling Language. Available at: http:\/\/www.omg.org ."},{"key":"444_CR24_444","series-title":"An EATCS Series","volume-title":"Petri Nets: An Introduction, Monographs in Theoretical Computer Science","author":"W. Reisig","year":"1885","unstructured":"Reisig W. Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series, Vol. 4. Springer, Berlin Heidelberg, New York, 1885."},{"key":"444_CR25_444","doi-asserted-by":"crossref","DOI":"10.1037\/14127-000","volume-title":"Symbolic Logic","author":"J. Venn","year":"1881","unstructured":"Venn J. Symbolic Logic. Macmillan and Co., London, 1881."}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-39940-9_444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T19:46:40Z","timestamp":1685130400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39940-9_444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387355443","9780387399409"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39940-9_444","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}