MULTI-FORMALISM MODELLING AND MODEL EXECUTION

C. Hardebolle and F. Boulanger

References

  1. [1] P.J. Mosterman & H. Vangheluwe, Computer automated multi-paradigm modeling: an introduction, Simulation, 80(9), 2004,433–450. Special Issue: Grand Challenges for Modeling andSimulation.
  2. [2] J. Eker, J.W. Janneck, E.A. Lee, J. Liu, X. Liu, J. Ludvig, et al.,Taming heterogeneity – the Ptolemy approach, Proceedings ofthe IEEE, Special Issue on Modeling and Design of EmbeddedSoftware, 91, 2003, 127–144.
  3. [3] R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivan, C. Kumar,et al., Hierarchical modeling and analysis of embedded systems,Proceedings of the IEEE, 2002.202
  4. [4] G. Karsai, A. Agrawal, F. Shi & J. Sprinkle, On the use ofgraph transformations for the formal specification of modelinterpreters, Journal of Universal Computer Science, Specialissue on Formal Specification of CBS, 9(11), 2003, 1296–1321.
  5. [5] F. Balarin, L. Lavagno, C. Passerone, A.L.S. Vincentelli, M.Sgroi, & Y. Watanabe, Modeling and designing heterogeneoussystems, Advances in Concurrency and System Design, 2002.
  6. [6] G. Berry & G. Gonthier, The esterel synchronous program-ming language: design, semantics, implementation, Science OfComputer Programming, 19 (2), 1992, 87–152.
  7. [7] C.A.R. Hoare, Communicating sequential processes, Commu-nications of the ACM, 21 (8), 1978, 666–677.
  8. [8] E.A. Lee & A.L. Sangiovanni-Vincentelli, A framework forcomparing models of computation, IEEE Transactions on CADof Integrated Circuits and Systems, 17 (12), 1998, 1217–1229.
  9. [9] K.M. Chandy & L. Lamport, Distributed snapshots: determin-ing global states of distributed systems, ACM Transactions onComputer Systems, 3, 1985, 63–75.
  10. [10] E.A. Lee & D.G. Messerschmitt, Synchronous data flow, Pro-ceedings of the IEEE, 75, 1987, 1235–1245.
  11. [11] A. Jantsch & I. Sander, Models of computation and languagesfor embedded system design, IEE Proceedings on Computersand Digital Techniques, 152, 2005, 114–129. Special issue onEmbedded Microelectronic Systems.
  12. [12] D. Lugato, C. Bigot, Y. Valot, J.-P. Gallois, S. G´erard, &F. Terrier, Validation and automatic test generation on umlmodels: the agatha approach, Software Tools for TechnologyTransfer, 5, 2004, 124–139.Books
  13. [13] G. T. Heineman and W. T. Councill, eds., Component-BasedSoftware Engineering. (NY: Addison-Wesley, 2001).
  14. [14] T. Clark, A. Evans, P. Sammut & J. Willans, Applied meta-modelling: a foundation for language driven development,(Sheffield, UK: Xactium, 2004).
  15. [15] G. Tel, Introduction to Distributed Algorithms, second edition.(Cambridge, UK: Cambridge University Press, 2000).
  16. [16] B. Meyer, Introduction to the Theory of Programming Lan-guages. (Prentice Hall, UK: Hemel Hempstead, 1990).Proceedings Papers
  17. [17] M. Pezz`e & M. Young, Generation of multiformalism state-space analysis tools, Proc. ISSTA ’96, ACM, New-York, 1996,172–179.
  18. [18] C. Hardebolle, F. Boulanger, D. Marcadet, & G. Vidal-Naquet,A generic execution framework for models of computation,Proc. of MOMPES 2007, at ETAPS 2007, IEEE ComputerSociety, Los Alamitos, CA, 2007, 45–54.
  19. [19] T.A. Henzinger & J. Sifakis, The embedded systems designchallenge, Proc. 14th International Symposium on FormalMethods (FM), Lecture Notes in Computer Science, Springer,Berlin/Heidelberg, 2006, 1–15.
  20. [20] P.-A. Muller, F. Fleurey, & J.-M. J´ez´equel, Weaving executabil-ity into object-oriented meta-languages, Proc. MODELS/UML2005, Springer Berlin/Heidelberg, 2005, 264–278.
  21. [21] J.D. Lara & H. Vangheluwe, ATOM3: A tool for multi-formalism modelling and meta-modelling, Proc. FASE 2002,Springer-Verlag, London, 2002, 595–603.
  22. [22] T. Levendovszky, L. Lengyel, & H. Charaf, Software Compo-sition with a Multipurpose Modeling and Model Transforma-tion Framework, IASTED on SE, Innsbruck, Austria, 2004,590–594.
  23. [23] A. Basu, M. Bozga, & J. Sifakis, Modeling heterogeneous real-time systems in BIP, Proc. SEFM06, IEEE Computer SocietyWashington DC, 2006, 3–12.
  24. [24] F. Maraninchi & T. Bouhadiba, 42: Programmable models ofcomputation for a component-based approach to heterogeneousembedded systems, Proc. GPCE’07, 2007, 1–3.
  25. [25] P. Fritzson & V. Engelson, Modelica — A unified object-oriented language for system modeling and simulation, Proc.of ECOOP98, ACM, New-York, 1998, 67–90.
  26. [26] F. Boulanger, M. Mbobi, & M. Feredj, Flat heterogeneousmodeling, Proc. IPSI 2004, 2004.
  27. [27] F. Boulanger, M. Mbobi, & M. Feredj, An approach for domainpolymorph component design, Proc. IRI 2004, 2004.
  28. [28] A. Benveniste, B. Caillaud, L.P. Carloni, & A.L. Sangiovanni-Vincentelli, Tag machines, Proc. of EMSOFT 2005, ACM,New-York, 2005, 255–263.
  29. [29] J.R. Burch, R. Passerone, & A.L. Sangiovanni-Vincentelli,Overcoming heterophobia: Modeling concurrency in heteroge-neous systems, Proc. second International Conf. on Applicationof Concurrency to System Design, IEEE Computer Society,Washington DC, 2001, 13.
  30. [30] C. Kong & P. Alexander, The Rosetta meta-model framework,Proc. ECBS’03, IEEE Computer Society, Los Alamitos, CA,2003.Miscellaneous
  31. [31] E. Bruneton, T. Coupaye, & J. Stefani, The fractal componentmodel specification, February 2004.
  32. [32] J. Liu, Continuous time and mixed-signal simulation in PtolemyII, Tech. Rep. EECS Department, University of California,Berkeley, 1998.
  33. [33] B. Lee, Specification and design of reactive systems, Tech. Rep.UCB/ERL M00/29, EECS Department, Univ. of California,Berkeley, 2000.
  34. [34] OMG, UML profile for Modeling and Analysis of Real-Timeand Embedded systems (MARTE) RFP, February 2005.
  35. [35] L. Muliadi, Discrete event modeling in Ptolemy II, Tech. Rep.UCB/ERL M99/29, EECS Department, Univ. of California,Berkeley, May 1999.
  36. [36] OMG, Object Constraint Language specification, Version 2.0,May 2006.
  37. [37] OMG, Meta Object Facility 2.0 Query-View-Transform speci-fication, November 2005.
  38. [38] OMG, Unified Modeling Language: Infrastructure – Version2.1.1, January 2007.
  39. [39] Eclipse Foundation, Eclipse Modeling Framework (EMF).
  40. [40] ATLAS group (INRIA – LINA), ATLAS Transformation Lan-guage (ATL).
  41. [41] Commissariat `a l’´Energie Atomique, Papyrus UML Modeler.

Important Links:

Go Back