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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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
Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI (1973)
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)
Yonezawa, A. (ed.): ABCL: An Object-Oriented Concurrent System. MIT Press, Cambridge (1990)
Halstead, R.H.: MultiLisp: a language for concurrent symbolic computation. TOPLAS 7, 501ā538 (1985)
Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. J. Softw. Syst. Model. 6(1), 39ā58 (2007)
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
de Boer, F., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 1ā39 (2017)
Din, C.C., Owe, O.: Compositional reasoning about active objects with shared futures. Formal Aspects Comput. 27(3), 551ā572 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2019 Springer Nature Switzerland AG
About this paper
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)