?url_ver=Z39.88-2004&rft_id=arXiv%3A1509.08560&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F3564%2F&rft.title=CARMA%3A+Collective+Adaptive+Resource-sharing+Markovian+Agents&rft.creator=Bortolussi%2C+Luca&rft.creator=De+Nicola%2C+Rocco&rft.creator=Galpin%2C+Vashti&rft.creator=Gilmore%2C+Stephen&rft.creator=Hillstone%2C+Jane&rft.creator=Latella%2C+Diego&rft.creator=Loreti%2C+Michele&rft.creator=Massink%2C+Mieke&rft.subject=QA76+Computer+software&rft.description=In+this+paper+we+present+CARMA%2C+a+language+recently+defined+to+support+specification+and+analysis+of+collective+adaptive+systems.+CARMA+is+a+stochastic+process+algebra+equipped+with+linguistic+constructs+specifically+developed+for+modelling+and+programming+systems+that+can+operate+in+open-ended+and+unpredictable+environments.+This+class+of+systems+is+typically+composed+of+a+huge+number+of+interacting+agents+that+dynamically+adjust+and+combine+their+behaviour+to+achieve+specific+goals.+A+CARMA+model%2C+termed+a+collective%2C+consists+of+a+set+of+components%2C+each+of+which+exhibits+a+set+of+attributes.+To+model+dynamic+aggregations%2C+which+are+sometimes+referred+to+as+ensembles%2C+CARMA+provides+communication+primitives+that+are+based+on+predicates+over+the+exhibited+attributes.+These+predicates+are+used+to+select+the+participants+in+a+communication.+Two+communication+mechanisms+are+provided+in+the+CARMA+language%3A+multicast-based+and+unicast-based.+In+this+paper%2C+we+first+introduce+the+basic+principles+of+CARMA+and+then+we+show+how+our+language+can+be+used+to+support+specification+with+a+simple+but+illustrative+example+of+a+socio-technical+collective+adaptive+system.&rft.publisher=arXiv&rft.date=2015&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.identifier=++Bortolussi%2C+Luca+and+De+Nicola%2C+Rocco+and+Galpin%2C+Vashti+and+Gilmore%2C+Stephen+and+Hillstone%2C+Jane+and+Latella%2C+Diego+and+Loreti%2C+Michele+and+Massink%2C+Mieke++CARMA%3A+Collective+Adaptive+Resource-sharing+Markovian+Agents.++Working+Paper+++arXiv+++++++(Submitted)+++&rft.relation=https%3A%2F%2Farxiv.org%2Fabs%2F1509.08560&rft.relation=arXiv%3A1509.08560