000064475 001__ 64475
000064475 005__ 20200221144236.0
000064475 0247_ $$2doi$$a10.1007/978-3-319-43177-2_10
000064475 0248_ $$2sideral$$a103890
000064475 037__ $$aART-2016-103890
000064475 041__ $$aeng
000064475 100__ $$aMerino, Alberto
000064475 245__ $$aA Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services
000064475 260__ $$c2016
000064475 5060_ $$aAccess copy available to the general public$$fUnrestricted
000064475 5203_ $$aRequirements 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.
000064475 540__ $$9info:eu-repo/semantics/openAccess$$aby-nc-nd$$uhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
000064475 592__ $$a0.339$$b2016
000064475 593__ $$aComputer Science (miscellaneous)$$c2016$$dQ2
000064475 593__ $$aTheoretical Computer Science$$c2016$$dQ3
000064475 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/acceptedVersion
000064475 700__ $$aTolosana-Calasanz, Rafael
000064475 700__ $$aBañares, José Ángel
000064475 700__ $$aColom, José Manuel
000064475 773__ $$g9512 (2016), 147-163$$pLect. notes comput. sci.$$tLecture Notes in Computer Science$$x0302-9743
000064475 8564_ $$s828646$$uhttps://zaguan.unizar.es/record/64475/files/texto_completo.pdf$$yPostprint
000064475 8564_ $$s69091$$uhttps://zaguan.unizar.es/record/64475/files/texto_completo.jpg?subformat=icon$$xicon$$yPostprint
000064475 909CO $$ooai:zaguan.unizar.es:64475$$particulos$$pdriver
000064475 951__ $$a2020-02-21-13:20:43
000064475 980__ $$aARTICLE