A calculus for collective-adaptive systems and its behavioural theory. Abd Alrahman, Y., De Nicola, R., & Loreti, M. Inf. Comput., 2019. ![A calculus for collective-adaptive systems and its behavioural theory [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex 3 downloads We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account connections as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labelled Transition Systems that are also used to define bisimilarity between components. Labelled bisimilarity is in full agreement with a barbed congruence, defined by relying on simple basic observables and context closure. The introduced equivalence is used to study the expressiveness of AbC in terms of encoding aspects of broadcast channel-based interactions and to establish formal relationships between system descriptions at different levels of abstraction.
@article{DBLP:article/iandc/AlrahmanNL19,
author = {Yehia {Abd Alrahman} and
Rocco {De Nicola} and
Michele Loreti},
title = {A calculus for collective-adaptive systems and its behavioural theory},
journal = {Inf. Comput.},
volume = {268},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.104457},
doi = {10.1016/j.ic.2019.104457},
abstract = {We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account connections as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labelled Transition Systems that are also used to define bisimilarity between components. Labelled bisimilarity is in full agreement with a barbed congruence, defined by relying on simple basic observables and context closure. The introduced equivalence is used to study the expressiveness of AbC in terms of encoding aspects of broadcast channel-based interactions and to establish formal relationships between system descriptions at different levels of abstraction.}
}
Downloads: 3
{"_id":"m9sZpmZXW34b5BTxb","bibbaseid":"abdalrahman-denicola-loreti-acalculusforcollectiveadaptivesystemsanditsbehaviouraltheory-2019","authorIDs":["2DxnChSmAvAs9EwwE","2Gd2RxHkWxv6sJ8y3","2cDyrpmH2mcpZwjpC","2jqxqB5wpgRJFhM7W","2zQueGM7FaPTsFkwB","39wBibQWriNLbkfSd","3HGKqTFXPegC5c2z7","3NdMA6BZFgEa35z8c","3PWPgPnYHSEZS5yYc","3numxik3dn3naNjtz","5btpEqzoBFQF5rXKM","5jiftYAxznh2cGj63","5sc38v97h9bathM2s","6WdozLNkYBvangMYX","6d4JyDrNQY4698bDJ","6vdbTWoR6sBsGgazp","6wQ7qaXYiyAoGNzmY","6wfQaopJsQQQYQt4X","7GM8zQFgDRwf8v4SL","7LpsMuNJ3uZkEmhux","7rEE4xF4dT8orw23Z","7xuga2xECFRdmRhfE","8Amf5pZuzx9vK9whj","92r7CTjoLzqyif7PN","9ExpDQd6k9f7m8dxk","9L99rKeradbXEchPj","ACvL6zSPY2mMJdfrH","Afd7YZF6m6fNoq6GB","AuJuGQHoFwsTBzWtD","B6P3tSrewWLi7RY95","BYwRuXEcQG2ujfaya","CqZKL6przrsKTqkpk","DNyvshGXNbLADWqTW","DPWYnHgFbjv5BjGch","EFgqxBvb3jEfWHHbc","ELH3b3NJtaMEvWuJb","FR6QGoHfCM2yJ5JYc","FkdWfhdfoHf2FHn5R","FwqviFzDbEmkmE7y3","HGSmjRBBc5EiE2Zk2","HT6D5JWtDGTytw3qW","HbDghZfHhiDxhgqvW","HkTy4THn4CNZgCAvK","JmEoSpc4J375y8tsP","KEE5zYfECpLDgKGrB","L94Hv8iwR6Z5KFnXw","LdkHFrXB2QSPsQfHt","LosBj83dXHBt3nFp6","LwgvTdcoZd4EcHuDs","M4mWfmsFz5CDckhqT","P2xzQGoPsMXefuM2j","PENNRsg2EgS2HZwC3","PbW6829CLf6fdQg4c","PdAvo5NWCxAQFRbnF","Q8tyw4rXYcwEi5QBo","QNNhWqqJ6XtqWaXYt","RZ2onLcPFLrMkBfYr","S23MSu244gQyr5NWd","SMraBsPwK7EbWn8Lu","SNprYMmnet67DcwJg","SgRCmifmMDecRjvK5","Sk9fPp88M3MhhEL2h","SyyBqMeAJmc96ptLX","THcumMXZGi4F59pqy","TNBeRiG9HpdRjPKLB","TgMeDEdmHPyWnFQBH","ToqfbFTa69eJu8FZp","WEfinYQHvbab4LMS5","WmWpB5KKymAsagHRC","WnSHzYp8Loh7bow8p","XSYHh4iiyZijbGrkB","XhRyn7AdDTMFcFbXW","aSeFdm5F849oCq4MX","afaPc76uuap4k53rq","ah2qwS93xiTCo2eDt","aizWn4RRDd2DQeRKC","asEZAw8erg7yiZowh","b2hdxXpZdtMxx654f","bdkzqhdNiCF9ZdoZ5","cBkMgvw6P8mpXFu93","daaT25m6A9RW4T7SC","dkwNZnLFBj7K5BfDv","eDXG7qqA9anvaAMsk","eHwFr5JGHrkbmxWhf","eaAvWcYxoufEebTQe","fP5CJjfawXMQoPMaD","fZtXDRPoPFNpsEJ4f","fgFDCNtyjAoBeKvzA","h43ZxB2n82m2PcgrY","hBuNPvJzX3vWvY2aW","hKzDdZoJJ99FzZjzG","hvEz5saLAppb4o3gT","iEj6XS9JsdcWtnSTn","iep6c2wJDXf5eZ4nN","imDQ3vkJgQeEev7SY","imcJQLjwMCbNygF5z","ixNuB57Tr7vLesAK8","jKw3q9nqCkrBM5zTk","jMjS2gXtoJeRBvPdL","jY8Znbg4LonEq9XTn","joHdKWreNc2sZs2iK","kaTaBXTYRt4ka4ENi","kntouHwpXLZNSkftB","mSTjcPdmkx4a4Qpke","nokfXe58cjXQF9QRX","omZdTGMcFpf2ipigd","ouFohR6EAzZN5AyST","p99pKD4PuPHLuadTD","pRoGPDYWKPs8SKc77","pXPTSghrefdTDYdYZ","pk9qqoRT9K77XjJaX","q2HSqwrGWrv7uYiQL","q4S6YAcitbE2cQLCz","qHLe2gvG6t4jYZM8N","rejbjA7LwmokaPjGA","rfF8t2vBR3o6faaee","rhDHdBPD53d7FdbjR","s4WFXgFkzkf46Ttjf","sZMAkYa82kCL2z9yu","sjWQBuRmJatinwzyT","svjGvtiYdofX3q4cy","t3eQtwYDBZYg49mpT","unGMAx9QNLNNgYEmA","vFfcGtQBh8zvxCsXh","vMndDpbYKQgX4kzv8","vah9hB77u6QCMbDuk","veiJ3C6HP4PKNStkx","vngvDsp63ZMxqC6d5","vqETeCoSRZddCSYKm","w6BiYovWcoW7fwNvA","wRvEot3Y8bPCzcAxq","wj73DCsxdpgrsyY5Y","xJZdgRb3dtRoAgKze","xwBCcee3Bnb3ARRpq","y587obGKGntQBJ6r5","yArJGvMrjLx9e7Fs8","yD25zrogXPn98dfbf","yht8xjdDmNnYnE7SG","zcqHEqRLtRWNRKC9p"],"author_short":["Abd Alrahman, Y.","De Nicola, R.","Loreti, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Yehia"],"propositions":[],"lastnames":["Abd Alrahman"],"suffixes":[]},{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]}],"title":"A calculus for collective-adaptive systems and its behavioural theory","journal":"Inf. Comput.","volume":"268","year":"2019","url":"https://doi.org/10.1016/j.ic.2019.104457","doi":"10.1016/j.ic.2019.104457","abstract":"We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account connections as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labelled Transition Systems that are also used to define bisimilarity between components. Labelled bisimilarity is in full agreement with a barbed congruence, defined by relying on simple basic observables and context closure. The introduced equivalence is used to study the expressiveness of AbC in terms of encoding aspects of broadcast channel-based interactions and to establish formal relationships between system descriptions at different levels of abstraction.","bibtex":"@article{DBLP:article/iandc/AlrahmanNL19,\n author = {Yehia {Abd Alrahman} and\n Rocco {De Nicola} and\n Michele Loreti},\n title = {A calculus for collective-adaptive systems and its behavioural theory},\n journal = {Inf. Comput.},\n volume = {268},\n year = {2019},\n url = {https://doi.org/10.1016/j.ic.2019.104457},\n doi = {10.1016/j.ic.2019.104457},\n abstract = {We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account connections as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labelled Transition Systems that are also used to define bisimilarity between components. Labelled bisimilarity is in full agreement with a barbed congruence, defined by relying on simple basic observables and context closure. The introduced equivalence is used to study the expressiveness of AbC in terms of encoding aspects of broadcast channel-based interactions and to establish formal relationships between system descriptions at different levels of abstraction.}\n}\n\n\n\n","author_short":["Abd Alrahman, Y.","De Nicola, R.","Loreti, M."],"key":"DBLP:article/iandc/AlrahmanNL19","id":"DBLP:article/iandc/AlrahmanNL19","bibbaseid":"abdalrahman-denicola-loreti-acalculusforcollectiveadaptivesystemsanditsbehaviouraltheory-2019","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ic.2019.104457"},"metadata":{"authorlinks":{"abd alrahman, y":"https://lazkany.bitbucket.io/#portfolio"}},"downloads":3},"bibtype":"article","biburl":"https://lazkany.bitbucket.io/publication.bib","creationDate":"2020-05-13T12:44:01.928Z","downloads":3,"keywords":[],"search_terms":["calculus","collective","adaptive","systems","behavioural","theory","abd alrahman","de nicola","loreti"],"title":"A calculus for collective-adaptive systems and its behavioural theory","year":2019,"dataSources":["iy3Nfbwfry75yLtD7","9BWFRLuir5vrfREwa","ec7btnN2RJ3DQyXEw"]}