dc.creator | Durán, Francisco | es |
dc.creator | Zschaler, Steffen | es |
dc.creator | Troya Castilla, Javier | es |
dc.date.accessioned | 2018-04-20T08:24:11Z | |
dc.date.available | 2018-04-20T08:24:11Z | |
dc.date.issued | 2012 | |
dc.identifier.citation | Durán, F., Zschaler, S. y Troya Castilla, J. (2012). On the Reusable Specification of Non-functional Properties in DSLs. En SLE 2012: 5th International Conference on Software Language Engineering (332-351), Dresden, Germany: Springer. | |
dc.identifier.isbn | 978-3-642-36088-6 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | https://hdl.handle.net/11441/73273 | |
dc.description.abstract | Domain-specific languages (DSLs) are an important tool for effective
system development. They provide concepts that are close to the problem domain
and allow analysis as well as generation of full solution implementations.
However, this comes at the cost of having to develop a new language for every
new domain. To make their development efficient, we must be able to construct
DSLs as much as possible from reusable building blocks. In this paper, we discuss
how such building blocks can be constructed for the specification and analysis
of a range of non-functional properties, such as, for example, throughput,
response time, or reliability properties. We assume DSL semantics to be provided
through a set of transformation rules, which enables a range of analyses
based on model checking. We demonstrate new concepts for defining language
modules for the specification of non-functional properties, show how these can
be integrated with base DSL specifications, and provide a number of syntactic
conditions that we prove maintain the semantics of the base DSL even in the
presence of non-functional–property specifications. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2011-23795 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | SLE 2012: 5th International Conference on Software Language Engineering (2012), p 332-351 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | On the Reusable Specification of Non-functional Properties in DSLs | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIN2011-23795 | es |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-642-36089-3_19 | es |
dc.identifier.doi | 10.1007/978-3-642-36089-3_19 | es |
idus.format.extent | 20 | es |
dc.publication.initialPage | 332 | es |
dc.publication.endPage | 351 | es |
dc.eventtitle | SLE 2012: 5th International Conference on Software Language Engineering | es |
dc.eventinstitution | Dresden, Germany | es |
dc.relation.publicationplace | Berlín | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |