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: Article (PostPrint)