A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services
Merino, Alberto ; Tolosana-Calasanz, Rafael ; Bañares, José Ángel ; Colom, José Manuel
Resumen: Requirements of Energy Management Services include short and long term processing of data in a massively interconnected scenario. The complexity and variety of short term applications needs methodologies that allow designers to reason about the models taking into account functional and non-functional requirements. In this paper we present a component based specification language for building trustworthy continuous dataflow applications. Component behaviour is defined by Petri Nets in order to translate to the methodology all the advantages derived from a mathematically based executable model to support analysis, verification, simulation and performance evaluation. The paper illustrates how to model and reason with specifications of advanced dataflow abstractions such as smart grids.
Idioma: Inglés
DOI: 10.1007/978-3-319-43177-2_10
Año: 2016
Publicado en: Lecture Notes in Computer Science 9512 (2016), 147-163
ISSN: 0302-9743
Factor impacto SCIMAGO: 0.339 - Computer Science (miscellaneous) (Q2) - Theoretical Computer Science (Q3)
Tipo y forma: Artículo (PostPrint)
Debe reconocer adecuadamente la autoría, proporcionar un enlace a la licencia e indicar si se han realizado cambios. Puede hacerlo de cualquier manera razonable, pero no de una manera que sugiera que tiene el apoyo del licenciador o lo recibe por el uso que hace. No puede utilizar el material para una finalidad comercial. Si remezcla, transforma o crea a partir del material, no puede difundir el material modificado.
Exportado de SIDERAL (2020-02-21-13:20:43)
Visitas y descargas
Idioma: Inglés
DOI: 10.1007/978-3-319-43177-2_10
Año: 2016
Publicado en: Lecture Notes in Computer Science 9512 (2016), 147-163
ISSN: 0302-9743
Factor impacto SCIMAGO: 0.339 - Computer Science (miscellaneous) (Q2) - Theoretical Computer Science (Q3)
Tipo y forma: Artículo (PostPrint)
Debe reconocer adecuadamente la autoría, proporcionar un enlace a la licencia e indicar si se han realizado cambios. Puede hacerlo de cualquier manera razonable, pero no de una manera que sugiera que tiene el apoyo del licenciador o lo recibe por el uso que hace. No puede utilizar el material para una finalidad comercial. Si remezcla, transforma o crea a partir del material, no puede difundir el material modificado.Exportado de SIDERAL (2020-02-21-13:20:43)
Enlace permanente:
Visitas y descargas
Este artículo se encuentra en las siguientes colecciones:
Artículos
Registro creado el 2018-01-24, última modificación el 2020-02-21