Abstract
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication can greatly simplify the programming of autonomous and adaptive systems. We present a stochastically timed extension of the Software Component Ensemble Language (SCEL) that was introduced in previous work. Such an extension allows for quantitative modelling and analysis of system behaviour (e.g. performance) but rises a number of non-trivial design and formal semantics issues with different options as possible solutions at different levels of abstraction.
This research has been partially funded by the EU projects ASCENS (nr. 257414) and QUANTICOL (nr. 600708), and the IT MIUR project CINA.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bortolussi, L., Hillston, J.: Fluid model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 333–347. Springer, Heidelberg (2012)
Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Perform. Eval. 70(5), 317–349 (2013)
Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 240–254. Springer, Heidelberg (2012)
De Nicola, R., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: Model Checking Mobile Stochastic Logic. Theoretical Computer 382(1), 42–70 (2007), http://dx.doi.org/10.1016/j.tcs.2007.05.008 , doi:10.1016/j.tcs.2007.05.008.
De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25–48. Springer, Heidelberg (2012)
De Nicola, R., Latella, D., Loreti, M., Massink, M.: Rate-based transition systems for stochastic process calculi. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol. 5556, pp. 435–446. Springer, Heidelberg (2009)
Nicola, R.D., Latella, D., Loreti, M., Massink, M.: A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1), 5:1–5:35 (2013)
Nicola, R.D., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: The SCEL language. TAAS 9(2), 7 (2014)
Feng, C., Hillston, J.: PALOMA: A process algebra for located markovian agents. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 265–280. Springer, Heidelberg (2014)
N. Koch, M. Hölzl, A. Klarl, P. Mayer, T. Bures, J. Combaz, A.L. Lafuente, R.D. Nicola, S. Sebastio, F. Tiezzi, A. Vandin, F. Gadducci, V. Monreale, U. Montanari, M. Loreti, C. Pinciroli, M. Puviani, F. Zambonelli, N. Šerbedžija, E. Vassev.: JD3.2: Software engineering for self-aware SCEs. ASCENS Deliverable JD3.2 (2013)
Latella, D., Loreti, M., Massink, M., Senni, V.: Stochastically timed predicate-based communication primitives for autonomic computing. In: Bertrand, N., Bortolussi, L. (eds.) Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, April 12-13. EPTCS, vol. 154, pp. 1–16 (2014)
Nicola, R.D., Hölzl, M., Loreti, M., Lafuente, A.L., Montanari, U., Vassev, E., Zambonelli, F.: JD2.1: Languages and knowledge models for self-awareness and self-expression. ASCENS Deliverable JD2.1 (2012)
Šerbedžija, N., Hoch, N., Pinciroli, C., Kit, M., Bures, T., Monreale, V., Montanari, U., Mayer, P., Velasco, J.: D7.3: Third report on wp7 - integration and simulation report for the ascens case studies, ASCENS Deliverable D7.3 (2013)
Šerbedžija, N., Massink, M., Pinciroli, C., Brambilla, M., Latella, D., Dorigo, M., Birattari, M., Mayer, P., Velasco, J.A., Hoch, N., Bensler, H.P., Abeywickrama, D., Keznikl, J., Gerostathopoulos, I., Bures, T., Nicola, R.D., Loreti, M.: D7.2: Second report on wp7 - integration and simulation report for the ascens case studies. ASCENS Deliverable D7.2 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Latella, D., Loreti, M., Massink, M., Senni, V. (2015). On StocS: A Stochastic Extension of SCEL. In: De Nicola, R., Hennicker, R. (eds) Software, Services, and Systems. Lecture Notes in Computer Science, vol 8950. Springer, Cham. https://doi.org/10.1007/978-3-319-15545-6_35
Download citation
DOI: https://doi.org/10.1007/978-3-319-15545-6_35
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15544-9
Online ISBN: 978-3-319-15545-6
eBook Packages: Computer ScienceComputer Science (R0)