{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:41Z","timestamp":1750308761756,"version":"3.41.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2007,8,17]],"date-time":"2007-08-17T00:00:00Z","timestamp":1187308800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCR-0237947"],"award-info":[{"award-number":["CCR-0237947"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2007,8,17]]},"abstract":"<jats:p>We present the EWD design environment and methodology, a modeling and simulation framework suited for complex and heterogeneous embedded systems with varying degrees of expressibility and modeling fidelity. This environment promotes the use of multiple models of computation (MoCs) to support heterogeneity and metamodeling for conformance tests of syntactic and static semantics during the process of modeling. Therefore, EWD is a multiple MoC modeling and simulation framework that ensures conformance of the MoC formalisms during model construction using a metamodeling approach. In addition, EWD provides a suite of translation tools that generate executable models for two simulation frameworks to demonstrate its language-independent modeling framework. The EWD methodology uses the Generic Modeling Environment for customization of the MoC-specific modeling syntax into a visual representation. To embed the execution semantics of the MoCs into the models, we have built parsing and translation tools that leverage an XML-based interoperability language. This interoperability language is then translated into executable Standard ML or Haskell models that can also be analyzed by existing simulation frameworks such as SML-Sys or ForSyDe. In summary, EWD is a metamodeling driven multitarget design environment with multi-MoC modeling capability.<\/jats:p>","DOI":"10.1145\/1255456.1255470","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T13:44:55Z","timestamp":1189777495000},"page":"1-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["EWD"],"prefix":"10.1145","volume":"12","author":[{"given":"Deepak","family":"Mathaikutty","sequence":"first","affiliation":[{"name":"Fermat Lab., Virginia Tech, Blacksburg, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiren","family":"Patel","sequence":"additional","affiliation":[{"name":"Fermat Lab., Virginia Tech, Blacksburg, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Shukla","sequence":"additional","affiliation":[{"name":"Fermat Lab., Virginia Tech, Blacksburg, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Jantsch","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,22]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Apache XML. Xerces-C&plus;&plus; Website. http:\/\/xml.apache.org\/xerces-c\/.  Apache XML. Xerces-C&plus;&plus; Website. http:\/\/xml.apache.org\/xerces-c\/."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"e_1_2_1_3_1","unstructured":"Borger E. and Strk R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag Berlin Germany .   Borger E. and Strk R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag Berlin Germany ."},{"key":"e_1_2_1_4_1","unstructured":"Brooks C. Lee E. A. Liu X. Neuendorffer S. Zhao Y. and Zheng H. 2005. Heterogeneous concurrent modeling and design in java. Memorandum from University of California Berkely Microlab No. UCB\/ERL M05\/21.  Brooks C. Lee E. A. Liu X. Neuendorffer S. Zhao Y. and Zheng H. 2005. Heterogeneous concurrent modeling and design in java. Memorandum from University of California Berkely Microlab No. UCB\/ERL M05\/21."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086236"},{"volume-title":"Functional programming and metamodeling frameworks for system design. Master's thesis","author":"Mathaikutty D. A.","key":"e_1_2_1_6_1","unstructured":"Mathaikutty , D. A. 2005. Functional programming and metamodeling frameworks for system design. Master's thesis , Virginia Tech , Blacksburg, VA . Mathaikutty, D. A. 2005. Functional programming and metamodeling frameworks for system design. Master's thesis, Virginia Tech, Blacksburg, VA."},{"key":"e_1_2_1_7_1","unstructured":"Mathaikutty D. Patel H. Shukla S. and Jantsch A. 2004a. Correctness preserving design refinements in a functional programming framework for concurrent reactive system design. Tech. rep. 2004-23 FERMAT Lab.  Mathaikutty D. Patel H. Shukla S. and Jantsch A. 2004a. Correctness preserving design refinements in a functional programming framework for concurrent reactive system design. Tech. rep. 2004-23 FERMAT Lab."},{"key":"e_1_2_1_8_1","first-page":"362","article-title":"First version of a data flow procedure language. Springer Verlag, ed by G","volume":"19","author":"Dennis J. B.","year":"1974","unstructured":"Dennis , J. B. 1974 . First version of a data flow procedure language. Springer Verlag, ed by G . Goos and J. Hartmanis Vol. 19 , 362 -- 376 . Dennis, J. B. 1974. First version of a data flow procedure language. Springer Verlag, ed by G. Goos and J. Hartmanis Vol. 19, 362--376.","journal-title":"Goos and J. Hartmanis"},{"volume-title":"Proceedings of the European Design Automation Conference. 752--757","author":"Ecker W.","key":"e_1_2_1_9_1","unstructured":"Ecker , W. and Hofmeister , M . 1992. The design cube---a new model for vhdl designflow representation . In Proceedings of the European Design Automation Conference. 752--757 . Ecker, W. and Hofmeister, M. 1992. The design cube---a new model for vhdl designflow representation. In Proceedings of the European Design Automation Conference. 752--757."},{"key":"e_1_2_1_10_1","first-page":"127","article-title":"Taming heterogeneity---the Ptolemy approach","volume":"91","author":"Eker J.","year":"2003","unstructured":"Eker , J. , Janneck , J. W. , Lee , E. A. , Liu , J. , Liu , X. , Ludvig , J. , Neuendorffer , S. , Sachs , S. , and Xiong , Y. 2003 . Taming heterogeneity---the Ptolemy approach . In Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software 91 , 1, 127 -- 144 . Eker, J., Janneck, J. W., Lee, E. A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., and Xiong, Y. 2003. Taming heterogeneity---the Ptolemy approach. In Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software 91, 1, 127--144.","journal-title":"Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software"},{"key":"e_1_2_1_11_1","first-page":"1382","article-title":"Abstract state machines semantics of SDL","volume":"3","author":"Glasser U.","year":"1997","unstructured":"Glasser , U. and Karges , R. 1997 . Abstract state machines semantics of SDL . J. Found. Comput. Sci. 3 , 12, 1382 -- 1414 . Glasser, U. and Karges, R. 1997. Abstract state machines semantics of SDL. J. Found. Comput. Sci. 3, 12, 1382--1414.","journal-title":"J. Found. Comput. Sci."},{"volume-title":"Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods","author":"Gurevich Y.","key":"e_1_2_1_12_1","unstructured":"Gurevich , Y. 1995. Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods . Oxford University Press . Gurevich, Y. 1995. Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods. Oxford University Press."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"volume-title":"Modeling Embedded Systems and SOC's Concurrency and Time in Models of Computation","author":"Jantsch A.","key":"e_1_2_1_14_1","unstructured":"Jantsch , A. 2003. Modeling Embedded Systems and SOC's Concurrency and Time in Models of Computation . Morgan Kaufmann Publishers . Jantsch, A. 2003. Modeling Embedded Systems and SOC's Concurrency and Time in Models of Computation. Morgan Kaufmann Publishers."},{"volume-title":"Proceedings of Design Automation and Test in Europe (DATE).","author":"Jantsch A.","key":"e_1_2_1_15_1","unstructured":"Jantsch , A. , Kumar , S. , and Hemani , A . 1999. The rugby model: A framework for the study of modelling . In Proceedings of Design Automation and Test in Europe (DATE). Jantsch, A., Kumar, S., and Hemani, A. 1999. The rugby model: A framework for the study of modelling. In Proceedings of Design Automation and Test in Europe (DATE)."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371646"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"volume-title":"NATO ASI Proceedings on System Synthesis Il.","author":"Lavagno L.","key":"e_1_2_1_18_1","unstructured":"Lavagno , L. , Sangiovanni-Vincentelli , A. , and Sentovich , E . 1998. Models of computation for embedded system design . NATO ASI Proceedings on System Synthesis Il. Lavagno, L., Sangiovanni-Vincentelli, A., and Sentovich, E. 1998. Models of computation for embedded system design. NATO ASI Proceedings on System Synthesis Il."},{"key":"e_1_2_1_19_1","unstructured":"Ledeczi A. Maroti M. Bakay A. and Karsai G. 2001. The generic modeling environment. Institute for Software Integrated Systems Vanderbilt University Nashville TN.  Ledeczi A. Maroti M. Bakay A. and Karsai G. 2001. The generic modeling environment. Institute for Software Integrated Systems Vanderbilt University Nashville TN."},{"volume-title":"Department of Electrical Engineering and Computer Science","author":"Lee E. A.","key":"e_1_2_1_20_1","unstructured":"Lee , E. A. 1997. A denotational semantics for dataflow with firing. Tech. rep. UCB\/ERL M97\/3 , Department of Electrical Engineering and Computer Science , University of California , Berkeley, CA . Lee, E. A. 1997. A denotational semantics for dataflow with firing. Tech. rep. UCB\/ERL M97\/3, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.820756"},{"volume-title":"Proceedings of the Forum on Specification and Design Languages Conference (FDL)","author":"Mathaikutty D.","key":"e_1_2_1_24_1","unstructured":"Mathaikutty , D. , Patel , H. , Shukla , S. , and Jantsch , A . 2005. UMoC&plus;&plus;: Modeling environment for heterogeneous systems based on generic MoCs . In Proceedings of the Forum on Specification and Design Languages Conference (FDL) . Lussanne, Switzerland. Mathaikutty, D., Patel, H., Shukla, S., and Jantsch, A. 2005. UMoC&plus;&plus;: Modeling environment for heterogeneous systems based on generic MoCs. In Proceedings of the Forum on Specification and Design Languages Conference (FDL). Lussanne, Switzerland."},{"volume-title":"Proceedings of the Forum on Specification and Design Languages (FDL)","author":"Mathaikutty D. A.","key":"e_1_2_1_25_1","unstructured":"Mathaikutty , D. A. , Patel , H. D. , and Shukla , S. K . 2004b. A functional programming framework of heterogeneous model of computations for system design . In Proceedings of the Forum on Specification and Design Languages (FDL) . Lille, France. Mathaikutty, D. A., Patel, H. D., and Shukla, S. K. 2004b. A functional programming framework of heterogeneous model of computations for system design. In Proceedings of the Forum on Specification and Design Languages (FDL). Lille, France."},{"volume-title":"Communication and Concurrency","author":"Milner R.","key":"e_1_2_1_26_1","unstructured":"Milner , R. 1989. Communication and Concurrency . Prentice Hall . Milner, R. 1989. Communication and Concurrency. Prentice Hall."},{"key":"e_1_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Milner R. Tofte M. Harper R. and MacQueen D. 1997. The Definition of Standard ML (Revised). MIT Press Cambridge MA.   Milner R. Tofte M. Harper R. and MacQueen D. 1997. The Definition of Standard ML (Revised). MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"e_1_2_1_28_1","unstructured":"Modeling a Digital Equalizer in the EWD Environment. 2005. http:\/\/fermat.ece.vt.edu\/ewd\/digital_equalizer.htm.  Modeling a Digital Equalizer in the EWD Environment. 2005. http:\/\/fermat.ece.vt.edu\/ewd\/digital_equalizer.htm."},{"key":"e_1_2_1_29_1","unstructured":"Nordstrom G. Sztipanovits J. Karsai G. and Ledeczi A. 1999. Metamodeling---rapid design and evolution of domain-specific modeling environment In Proceedings of the IEEE.   Nordstrom G. Sztipanovits J. Karsai G. and Ledeczi A. 1999. Metamodeling---rapid design and evolution of domain-specific modeling environment In Proceedings of the IEEE."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.850819"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"e_1_2_1_32_1","unstructured":"Stephen Neuendorffer. 2005. Actor-oriented metaprogramming. Tech. rep. UCB\/ERL M05\/1.  Stephen Neuendorffer. 2005. Actor-oriented metaprogramming. Tech. rep. UCB\/ERL M05\/1."},{"volume-title":"Department of Electrical Engineering and Computer Science","author":"The Metropolis Project Team","key":"e_1_2_1_33_1","unstructured":"The Metropolis Project Team . 2004. The metropolis metamodel version 0.4. Tech. rep. UCB\/ERL M04\/38 , Department of Electrical Engineering and Computer Science , University of California , Berkeley, CA . The Metropolis Project Team. 2004. The metropolis metamodel version 0.4. Tech. rep. UCB\/ERL M04\/38, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA."},{"key":"e_1_2_1_34_1","volume-title":"Haskell---The Craft of Functional Programming","author":"Thompson S.","unstructured":"Thompson , S. 1999. Haskell---The Craft of Functional Programming , 2 nd ed. Addison-Wesley . Thompson, S. 1999. Haskell---The Craft of Functional Programming, 2nd ed. Addison-Wesley.","edition":"2"},{"volume-title":"Proceedings of Winter Simulation Conference. 249--258","author":"Vangheluwe H.","key":"e_1_2_1_35_1","unstructured":"Vangheluwe , H. and Lara , J. D . 2003. Computer automated multi-paradigm modelling: Meta-modelling and graph transformation . In Proceedings of Winter Simulation Conference. 249--258 . Vangheluwe, H. and Lara, J. D. 2003. Computer automated multi-paradigm modelling: Meta-modelling and graph transformation. In Proceedings of Winter Simulation Conference. 249--258."}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1255456.1255470","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1255456.1255470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:28Z","timestamp":1750278148000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1255456.1255470"}},"subtitle":["A metamodeling driven customizable multi-MoC system modeling framework"],"short-title":[],"issued":{"date-parts":[[2007,8,17]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,8,17]]}},"alternative-id":["10.1145\/1255456.1255470"],"URL":"https:\/\/doi.org\/10.1145\/1255456.1255470","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"type":"print","value":"1084-4309"},{"type":"electronic","value":"1557-7309"}],"subject":[],"published":{"date-parts":[[2007,8,17]]},"assertion":[{"value":"2006-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-05-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}