Reifying Concurrency for Executable Metamodeling
作者： Benoît Combemale , Julien De Antoni , Matias Vara Larsen , Frédéric Mallet , Olivier Barais
DOI: 10.1007/978-3-319-02654-1_20
关键词: Programming language 、 Concurrency semantics 、 Concurrency 、 Computer science 、 Abstract syntax 、 Domain-specific modeling 、 Semantics (computer science) 、 Metamodeling 、 Object Constraint Language 、 Non-lock concurrency control
摘要: Current metamodeling techniques can be used to specify the syntax and semantics of domain specific modeling languages (DSMLs). Still, there is little support for explicitly specifying …
springer.com
sci-hub.st 参考文章(54)
David Steinberg, Ed Merks, Marcelo Paternostro, Frank Budinsky, EMF: Eclipse Modeling Framework 2.0 Addison-Wesley Professional. ,(2009)
Stuart Kent, Steve Cook, Alan Wills, Gareth Jones, Domain-Specific Development with Visual Studio DSL Tools ,(2007)
Julien DeAntoni, Frédéric Mallet, TimeSquare: treat your models with logical time TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns. ,vol. 7304, pp. 34- 41 ,(2012) , 10.1007/978-3-642-30561-0_4
Gabor Karsai, Jonathan Sprinkle, Aditya Agrawal, Feng Shi, On the Use of Graph Transformation in the Formal Specification of Model Interpreters Journal of Universal Computer Science. ,vol. 9, pp. 1296- 1321 ,(2003)
Lukas Diekmann, Laurence Tratt, Eco: A Language Composition Editor software language engineering. pp. 82- 101 ,(2014) , 10.1007/978-3-319-11245-9_5
C. A. Petri, Introduction to General Net Theory Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications. pp. 1- 19 ,(1979) , 10.1007/3-540-10001-6_21
Trustworthy Software Development Processes Lecture Notes in Computer Science. ,vol. 5543, ,(2009) , 10.1007/978-3-642-01680-6
Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction ,(1993)
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski, Forwarding in Attribute Grammars for Modular Language Design compiler construction. pp. 128- 142 ,(2002) , 10.1007/3-540-45937-5_11
Bertrand Meyer, Eiffel: The Language ,(1991)