64475 20250612142454.0 doi 10.1007/978-3-319-43177-2_10 sideral 103890 ART-2016-103890 eng Merino, Alberto A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services 2016 Access copy available to the general public Unrestricted 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. info:eu-repo/semantics/openAccess by-nc-nd http://creativecommons.org/licenses/by-nc-nd/3.0/es/ 0.339 2016 Computer Science (miscellaneous) 2016 Q2 Theoretical Computer Science 2016 Q3 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion Tolosana-Calasanz, Rafael Bañares, José Ángel Colom, José Manuel 9512 (2016), 147-163 Lect. notes comput. sci. Lecture Notes in Computer Science 0302-9743 828646 http://zaguan.unizar.es/record/64475/files/texto_completo.pdf Postprint 69091 http://zaguan.unizar.es/record/64475/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:64475 articulos driver 2025-06-12-14:23:36 ARTICLE