Abstract
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 data flow abstractions such as smart grids.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
References
Aman, S., Simmhan, Y., Prasanna, V.: Energy management systems: state of the art and emerging trends. IEEE Commun. Mag. 51(1), 114–119 (2013)
Campos, J., Chiola, G., Colom, J.M., Silva, M.: Properties and performance bounds for timed marked graphs. IEEE Trans. Circuits Syst. I: Fundam. Theory Appl. 39(5), 386–401 (1992)
Elizondo, D., Gardner, R., Leon, R.: Power and energy society general meeting. In: 2012 IEEE Synchrophasor Technology: The Boom of Investments and Information Flow From North America to Latin America, pp. 1–6, July 2012
Fang, X., Misra, S., Xue, G., Yang, D.: Managing smart grid information in the cloud: opportunities, model, and applications. IEEE Netw. 26(4), 32–38 (2012)
Government, U: NIST Framework and Roadmap for Smart Grid Interoperability Standards, Release 3.0. General Books, September 2014
Jensen, K., Rozenberg, G. (eds.): High-level Petri Nets: Theory and Application. Springer, London (1991)
Khazaei, H., Misic, J., Misic, V.: Performance analysis of cloud computing centers using m/g/m/m+r queuing systems. IEEE Trans. Parallel Distrib. Syst. 23(5), 936–943 (2012)
Maheshwari, K., Lim, M., Wang, L., Birman, K., van Renesse, R.: Toward a reliable, secure and fault tolerant smart grid state estimation in the cloud. In: IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013, pp. 1–6 (2013)
Marz, N., Warren, J.: Big Data: Principles and Best Practices of Scalable Realtime Data Systems. Manning Publications Co, Greenwhich (2015)
O’Loughlin, J., Gillam, L.: Performance evaluation for cost-efficient public infrastructure cloud use. In: Altmann, J., Vanmechelen, K., Rana, O.F. (eds.) GECON 2014. LNCS, vol. 8914, pp. 133–145. Springer, Heidelberg (2014)
Pautasso, C., Alonso, G.: Parallel computing patterns for grid workflows. In: Proceedings of the HPDC 2006 Workshop on Workflows in Support of Large-Scale Science, WORKS 19–23 June 2006, Paris, France, pp. 1–10 (2006)
Seceleanu, C.C., Crnkovic, I.: Component models for reasoning. IEEE Comput. 46(11), 40–47 (2013)
Simmhan, Y., Kumbhare, A.G.: Floe: a continuous dataflow framework for dynamic cloud applications. CoRR abs/1406.5977 (2014)
Thong, W., Ameedeen, M.: A survey of petri net tools. In: Sulaiman, H.A., Othman, M.A., Othman, M.F.I., Pee, N.C., Rahim, Y.A. (eds.) Advanced Computer and Communication Engineering Technology. Lecture Notes in Electrical Engineering, vol. 315, pp. 537–551. Springer International Publishing, Switzerland (2015)
Tolosana-Calasanz, R., Bañares, J.Á., Colom, J.-M.: Towards petri net-based economical analysis for streaming applications executed over cloud infrastructures. In: Altmann, J., Vanmechelen, K., Rana, O.F. (eds.) GECON 2014. LNCS, vol. 8914, pp. 189–205. Springer, Heidelberg (2014)
Tolosana-Calasanz, R., Bañares, J., Rana, O.F., Pham, C., Xydas, E., Marmaras, C.E., Papadopoulos, P., Cipcigan, L.: Enforcing quality of service on OpenNebula-based shared clouds. In: CCGRID 2014 Workshop on Data-Intensive Process Management in Large-Scale Sensor Systems, DPMSS 2014, Chicago, IL, USA, May 26–29, 2014. pp. 651–659. IEEE (2014)
Yeo, S., Lee, H.H.: Using mathematical modeling in provisioning a heterogeneous cloud computing environment. Computer 44(8), 55–62 (2011)
Yu, L., Moretti, C., Thrasher, A., Emrich, S.J., Judd, K., Thain, D.: Harnessing parallelism in multicore clusters with the all-pairs, wavefront, and makeflow abstractions. Clust. Comput. 13(3), 243–256 (2010)
Acknowledgments
This work was co-financed by the Industry and Innovation deparment of the Aragonese Government and European Social Funds (COSMOS research group, ref. T93); and by the Spanish Ministry of Economy under the program “Programa de I+D+i Estatal de Investigación, Desarrollo e innovación Orientada a los Retos de la Sociedad”, project id TIN2013-40809-R.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Merino, A., Tolosana-Calasanz, R., Bañares, J.Á., Colom, JM. (2016). A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services. In: Altmann, J., Silaghi, G., Rana, O. (eds) Economics of Grids, Clouds, Systems, and Services. GECON 2015. Lecture Notes in Computer Science(), vol 9512. Springer, Cham. https://doi.org/10.1007/978-3-319-43177-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-43177-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-43176-5
Online ISBN: 978-3-319-43177-2
eBook Packages: Computer ScienceComputer Science (R0)