doi:10.1007/978-3-319-43177-2_10engMerino, AlbertoTolosana-Calasanz, RafaelBañares, José ÁngelColom, José ManuelA Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management ServicesART-2016-103890Requirements 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.2016http://zaguan.unizar.es/record/6447510.1007/978-3-319-43177-2_10http://zaguan.unizar.es/record/64475oai:zaguan.unizar.es:64475Lecture Notes in Computer Science 9512 (2016), 147-163by-nc-ndhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccess