{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T17:11:11Z","timestamp":1767978671007,"version":"3.49.0"},"reference-count":61,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/date.2011.5763168","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T17:45:16Z","timestamp":1361295916000},"page":"1-5","source":"Crossref","is-referenced-by-count":21,"title":["Component-based design for the future"],"prefix":"10.1109","author":[{"given":"E A","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A L","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"liu","year":"2001","journal-title":"Responsible frameworks for heterogeneous modeling and design of embedded systems"},{"key":"ref38","article-title":"Scalable semantic annotation using lattice-based ontologies","author":"leung","year":"0","journal-title":"proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS 2005)"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000751"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511770524.005"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1550987.1550992"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-642-16129-2_20","article-title":"Disciplined heterogeneous modeling","author":"lee","year":"2010","journal-title":"Model Driven Engineering Languages and Systems (MoDELS)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","article-title":"Operational semantics of hybrid systems","volume":"lncs 3414","author":"lee","year":"2005","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0043-8"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref60","article-title":"The design and application of structured types in Ptolemy II","author":"xiong","year":"0","journal-title":"IEEE International Conference on Granular Computing (GrC)"},{"key":"ref61","first-page":"786","article-title":"A code generation framework for actor-oriented models with partial evaluation","volume":"lncs 4523","author":"zhou","year":"2007","journal-title":"Internation Conference on Embedded Software and Systems (ICESS)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref27","article-title":"Cyber-physical systems - are computing foundations adequate?","author":"lee","year":"2006","journal-title":"NSF workshop on cyber-physical systems Research motivation techniques and roadmap"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10270-004-0073-y","article-title":"Design patterns for open tool integration","volume":"4","author":"karsai","year":"2005","journal-title":"Software and Systems Modeling"},{"key":"ref21","article-title":"A framework for embedded system specification under different models of computation in SystemC","author":"herrera","year":"0","journal-title":"Design Automation Conference (DAC)"},{"key":"ref24","article-title":"Aspect-oriented programming","author":"kiczales","year":"0","journal-title":"European Conference on Object Oriented Programming ECOOP'97 LNCS 1241"},{"key":"ref23","article-title":"Type hierarchies and composition in modeling and meta-modeling languages","author":"karsai","year":"2003","journal-title":"IEEE Transactions on Control System Technology"},{"key":"ref26","author":"lee","year":"2003","journal-title":"Overview of the Ptolemy Project"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"ref50","author":"patel","year":"2004","journal-title":"SystemC Kernel Extensions for Heterogeneous System Modeling"},{"key":"ref51","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02406468","article-title":"Software synthesis for DSP using Ptolemy","volume":"9","author":"jos\u00ef\u00bf\u00bd","year":"1995","journal-title":"Journal on VLSI Signal Processing"},{"key":"ref59","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","article-title":"A comparison of Statecharts variants","volume":"863","author":"von der beeck","year":"1994","journal-title":"Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"ref58","author":"tripakis","year":"2010","journal-title":"Compositionality in synchronous data flow Modular code generation from hierarchical SDF graphs"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"ref55","first-page":"1","article-title":"Execution of umlstate machines using modelica","volume":"47","author":"schamai","year":"2010","journal-title":"Proc 3rd Int Workshop Equation-Based Object-Oriented Model Lang Tools"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.62"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"ref52","article-title":"Defining platform-based design","author":"sangiovanni-vincentelli","year":"2002","journal-title":"EEDesign of EETimes"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"ref40","article-title":"Interoperation of heterogeneous cad tools in Ptolemy II","author":"liu","year":"0","journal-title":"Proc Symp Design Test Microfabrication MEMS\/MOEMS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_8"},{"key":"ref13","article-title":"A next-generation design framework for platform-based design","author":"davare","year":"0","journal-title":"Design and Verification Conference (DVCON)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref17","article-title":"Scalable models using model transformation","author":"feng","year":"2008","journal-title":"Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/132277.132280"},{"key":"ref19","first-page":"78","article-title":"An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software","author":"gu","year":"0","journal-title":"Real-time Systems Symposium (RTSS)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20046"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086276"},{"key":"ref6","article-title":"HyVisual: A hybrid system visual modeler","author":"brooks","year":"2005","journal-title":"Technical Report UCB\/ERLM05\/24"},{"key":"ref5","author":"booch","year":"1998","journal-title":"The Unified Modeling Language User Guide"},{"key":"ref8","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"buck","year":"1994","journal-title":"Int Journal of Computer Simulation special issue on “Simulation Software Development"},{"key":"ref7","article-title":"Model engineering using multimodeling","author":"brooks","year":"0","journal-title":"International Workshop on Model Co-Evolution and Consistency Management (MCCM)"},{"key":"ref49","article-title":"Convertibility verification and converter syn-thesis: Two faces of the same coin","author":"passerone","year":"2002","journal-title":"Proceedings of International Conference on Computer Aided Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981761"},{"key":"ref46","article-title":"A UML profile for MARTE, beta 2","year":"2008","journal-title":"OMG Adopted Specification ptc\/08–06-09"},{"key":"ref45","first-page":"68","article-title":"Meta-modeling - rapid design and evolution of domain-specific modeling environments","author":"nordstrom","year":"0","journal-title":"Proc of Conf on Engineering of Computer Based Systems (ECBS)"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213266"},{"key":"ref47","article-title":"Object Management Group (OMG)","year":"2010","journal-title":"System modeling language specification v1 2 standard specification"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1002\/047172288X.ch7"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1177\/0037549704050532"},{"key":"ref43","first-page":"447","article-title":"From timed to hybrid systems","author":"maler","year":"0","journal-title":"Real-Time Theory and Practice REX Workshop"}],"event":{"name":"2011 Design, Automation & Test in Europe","location":"Grenoble","start":{"date-parts":[[2011,3,14]]},"end":{"date-parts":[[2011,3,18]]}},"container-title":["2011 Design, Automation & Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5754459\/5762992\/05763168.pdf?arnumber=5763168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:50:05Z","timestamp":1498017005000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763168\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":61,"URL":"https:\/\/doi.org\/10.1109\/date.2011.5763168","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}