{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T22:55:39Z","timestamp":1792968939965,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642161285","type":"print"},{"value":"9783642161292","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16129-2_20","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T06:22:43Z","timestamp":1285136563000},"page":"273-287","source":"Crossref","is-referenced-by-count":30,"title":["Disciplined Heterogeneous Modeling"],"prefix":"10.1007","author":[{"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Encyclopedia Britannica: Ockham\u2019s razor. Encyclopedia Britannica (retrieved June 24, 2010)"},{"key":"20_CR2","volume-title":"Immanuel Kant\u2019s Critique of Pure Reason","author":"N.K. Smith","year":"1929","unstructured":"Smith, N.K.: Immanuel Kant\u2019s Critique of Pure Reason. Macmillan and Co., Basingstoke (1929)"},{"key":"20_CR3","volume-title":"The Yale Book of Quotations","author":"F.R. Shapiro","year":"2006","unstructured":"Shapiro, F.R.: The Yale Book of Quotations. Yale University Press, New Haven (2006)"},{"key":"20_CR4","first-page":"155","volume":"4","author":"J.T. Buck","year":"1994","unstructured":"Buck, J.T., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: A framework for simulating and prototyping heterogeneous systems. Int. Journal of Computer Simulation, special issue on \u201cSimulation Software Development\u201d\u00a04, 155\u2013182 (1994)","journal-title":"Int. Journal of Computer Simulation, special issue on \u201cSimulation Software Development\u201d"},{"issue":"2","key":"20_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity\u2014the Ptolemy approach. Proceedings of the IEEE\u00a091(2), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"E.A. Lee","year":"2003","unstructured":"Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers\u00a012(3), 231\u2013260 (2003)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"20_CR7","unstructured":"Brooks, C., Cheng, C., Feng, T.H., Lee, E.A., von Hanxleden, R.: Model engineering using multimodeling. In: International Workshop on Model Co-Evolution and Consistency Management (MCCM), Toulouse, France (2008)"},{"key":"20_CR8","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\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"20_CR9","unstructured":"Brooks, C., Lee, E.A., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous concurrent modeling and design in Java. Technical Report Technical Memorandum UCB\/EECS-2008-28, University of California (April 1, 2008)"},{"key":"20_CR10","unstructured":"Lee, E.A., Neuendorffer, S.: MoML - a modeling markup language in XML. Technical Report UCB\/ERL M00\/12, UC Berkeley (March 14, 2000)"},{"issue":"12","key":"20_CR11","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Circuits and Systems"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","volume-title":"Hybrid Systems: Computation and Control","author":"E.A. Lee","year":"2005","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 25\u201353. Springer, Heidelberg (2005)"},{"issue":"5","key":"20_CR13","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1016\/j.future.2008.06.014","volume":"25","author":"A. Goderis","year":"2009","unstructured":"Goderis, A., Brooks, C., Altintas, I., Lee, E.A., Goble, C.: Heterogeneous composition of models of computation. Future Generation Computer Systems\u00a025(5), 552\u2013560 (2009)","journal-title":"Future Generation Computer Systems"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11817949_1","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"X. Liu","year":"2006","unstructured":"Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"20_CR15","volume-title":"EMSOFT, Salzburg, Austria","author":"E.A. Lee","year":"2007","unstructured":"Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT, Salzburg, Austria. ACM, New York (2007)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Finite state machines and modal models in Ptolemy II. Technical Report UCB\/EECS-2009-151, EECS Department, University of California, Berkeley (November 1, 2009)","DOI":"10.21236\/ADA538760"},{"issue":"5","key":"20_CR17","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/5.381846","volume":"83","author":"E.A. Lee","year":"1995","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process networks. Proceedings of the IEEE\u00a083(5), 773\u2013801 (1995)","journal-title":"Proceedings of the IEEE"},{"key":"20_CR18","first-page":"993","volume-title":"Information Processing","author":"G. Kahn","year":"1977","unstructured":"Kahn, G., MacQueen, D.B.: Coroutines and networks of parallel processes. In: Gilchrist, B. (ed.) Information Processing, pp. 993\u2013998. North-Holland Publishing Co., Amsterdam (1977)"},{"key":"20_CR19","volume-title":"From Semantics to Computer Science: Essays in memory of Gilles Kahn","author":"E.A. Lee","year":"2009","unstructured":"Lee, E.A., Matsikoudis, E.: The semantics of dataflow with firing. In: Huet, G., Plotkin, G., L\u00e9vy, J.J., Bertot, Y. (eds.) From Semantics to Computer Science: Essays in memory of Gilles Kahn. Cambridge University Press, Cambridge (2009)"},{"issue":"9","key":"20_CR20","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proceedings of the IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1018998524196","volume":"7","author":"E.A. Lee","year":"1999","unstructured":"Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering\u00a07, 25\u201345 (1999)","journal-title":"Annals of Software Engineering"},{"key":"20_CR22","unstructured":"Liu, J.: Continuous time and mixed-signal simulation in Ptolemy II. Memo M98\/74, UCB\/ERL, EECS UC Berkeley, CA 94720 (July 1998)"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: A theory of CSP. Communicating Sequential Processes\u00a021(8) (August 1978)","DOI":"10.1145\/359576.359585"},{"issue":"2","key":"20_CR24","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1002\/sys.20046","volume":"9","author":"C. Bock","year":"2006","unstructured":"Bock, C.: SysML and UML 2 support for activity modeling. Systems Engineering\u00a09(2), 160\u2013185 (2006)","journal-title":"Systems Engineering"},{"key":"20_CR25","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"20_CR26","unstructured":"Object Management Group (OMG): System modeling language specification v1.1. Technical report, OMG (2008)"},{"key":"20_CR27","unstructured":"Object Management Group (OMG), A UML profile for MARTE, beta 1. OMG Adopted Specification ptc\/07-08-04, OMG (August 2007)"},{"issue":"3","key":"20_CR28","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence\u00a08(3), 323\u2013363 (1977)","journal-title":"Journal of Artificial Intelligence"},{"issue":"1","key":"20_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G.A. Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming\u00a07(1), 1\u201372 (1997)","journal-title":"Journal of Functional Programming"},{"issue":"9","key":"20_CR30","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1177\/0037549704050532","volume":"80","author":"P.J. Mosterman","year":"2004","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: An introduction. Simulation: Transactions of the Society for Modeling and Simulation International Journal of High Performance Computing Applications\u00a080(9), 433\u2013450 (2004)","journal-title":"Simulation: Transactions of the Society for Modeling and Simulation International Journal of High Performance Computing Applications"},{"key":"20_CR31","volume-title":"SystemC Kernel Extensions for Heterogeneous System Modelling","author":"H.D. Patel","year":"2004","unstructured":"Patel, H.D., Shukla, S.K.: SystemC Kernel Extensions for Heterogeneous System Modelling. Kluwer, Dordrecht (2004)"},{"key":"20_CR32","volume-title":"Design Automation Conference (DAC), San Francisco","author":"F. Herrera","year":"2006","unstructured":"Herrera, F., Villar, E.: A framework for embedded system specification under different models of computation in SystemC. In: Design Automation Conference (DAC), San Francisco. ACM, New York (2006)"},{"key":"20_CR33","unstructured":"Hardebolle, C., Boulanger, F.: ModHel\u2019X: A component-oriented approach to multi-formalism modeling, MODELS 2007 Workshop on Multi-Paradigm Modeling, Nashville, Tennessee (October 2, 2007)"},{"key":"20_CR34","volume-title":"Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation","author":"A. Jantsch","year":"2003","unstructured":"Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufmann, San Francisco (2003)"},{"issue":"1","key":"20_CR35","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I. Sander","year":"2004","unstructured":"Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe. IEEE Transactions on Computer-Aided Design of Circuits and Systems\u00a023(1), 17\u201332 (2004)","journal-title":"IEEE Transactions on Computer-Aided Design of Circuits and Systems"},{"key":"20_CR36","volume-title":"Second International Workshop on Embedded Software (EMSOFT), Grenoble, France","author":"G. Goessler","year":"2002","unstructured":"Goessler, G., Sangiovanni-Vincentelli, A.: Compositional modeling in Metropolis. In: Second International Workshop on Embedded Software (EMSOFT), Grenoble, France. Springer, Heidelberg (2002)"},{"key":"20_CR37","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: International Conference on Software Engineering and Formal Methods (SEFM), Pune, pp. 3\u201312 (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"20_CR38","doi-asserted-by":"crossref","unstructured":"Burch, J.R., Passerone, R., Sangiovanni-Vincentelli, A.L.: Overcoming heterophobia: Modeling concurrency in heterogeneous systems. In: International Conference on Application of Concurrency to System Design, p. 13 (2001)","DOI":"10.1109\/CSD.2001.981761"},{"key":"20_CR39","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.jss.2008.05.031","volume":"82","author":"M. Feredj","year":"2009","unstructured":"Feredj, M., Boulanger, F., Mbobi, A.M.: A model of domain-polymorph component for heterogeneous system design. The Journal of Systems and Software\u00a082, 112\u2013120 (2009)","journal-title":"The Journal of Systems and Software"},{"key":"20_CR40","doi-asserted-by":"crossref","unstructured":"Maraninchi, F., Bhouhadiba, T.: 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In: 6th ACM International Conference on Generative Programming and Component Engineering (GPCE), Salzburg, Austria, pp. 1\u20133 (2007)","DOI":"10.1145\/1289971.1289981"},{"key":"20_CR41","doi-asserted-by":"crossref","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering\u00a016(4) (1990)","DOI":"10.1109\/32.54292"},{"key":"20_CR42","unstructured":"Berry, G.: The effectiveness of synchronous languages for the development of safety-critical systems. White paper, Esterel Technologies (2003)"},{"issue":"9","key":"20_CR43","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE\u00a079(9), 1270\u20131282 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"20_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, p. 166. Springer, Heidelberg (2001)"},{"key":"20_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-70930-5_9","volume-title":"Model-Driven Development of Reliable Automotive Services","author":"W. Pree","year":"2008","unstructured":"Pree, W., Templ, J.: Modeling with the timing definition language (TDL). In: Broy, M., Kr\u00fcger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol.\u00a04922, pp. 133\u2013144. Springer, Heidelberg (2008)"},{"key":"20_CR46","doi-asserted-by":"crossref","unstructured":"Carloni, L.P., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.: Languages and tools for hybrid systems design. Foundations and Trends in Electronic Design Automation\u00a01(1\/2) (2006)","DOI":"10.1561\/1000000001"},{"key":"20_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45874-3_2","volume-title":"Embedded Processor Design Challenges","author":"B. Kienhuis","year":"2002","unstructured":"Kienhuis, B., Deprettere, E., van der Wolf, P., Vissers, K.: A methodology to design programmable embedded systems. In: Deprettere, F., Teich, J., Vassiliadis, S. (eds.) SAMOS 2001. LNCS, vol.\u00a02268, p. 18. Springer, Heidelberg (2002)"},{"key":"20_CR48","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2.1","author":"P. Fritzson","year":"2003","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, Chichester (2003)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16129-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T20:34:32Z","timestamp":1559680472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16129-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161285","9783642161292"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16129-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}