Ptolemy swMATH ID: 7459 Software Authors: Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong Description: A modular formal semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified way. In particular, all actors conform to an executable interface that contains four functions: fire (produce outputs given current state and inputs); postfire (update state instantaneously); deadline (how much time the actor is willing to let elapse); and time-update (update the state with the passage of time). Composite actors are obtained using composition operators that in Ptolemy are called directors. Different directors realise different models of computation. In this paper, we formally define the directors for the following models of computation: synchronous- reactive, discrete event, continuous time, process networks and modal models. Homepage: http://ptolemy.eecs.berkeley.edu/ Related Software: Metropolis; Simulink; StateFlow; Esterel; SIGNAL; Reo; Uppaal; Modelica; MOMENT2; Maude; VEST; Kronos; Matlab; JavaFAN; Polychrony; SpaceEx; MathSAT; Zelus; LUSTRE; D-Finder Cited in: 64 Publications Further Publications: http://ptolemy.eecs.berkeley.edu/publications/index.htm all top 5 Cited by 159 Authors 6 Bliudze, Simon 6 Lee, Edward Ashford 4 Sifakis, Joseph 4 Talpin, Jean-Pierre 4 Tripakis, Stavros 3 Baranov, Eduard 3 Benveniste, Albert 3 Gokhale, Aniruddha 3 Le Guernic, Paul 3 Legay, Axel 3 Sangiovanni-Vincentelli, Alberto L. 3 Schmidt, Douglas C. 3 Wang, Shuling 3 Zhan, Naijun 2 Alur, Rajeev 2 Balasubramanian, Jaiganesh 2 Balasubramanian, Krishnakumar 2 Bhattacharyya, Shuvra S. 2 Caillaud, Benoît 2 Delahaye, Benoît 2 Fiadeiro, José Luiz 2 Frehse, Goran 2 Gupta, Rajesh Kumar 2 Ha, Soonhoi 2 Lopes, Antónia 2 Meseguer Guaita, José 2 Minopoli, Stefano 2 Olveczky, Peter Csaba 2 Passerone, Roberto 2 Pouzet, Marc 2 Xiong, Yuhong 1 Abdelwahed, Sherif 1 Ábrahám, Erika 1 Ameur-Boulifa, R. 1 Attie, Paul C. 1 Aversa, Rocco 1 Badouel, Eric 1 Bae, Kyungmin 1 Belanović, Pavle 1 Bensalem, Saddek 1 Bernardeschi, Cinzia 1 Besnard, Loïc 1 Bondavalli, Andrea 1 Bourke, Timothy 1 Boyd, Stephen Poythress 1 Bozga, Marius 1 Burleson, Wayne P. 1 Caspi, Paul 1 Catthoor, Francky V. M. 1 Chandrashekharapuram, Arun 1 Chen, Mingshuai 1 Coe, P. S. 1 Coffland, J. E. 1 Cohen, Albert 1 Csertán, Gyorgy 1 Cuatto, Tullio 1 Damm, Werner 1 de Simone, Robert 1 Deng, Gan 1 Deprettere, Ed F. A. 1 Doucet, Frederic 1 Edwards, George 1 Espiau, Bernard 1 Eyisi, Emeka 1 Farjudian, Amin 1 Feng, Thomas Huining 1 Gautier, Thierry 1 Goddard, Steve 1 Gregoretti, Francesco 1 Grosu, Radu 1 Gu, Ming 1 Henrio, Ludovic 1 Hertzberger, Louis Otto 1 Howell, F. W. 1 Ibbett, R. N. 1 Jaber, Mohamad Y. 1 Jantsch, Axel 1 Jeffay, Kevin 1 Jin, Xiangyu 1 Jourdant, M. 1 Jung, Jaewoong 1 Jurecska, Attila 1 Kapellos, K. 1 Karsai, Gabor 1 Knerr, Barry F. 1 Konečný, Michal 1 Koutsoukos, Xenofon D. 1 Krishna, Arvind S. 1 Kulankhina, O. 1 Lavagno, Luciano 1 Lee, Insup 1 Lepri, Daniela 1 Lieverse, Paul 1 Lin, Xi 1 Lublinerman, Roberto 1 Madelaine, Eric 1 Madl, Gabor 1 Majzik, Istvan 1 Mandel, Louis 1 Mann, Vijay ...and 59 more Authors all top 5 Cited in 30 Serials 4 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 3 Science of Computer Programming 3 EURASIP Journal on Applied Signal Processing 2 Journal of Computer and System Sciences 2 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 Formal Methods in System Design 2 2 Fundamenta Informaticae 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 International Journal of Systems Science 1 Automatica 1 The Computer Journal. Section A / Section B 1 Parallel Computing 1 Information and Computation 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 Real-Time Systems 1 ACM Transactions on Modeling and Computer Simulation 1 European Journal of Control 1 Mathematical and Computer Modelling of Dynamical Systems 1 Journal of Universal Computer Science 1 Concurrency and Computation: Practice & Experience 1 Journal of Applied Mathematics 1 Natural Computing 1 The Kluwer International Series in Engineering and Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Control Science and Engineering 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 59 Computer science (68-XX) 12 Systems theory; control (93-XX) 5 Mathematical logic and foundations (03-XX) 4 Information and communication theory, circuits (94-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Mechanics of particles and systems (70-XX) 1 Biology and other natural sciences (92-XX) Citations by Year