A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services
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: Article (PostPrint)

Creative Commons You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. You may not use the material for commercial purposes. If you remix, transform, or build upon the material, you may not distribute the modified material.


Exportado de SIDERAL (2020-02-21-13:20:43)


Visitas y descargas

Este artículo se encuentra en las siguientes colecciones:
Articles



 Record created 2018-01-24, last modified 2020-02-21


Postprint:
 PDF
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)