Mostra el registre d'ítem simple
Amalgamation of domain specific languages with behaviour
dc.contributor.author | Duran, Francisco |
dc.contributor.author | Moreno Delgado, Antonio |
dc.contributor.author | Orejas Valdés, Fernando |
dc.contributor.author | Zschaler, Steffen |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2017-02-08T08:20:14Z |
dc.date.available | 2017-09-26T00:30:34Z |
dc.date.issued | 2017-01-01 |
dc.identifier.citation | Duran, F., Moreno-Delgado, A., Orejas, F., Zschaler, S. Amalgamation of domain specific languages with behaviour. "Journal of logical and algebraic methods in programming", 1 Gener 2017, vol. 86, núm. 1, p. 208-235. |
dc.identifier.issn | 2352-2208 |
dc.identifier.uri | http://hdl.handle.net/2117/100652 |
dc.description.abstract | Domain-specific languages (DSLs) become more useful the more specific they are to a particular domain. The resulting need for developing a substantial number of DSLs can only be satisfied if DSL development can be made as efficient as possible. One way in which to address this challenge is by enabling the reuse of (partial) DSLs in the construction of new DSLs. Reuse of DSLs builds on two foundations: a notion of DSL composition and theoretical results ensuring the safeness of composing DSLs with respect to the semantics of the component DSLs. Given a graph-grammar formalisation of DSLs, in this paper, we build on graph transformation system morphisms to define parameterised DSLs and their instantiation by an amalgamation construction. Results on the protection of the behaviour along the induced morphisms allow us to safely reuse and combine definitions of DSLs to build more complex ones. We illustrate our proposal in e-Motions for a DSL for production-line systems and three independent DSLs for describing non-functional properties, namely response time, throughput, and failure rate. |
dc.format.extent | 28 p. |
dc.language.iso | eng |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Domain-specific programming languages |
dc.subject.other | Graph transformation |
dc.subject.other | Domain specific languages |
dc.subject.other | e-Motions |
dc.subject.other | Behaviour-aware morphisms |
dc.title | Amalgamation of domain specific languages with behaviour |
dc.type | Article |
dc.subject.lemac | Llenguatges de domini específic |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1016/j.jlamp.2015.09.005 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://www.sciencedirect.com/science/article/pii/S2352220815000875 |
dc.rights.access | Open Access |
local.identifier.drac | 19671588 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Duran, F.; Moreno-Delgado, A.; Orejas, F.; Zschaler, S. |
local.citation.publicationName | Journal of logical and algebraic methods in programming |
local.citation.volume | 86 |
local.citation.number | 1 |
local.citation.startingPage | 208 |
local.citation.endingPage | 235 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.049]
-
Articles de revista [274]