skip to main content
10.1145/2695664.2695668acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

A calculus for attribute-based communication

Published: 13 April 2015 Publication History

Abstract

The notion of attribute-based communication seems promising to model and analyse systems with huge numbers of interacting components that dynamically adjust and combine their behaviour to achieve specific goals. A basic process calculus, named AbC, is introduced that has as primitive construct exactly attribute-based communication and its impact on the above mentioned kind of systems is considered. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in a broadcast fashion and communication links among components are dynamically established by taking into account interdependences determined by predicates over attributes. First, the syntax and the reduction semantics of AbC are presented, then its expressiveness and effectiveness is demonstrated by modelling two scenarios from the realm of TV streaming channels. An example of how well-established process calculi could be encoded into AbC is given by considering the translation into AbC of a prototypical π-calculus process.

References

[1]
A. Coronato, V. D. Florio, M. Bakhouya, and G. D. M. Serugendo. Formal modeling of socio-technical collective adaptive systems. In 6th IEEE Int'l Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, pages 187--192, 2012.
[2]
R. De Nicola, G. Ferrari, M. Loreti, and R. Pugliese. A language-based approach to autonomic computing. In Formal Methods for Components and Objects, pages 25--48. Springer, 2013.
[3]
R. De Nicola, M. Loreti, R. Pugliese, and F. Tiezzi. A formal approach to autonomic systems programming: the scel language. ACM Transactions on Autonomous and Adaptive Systems, pages 1--29, 2014.
[4]
C. Ene and T. Muntean. Expressiveness of point-to-point versus broadcast communications. In Fundamentals of Computation Theory, pages 258--268. Springer, 1999.
[5]
C. Ene and T. Muntean. A broadcast-based calculus for communicating systems. In Parallel and Distributed Processing Symposium, International, volume 3, pages 30149b--30149b. IEEE Computer Society, 2001.
[6]
T. Given-Wilson, D. Gorla, and B. Jay. Concurrent pattern calculus. In Theoretical Computer Science, pages 244--258. Springer, 2010.
[7]
M. John, C. Lhoussaine, and J. Niehren. Dynamic compartments in the imperative π-calculus. In Computational Methods in Systems Biology, pages 235--250. Springer, 2009.
[8]
M. John, C. Lhoussaine, J. Niehren, and A. M. Uhrmacher. The attributed pi calculus. In Computational Methods in Systems Biology, pages 83--102. Springer, 2008.
[9]
M. John, C. Lhoussaine, J. Niehren, and A. M. Uhrmacher. The attributed pi-calculus with priorities. In Transactions on Computational Systems Biology XII, pages 13--76. Springer, 2010.
[10]
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, ii. Information and computation, 100(1):41--77, 1992.
[11]
K. Ostrovsky, K. Prasad, and W. Taha. Towards a primitive higher order calculus of broadcasting systems. In Proc. 4th ACM SIGPLAN, pages 2--13. ACM, 2002.
[12]
K. Prasad. A calculus of broadcasting systems. In TAPSOFT'91, pages 338--358. Springer, 1991.
[13]
K. V. Prasad. A calculus of broadcasting systems. Science of Computer Programming, 25(2):285--327, 1995.
[14]
J. W. Sanders and G. Smith. Formal ensemble engineering. In Software-Intensive Systems and New Computing Paradigms, pages 132--138. Springer, 2008.
[15]
R. Vigo, F. Nielson, and H. Riis Nielson. Broadcast, Denial-of-Service, and Secure Communication. In 10th Int'l Conference on integrated Formal Methods (iFM'13), volume 7940 of LNCS, pages 410--427, 2013.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing
April 2015
2418 pages
ISBN:9781450331968
DOI:10.1145/2695664
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2015

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. attribute-based communication
  2. communication paradigms
  3. process calculi
  4. semantics

Qualifiers

  • Research-article

Conference

SAC 2015
Sponsor:
SAC 2015: Symposium on Applied Computing
April 13 - 17, 2015
Salamanca, Spain

Acceptance Rates

SAC '15 Paper Acceptance Rate 291 of 1,211 submissions, 24%;
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Adding Reconfiguration to Zielonka's Asynchronous AutomataElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.409.10409(88-102)Online publication date: 30-Oct-2024
  • (2024)Behavioral equivalences for AbUTheoretical Computer Science10.1016/j.tcs.2024.114537998:COnline publication date: 1-Jun-2024
  • (2024)SibillaScience of Computer Programming10.1016/j.scico.2024.103095235:COnline publication date: 1-Jul-2024
  • (2024)Distribution of Reconfiguration Languages Maintaining Tree-Like Communication TopologyAutomated Technology for Verification and Analysis10.1007/978-3-031-78709-6_8(160-180)Online publication date: 21-Oct-2024
  • (2024)Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive SystemsLeveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_21(351-367)Online publication date: 27-Oct-2024
  • (2024)Klaim in the MakingLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_3(27-49)Online publication date: 9-Oct-2024
  • (2024)Emerging Synchrony in Applauding Audiences: Formal Analysis and SpecificationLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_16(253-270)Online publication date: 9-Oct-2024
  • (2024)Fluidware: An Approach Toward Adaptive and Scalable IoT SystemsFluidware10.1007/978-3-031-62146-8_1(3-20)Online publication date: 13-May-2024
  • (2023)Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour ModellingACM Computing Surveys10.1145/357935355:13s(1-37)Online publication date: 13-Jul-2023
  • (2023)AbUTheoretical Computer Science10.1016/j.tcs.2023.113841958:COnline publication date: 22-May-2023
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media