Skip to main content
SpringerLink
Log in
Book cover

International Conference on Integrated Formal Methods

IFM 2019: Integrated Formal Methods pp 529–533Cite as

Summary of: An Evaluation of Interaction Paradigms for Active Objects

  • Conference paper
  • First Online:

  • 755 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11918))

Abstract

This short paper summarises the contributions published in [1]. The purpose of this paper is to compare communication paradigms of active object languages considering expressiveness, efficiency, syntactic and semantic complexity including ease of reasoning.

Work supported by the IoTSec and DiversIoT projects (Norw. Research Council) and SCOTT (EU, JU).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Karami, F., Owe, O., Ramezanifarkhani, T.: An evaluation of interaction paradigms for active objects. J. Log. Algebr. Methods Program. 103, 154–183 (2018). https://doi.org/10.1016/j.jlamp.2018.11.008. ISSN 2352-2216

    Article  MathSciNet  MATH  Google Scholar 

  2. Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI (1973)

    Google Scholar 

  3. Baker, H., Hewitt, C.: The incremental garbage collection of processes. In: Proceedings of Symposium on Artificial Intelligence Programming Languages, ACM Sigplan Notices, vol. 12, no. 8, pp. 55–59 (1977)

    Article  Google Scholar 

  4. Yonezawa, A. (ed.): ABCL: An Object-Oriented Concurrent System. MIT Press, Cambridge (1990)

    Google Scholar 

  5. Halstead, R.H.: MultiLisp: a language for concurrent symbolic computation. TOPLAS 7, 501–538 (1985)

    Article  Google Scholar 

  6. Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. J. Softw. Syst. Model. 6(1), 39–58 (2007)

    Article  Google Scholar 

  7. Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142–164. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25271-6_8

    Chapter  Google Scholar 

  8. de Boer, F., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 1–39 (2017)

    Article  Google Scholar 

  9. Din, C.C., Owe, O.: Compositional reasoning about active objects with shared futures. Formal Aspects Comput. 27(3), 551–572 (2015)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Oslo, Oslo, Norway

    Farzane Karami, Olaf Owe & Toktam Ramezanifarkhani

Authors
  1. Farzane Karami
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olaf Owe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Toktam Ramezanifarkhani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Farzane Karami .

Editor information

Editors and Affiliations

  1. Chalmers University of Technology, Gothenburg, Sweden

    Wolfgang Ahrendt

  2. University of Oslo, Oslo, Norway

    Silvia Lizeth Tapia Tarifa

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Karami, F., Owe, O., Ramezanifarkhani, T. (2019). Summary of: An Evaluation of Interaction Paradigms for Active Objects. In: Ahrendt, W., Tapia Tarifa, S. (eds) Integrated Formal Methods. IFM 2019. Lecture Notes in Computer Science(), vol 11918. Springer, Cham. https://doi.org/10.1007/978-3-030-34968-4_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-34968-4_31

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-34967-7

  • Online ISBN: 978-3-030-34968-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation