?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F2152%2F&rft.title=Stochastically+timed+predicate-based+communication+primitives%0D%0Afor+autonomic+computing&rft.creator=Latella%2C+Diego&rft.creator=Loreti%2C+Michele&rft.creator=Massink%2C+Mieke&rft.creator=Senni%2C+Valerio&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=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%0D%0Aevaluation+of+a+predicate%2C+in+a+multicast+fashion.+Predicate-based+communication+can+greatly+simplify+the+programming+of+autonomous+and+adaptive+systems.+We+present+a%0D%0Astochastically+timed+extension+of+the+Software+Component+Ensemble+Language+(SCEL)+that+was+introduced+in+previous+work.+Such+an+extension+raises+a+number+of+non-trivial%0D%0Adesign+and+formal+semantics+issues+with+different+options+as+possible+solutions+at+different+levels+of+abstraction.+We+discuss+four+of+these+options.+We+provide+formal+semantics+and+an+illustration+of+the+use+of+the+language+modeling+a+variant+of+a+bike+sharing+system%2C+together+with+some+preliminary+analysis+of+the+system+performance.&rft.publisher=QUANTICOL+Project&rft.date=2014&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F2152%2F1%2FStocSTRQcol.pdf&rft.identifier=++Latella%2C+Diego+and+Loreti%2C+Michele+and+Massink%2C+Mieke+and+Senni%2C+Valerio++Stochastically+timed+predicate-based+communication+primitives+for+autonomic+computing.++Technical+Report++%233%2F2014++++QUANTICOL+Project+++++++++&rft.relation=http%3A%2F%2Fblog.inf.ed.ac.uk%2Fquanticol%2Ftechnical-reports%2F