{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T17:07:35Z","timestamp":1763572055388,"version":"3.41.0"},"reference-count":59,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"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-00225610"],"award-info":[{"award-number":["CCR-00225610"]}],"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. Embed. Comput. Syst."],"published-print":{"date-parts":[[2008,4]]},"abstract":"<jats:p>We consider concurrent models of computation where \u201cactors\u201d (components that are in charge of their own actions) communicate by exchanging messages. The interfaces of actors principally consist of \u201cports,\u201d which mediate the exchange of messages. Actor-oriented architectures contrast with and complement object-oriented models by emphasizing the exchange of data between concurrent components rather than transformation of state. Examples of such models of computation include the classical actor model, synchronous languages, data-flow models, process networks, and discrete-event models. Many experimental and production languages used to design embedded systems are actor oriented and based on one of these models of computation. Many of these models of computation benefit considerably from having access to causality information about the components. This paper augments the interfaces of such components to include such causality information. It shows how this causality information can be algebraically composed so that compositions of components acquire causality interfaces that are inferred from their components and the interconnections. We illustrate the use of these causality interfaces to statically analyze timed models and synchronous language compositions for causality loops and data-flow models for deadlock. We also show that that causality analysis for each communication cycle can be performed independently and in parallel, and it is only necessary to analyze one port for each cycle. Finally, we give a conservative approximation technique for handling dynamically changing causality properties.<\/jats:p>","DOI":"10.1145\/1347375.1347382","type":"journal-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:28:05Z","timestamp":1210876085000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Causality interfaces for actor networks"],"prefix":"10.1145","volume":"7","author":[{"given":"Ye","family":"Zhou","sequence":"first","affiliation":[{"name":"University of California, Berkeley, California"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, California"}]}],"member":"320","published-online":{"date-parts":[[2008,5,8]]},"reference":[{"volume-title":"Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, M. Broy, Ed. NATO ASI Series F. Springer-Verlag","author":"Abramsky S.","key":"e_1_2_1_1_1"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/83880.84528"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.010"},{"key":"e_1_2_1_6_1","unstructured":"Armstrong J. R. and Gray F. G. 2000. VHDL Design Representation and Synthesis 2nd ed. Prentice-Hall Englewood Cliffs NJ.   Armstrong J. R. and Gray F. G. 2000. VHDL Design Representation and Synthesis 2nd ed. Prentice-Hall Englewood Cliffs NJ."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.53519"},{"key":"e_1_2_1_9_1","unstructured":"Berry G. 1996. The Constructive Semantics of Pure Esterel. Book Draft.  Berry G. 1996. The Constructive Semantics of Pure Esterel. Book Draft."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00322-9"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Buck J. T. 1993. Scheduling dynamic data-flow graphs with bounded memory using the token flow model. Ph.D. Thesis Technical Memorandum UCB\/ERL 93\/69 EECS Department University of California Berkeley.   Buck J. T. 1993. Scheduling dynamic data-flow graphs with bounded memory using the token flow model. Ph.D. Thesis Technical Memorandum UCB\/ERL 93\/69 EECS Department University of California Berkeley.","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"e_1_2_1_13_1","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"Buck J. T.","year":"1994","journal-title":"Intern. J. Comput. Simulation"},{"key":"e_1_2_1_14_1","unstructured":"Cassandras C. G. 1993. Discrete Event Systems Modeling and Performance Analysis. Irwin.  Cassandras C. G. 1993. Discrete Event Systems Modeling and Performance Analysis. Irwin."},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Chakrabarti A. de Alfaro L. and Henzinger T. A. 2003. Resource interfaces. In EMSOFT R. Alur and I. Lee Eds. Vol. LNCS 2855. Springer New York 117--133.  Chakrabarti A. de Alfaro L. and Henzinger T. A. 2003. Resource interfaces. In EMSOFT R. Alur and I. Lee Eds. Vol. LNCS 2855. Springer New York 117--133.","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"e_1_2_1_16_1","unstructured":"Davey B. A. and Priestly H. A. 1990. Introduction to Lattices and Order. Cambridge University Press Cambridge.  Davey B. A. and Priestly H. A. 1990. Introduction to Lattices and Order. Cambridge University Press Cambridge."},{"volume":"2211","volume-title":"Ist International Workshop on Embedded Software (EMSOFT).","author":"de Alfaro L.","key":"e_1_2_1_17_1"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337511"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Dennis J. B. 1974. First version data flow procedure language. Tech. Rept. MAC TM61 MIT Laboratory for Computer Science.  Dennis J. B. 1974. First version data flow procedure language. Tech. Rept. MAC TM61 MIT Laboratory for Computer Science.","DOI":"10.1007\/3-540-06859-7_145"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"volume-title":"Tech. Rep. Technical Memorandum No. UCB\/ERL M03\/48 (Dec. 1) University of California","year":"2003","author":"Eker J.","key":"e_1_2_1_21_1"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.766725"},{"volume-title":"2nd International Workshop on Embedded Software (EMSOFT). Springer-Verlag","author":"G\u00f6essler G.","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53994"},{"volume-title":"Proceedings of the IFIP Congress 74","year":"1974","author":"Kahn G.","key":"e_1_2_1_30_1"},{"key":"e_1_2_1_31_1","unstructured":"Kahn G. and MacQueen D. B. 1977. Coroutines and networks of parallel processes. In Information Processing B. Gilchrist Ed. North-Holland Amsterdam.  Kahn G. and MacQueen D. B. 1977. Coroutines and networks of parallel processes. In Information Processing B. Gilchrist Ed. North-Holland Amsterdam."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"volume-title":"Advances in Computers","author":"Lee E. A.","key":"e_1_2_1_34_1"},{"volume-title":"Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation (a.k.a. The Monterey Workshop)","year":"2003","author":"Lee E. A.","key":"e_1_2_1_35_1"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"volume-title":"Conference on Formal Methods and Models for Codesign (MEMOCODE)","author":"Lee E. A.","key":"e_1_2_1_37_1"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0043-8"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000751"},{"key":"e_1_2_1_43_1","unstructured":"Lee E. A. Zheng H. and Zhou Y. 2005. Causality interfaces and compositional causality analysis. In Foundations of Interface Technologies (FIT) Satellite to CONCUR. San Francisco CA.  Lee E. A. Zheng H. and Zhou Y. 2005. Causality interfaces and compositional causality analysis. In Foundations of Interface Technologies (FIT) Satellite to CONCUR. San Francisco CA."},{"key":"e_1_2_1_44_1","unstructured":"Liu X. 2005. Semantic foundation of the tagged signal model. Ph.D. Thesis Technical Memorandum UCB\/EECS-2005-31 (Dec.). EECS Department University of California Berkeley.   Liu X. 2005. Semantic foundation of the tagged signal model. Ph.D. Thesis Technical Memorandum UCB\/EECS-2005-31 (Dec.). EECS Department University of California Berkeley."},{"volume-title":"Tech. Rep. UCB\/EECS-2006-67 (May). EECS Department","year":"2006","author":"Liu X.","key":"e_1_2_1_45_1"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00051-W"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/390011.808263"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.06.002"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004517"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023833.1023859"},{"key":"e_1_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Talcott C. L. 1996. Interaction semantics for components of distributed systems. In Formal Methods for Open Object-Based Distributed Systems (FMOODS).  Talcott C. L. 1996. Interaction semantics for components of distributed systems. In Formal Methods for Open Object-Based Distributed Systems (FMOODS).","DOI":"10.1007\/978-0-387-35082-0_11"},{"volume":"2304","volume-title":"11th International Conference on Compiler Construction.","author":"Thies W.","key":"e_1_2_1_52_1"},{"key":"e_1_2_1_53_1","doi-asserted-by":"crossref","unstructured":"Tiller M. M. 2001. Introduction to Physical Modeling with Modelica. Kluwer Academic Publ. Novell MA.   Tiller M. M. 2001. Introduction to Physical Modeling with Modelica. Kluwer Academic Publ. Novell MA.","DOI":"10.1007\/978-1-4615-1561-6"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90108-0"},{"volume-title":"Workshop on Foundations of Interactive Computation","author":"Wegner P.","key":"e_1_2_1_55_1"},{"key":"e_1_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Winskel G. 1993. The Formal Semantics of Programming Languages. MIT Press Cambridge MA.   Winskel G. 1993. The Formal Semantics of Programming Languages. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/3054.001.0001"},{"volume-title":"Second International Workshop on Composition Languages, In conjunction with 16th European Conference on Object-Oriented Programming (ECOOP)","author":"Winter M.","key":"e_1_2_1_57_1"},{"key":"e_1_2_1_58_1","unstructured":"Xiong Y. 2002. An extensible type system for component-based design. Ph.D. Thesis Technical Memorandum UCB\/ERL M02\/13 (May). University of California Berkeley CA 94720.   Xiong Y. 2002. An extensible type system for component-based design. Ph.D. Thesis Technical Memorandum UCB\/ERL M02\/13 (May). University of California Berkeley CA 94720."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/646728.703363"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1347375.1347382","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1347375.1347382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:38:58Z","timestamp":1750253938000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1347375.1347382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":59,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["10.1145\/1347375.1347382"],"URL":"https:\/\/doi.org\/10.1145\/1347375.1347382","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2008,4]]},"assertion":[{"value":"2006-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}