Paper Info
Title
Reifying Concurrency for Executable Metamodeling.
Abstract
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 concurrency semantics of DSMLs. Often, such semantics are provided by the implicit concurrency model of the execution environment supported by the language workbench used to implement the DSMLs. The lack of an explicit concurrency model has several drawbacks: it prevents from developing a complete understanding of the DSML's behavioral semantics, as well as effective concurrency-aware analysis techniques, and explicit models of semantic variants. This work reifies concurrency as a metamodeling facility, leveraging formalization work from the concurrency theory and models of computation (MoC) community. The essential contribution of this paper is a language workbench for binding domain-specific concepts and models of computation through an explicit event structure at the metamodel level. We present a case study that serves to demonstrate the utility of the novel metamodeling facilities and clarify the scope of the approach.
Year
DOI
Venue
2013
10.1007/978-3-319-02654-1_20
Lecture Notes in Computer Science
Field
DocType
Volume
Programming language,Domain-specific modeling,Concurrency,Computer science,Concurrency semantics,Abstract syntax,Object Constraint Language,Non-lock concurrency control,Metamodeling,Semantics
Conference
8225
ISSN
Citations 
PageRank 
0302-9743
16
0.77
References 
Authors
29
7
Name
Order
Citations
PageRank
Benoît Combemale142346.61
Julien DeAntoni218018.34
Matias Vara Larsen3291.48
Frédéric Mallet432834.84
Olivier Barais572461.99
Benoit Baudry62000118.08
Robert B. France73315271.06