research-article

BigActors: a model for structure-aware computation

Authors:

Eloi Pereira,

Christoph M. Kirsch,

João Borges de Sousa,

Raja SenguptaAuthors Info & Claims

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

Pages 199 - 208

https://doi.org/10.1145/2502524.2502551

Published: 08 April 2013 Publication History

Get Access

Abstract

This paper describes a model of computation for structure-aware computing called the BigActor model. The model is a hybrid. It combines the Actor model [1] and the Bigraph model [10]. The contributions of this paper are an operational semantics, an example illustrating how the model supports the concise programming of a mobile agent working in a ubiquitous computing world, a query language enabling a bigActor to observe the world around it, and a definition giving semantics to the feedback loop in control theory in the context of this model. This is followed by three theorems showing how the operational semantics supports the programming of concurrent mobile agents in the semantics of feedback control.

References

[1]

G. Agha. Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge, MA, USA, 1986.

Digital Library

Google Scholar

[2]

G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1):1--72, 1997.

Digital Library

Google Scholar

[3]

J. Armstrong, R. Virding, C. Wikstr, M. Williams, et al. Concurrent programming in erlang. 1996.

Digital Library

Google Scholar

[4]

L. Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, and H. Niss. Bigraphical models of context-aware systems. In Foundations of software science and computation structures, pages 187--201. Springer, 2006.

Digital Library

Google Scholar

[5]

S. Debois. Computation in the informatic jungle. To appear. Draft available at http://www.itu.dk/people/debois/pubs/computation.pdf, 2010.

Google Scholar

[6]

J. Epstein, A. Black, and S. Peyton-Jones. Towards haskell in the cloud. In Proceedings of the 4th ACM symposium on Haskell, pages 118--129. ACM, 2011.

Digital Library

Google Scholar

[7]

P. Haller and M. Odersky. Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science, 410(2-3):202--220, 2009.

Digital Library

Google Scholar

[8]

E. A. Lee, S. Neuendorffer, and M. J. Wirthlin. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, 2002.

Google Scholar

[9]

R. Milner. Bigraphical reactive systems. CONCUR 2001 - Concurrency Theory, pages 16--35, 2001.

Crossref

Google Scholar

[10]

R. Milner. The Space and Motion of Communicating Agents. Cambridge University Press, 2009.

Digital Library

Google Scholar

[11]

B. Nielsen and G. Agha. Semantics for an actor-based real-time language. Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, pages 223--228, 1996.

Digital Library

Google Scholar

[12]

B. Nielsen, S. Ren, and G. Agha. Specification of real-time interaction constraints. Proc. of First Int. Symposium on Object-Oriented Real-Time Computing, IEEE Computer Society, 1998.

Digital Library

Google Scholar

[13]

G. Weiss. Multiagent systems: a modern approach to distributed artificial intelligence. The MIT press, 1999.

Digital Library

Google Scholar

Cited By

View all

Aboualola MAbualsaud KKhattab TZorba NHassanein H(2023)Edge Technologies for Disaster Management: A Survey of Social Media and Artificial Intelligence IntegrationIEEE Access10.1109/ACCESS.2023.329303511(73782-73802)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3293035
Raj PKar S(2023)Actors@BIM: A Hybrid Formal Model for Cognitive BuildingsFormal Methods in Architecture10.1007/978-981-99-2217-8_26(453-477)Online publication date: 2-Aug-2023
https://doi.org/10.1007/978-981-99-2217-8_26
Xie WZhu HQin S(2020)An Axiomatic Approach to BigrTiMo2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)10.1109/TASE49443.2020.00015(41-48)Online publication date: Dec-2020
https://doi.org/10.1109/TASE49443.2020.00015
Show More Cited By

Index Terms

BigActors: a model for structure-aware computation

Recommendations

Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787

Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
A Formal Framework for ASTRAL Intralevel Proof Obligations

ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on how to formally prove the mathematical correctness of ASTRAL ...
Formalized structured analysis specifications

Comments

Information & Contributors

Information

Published In

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 2013

278 pages

ISBN:9781450319966

DOI:10.1145/2502524

General Chair:
Chenyang Lu
Washington University
,
Program Chairs:
P. R. Kumar
Texas A&M University
,
R. Stoleru
Texas A&M University

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

ICCPS '13

Sponsor:

IEEE-CS\TCRT
SIGBED

ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 8 - 11, 2013

Pennsylvania, Philadelphia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
136
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)1

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aboualola MAbualsaud KKhattab TZorba NHassanein H(2023)Edge Technologies for Disaster Management: A Survey of Social Media and Artificial Intelligence IntegrationIEEE Access10.1109/ACCESS.2023.329303511(73782-73802)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3293035
Raj PKar S(2023)Actors@BIM: A Hybrid Formal Model for Cognitive BuildingsFormal Methods in Architecture10.1007/978-981-99-2217-8_26(453-477)Online publication date: 2-Aug-2023
https://doi.org/10.1007/978-981-99-2217-8_26
Xie WZhu HQin S(2020)An Axiomatic Approach to BigrTiMo2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)10.1109/TASE49443.2020.00015(41-48)Online publication date: Dec-2020
https://doi.org/10.1109/TASE49443.2020.00015
Clark TBarn BKulkarni VBarat SNaik RSarkar SHildebrandt TKumar ASharma R(2019)Making Sense of Actor BehaviourProceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3299771.3299783(1-10)Online publication date: 14-Feb-2019
https://dl.acm.org/doi/10.1145/3299771.3299783
Bouheroum ABenzadri ZBelala F(2019)Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant2019 7th International Conference on Future Internet of Things and Cloud (FiCloud)10.1109/FiCloud.2019.00017(64-71)Online publication date: Aug-2019
https://doi.org/10.1109/FiCloud.2019.00017
Xie WZhu HXu Q(2017)BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)10.1109/ICECCS.2017.13(50-59)Online publication date: Nov-2017
https://doi.org/10.1109/ICECCS.2017.13
Sevegnani MCalder M(2016)BigraphER: Rewriting and Analysis Engine for BigraphsComputer Aided Verification10.1007/978-3-319-41540-6_27(494-501)Online publication date: 13-Jul-2016
https://doi.org/10.1007/978-3-319-41540-6_27
Pereira EKrainer Cda Silva PKirsch CSengupta RSangiovanni-Vincentelli A(2015)A runtime system for logical-space programmingProceedings of the Second International Workshop on the Swarm at the Edge of the Cloud10.1145/2756755.2756760(28-33)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1145/2756755.2756760
Marques ERibeiro MPinto JSousa JMartins FWainwright RCorchado JBechini AHong J(2015)NVLProceedings of the 30th Annual ACM Symposium on Applied Computing10.1145/2695664.2696029(331-334)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1145/2695664.2696029
Raj PKar S(2015)Design and Development of a Distributed Mobile Sensing Based Crowd Evacuation SystemProceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference - Volume 0310.1109/COMPSAC.2015.163(355-360)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1109/COMPSAC.2015.163
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Design and Implementation of a Tool for Specifying Specification in SOFL

A Formal Framework for ASTRAL Intralevel Proof Obligations

Formalized structured analysis specifications

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Design and Implementation of a Tool for Specifying Specification in SOFL

A Formal Framework for ASTRAL Intralevel Proof Obligations

Formalized structured analysis specifications

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations