Loading...
Please wait, while we are loading the content...
A generic framework for defining operational semantics , simulating and model-checking domain-specific modelling languages ( DSMLs )
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ober, Iulian Cuccuru, Arnaud |
| Copyright Year | 2013 |
| Abstract | With the increasing use of domain specific modelling languages (DMSLs), language engineering is becoming (again) an important topic and novel applications are coming to light every day. A recurring problem with no satisfactory solution yet is that of simulating and efficiently exploring the state spaces of models defined in these languages. If, with the current tools, it is very easy to define the syntax and static semantics of these languages, the situation is different when it comes to dynamic semantics, simulation and model-checking of non-trivial languages. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.irit.fr/~Iulian.Ober/docs/2013.PhDThesisDSMLSemanticsAndSimulation.pdf |
| Alternate Webpage(s) | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.357.5133&rep=rep1&type=pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |