nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Reowolf: Synchronous Multi-party Communication over the Internet

verfasst von : Christopher A. Esterhuyse, Hans-Dieter A. Hiep

Erschienen in: Formal Aspects of Component Software

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

In this position paper we introduce Reowolf: an on-going project that aims to replace the decades-old application programming interface, BSD sockets, for communication on the Internet. A novel programming interface is being implemented at the systems level that is inter-operable with existing Internet applications.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Combining State- and Event-Based Semantics to Verify Highly Available Programs

Nächstes Kapitel Modeling and Verifying Dynamic Architectures with FACTum Studio

E.g. local host (virtualized) networking, wireless sensor networks, Beowulf class cluster computing, high-speed local area networks in datacenters, wide-area networks spanning the globe, and satellite networks.

Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1–3), 3–52 (2005)MathSciNetCrossRef

Arbab, F.: Proper protocol. In: Ábrahám, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 65–87. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30734-3_7CrossRef

Awerbuch, B.: Complexity of network synchronization. J. ACM 32(4), 804–823 (1985)MathSciNetCrossRef

Ciatto, G., Mariani, S., Louvel, M., Omicini, A., Zambonelli, F.: Twenty years of coordination technologies: state-of-the-art and perspectives. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 51–80. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92408-3_3CrossRef

Claffy, K.C., Huston, G., Clark, D.: Workshop on Internet Economics (WIE2017) final report. SIGCOMM Comput. Commun. Rev. 48(3), 42–45 (2018). https://doi.org/10.1145/3276799.3276805CrossRef

Dharmapurikar, S., Krishnamurthy, P., Sproull, T., Lockwood, J.: Deep packet inspection using parallel Bloom filters. In: Proceedings of the 11th Symposium on High Performance Interconnects, pp. 44–51. IEEE (2003)

Dokter, K., Jongmans, S.S., Arbab, F., Bliudze, S.: Relating BIP and Reo. arXiv preprint arXiv:1508.04848 (2015)

Hergarden, M., Jongmans, S.S.: Shared memory implementations of protocol programming languages, data-race-free. In: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, pp. 36–40. ACM (2018). https://doi.org/10.1145/3242947.3242952

Jenčik, M., Mihályi, D.: Program components & abstract behavioral types. Acta Electrotech. Inform. 12(1), 38–43 (2012)CrossRef

10.

Jongmans, S.S.: Automata-theoretic protocol programming. Ph.D. thesis, Centrum Wiskunde & Informatica (CWI), Leiden University (2016)

11.

Jongmans, S.-S.T.Q., Arbab, F.: Can high throughput atone for high latency in compiler-generated protocol code? In: Dastani, M., Sirjani, M. (eds.) FSEN 2015. LNCS, vol. 9392, pp. 238–258. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24644-4_17CrossRef

12.

Mühl, G., Fiege, L., Pietzuch, P.: Distributed Event-Based Systems. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-32653-7CrossRefMATH

13.

Proença, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp. 1510–1515. ACM (2012). https://doi.org/10.1145/2245276.2232017

14.

Tankard, C.: What the GDPR means for businesses. Netw. Secur. 2016(6), 5–8 (2016). https://doi.org/10.1016/S1353-4858(16)30056-3. http://www.sciencedirect.com/science/article/pii/S1353485816300563CrossRef

15.

Yu, F., Chen, Z., Diao, Y., Lakshman, T.V., Katz, R.H.: Fast and memory-efficient regular expression matching for deep packet inspection. In: Proceedings of the 12th Symposium on Architecture for Networking and Communications Systems, pp. 93–102. IEEE (2006)

Titel: Reowolf: Synchronous Multi-party Communication over the Internet
verfasst von: Christopher A. Esterhuyse
Hans-Dieter A. Hiep
Verlag: Springer International Publishing
Buch: Formal Aspects of Component Software
Print ISBN: 978-3-030-40913-5

Electronic ISBN: 978-3-030-40914-2

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-40914-2_12

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"