Presentation
On the Reusable Specification of Non-functional Properties in DSLs
Author/s | Durán, Francisco
Zschaler, Steffen Troya Castilla, Javier |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2012 |
Deposit Date | 2018-04-20 |
Published in |
|
ISBN/ISSN | 978-3-642-36088-6 0302-9743 |
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 implementati ... 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. |
Funding agencies | Ministerio de Ciencia e Innovación (MICIN). España |
Project ID. | TIN2011-23795 |
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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
On the Reusable Specification.pdf | 973.5Kb | [PDF] | View/ | |