nach oben

Erschienen in:

2021 | OriginalPaper | Buchkapitel

Communities and Ancestors Associated with Egon Börger and ASM

verfasst von : Jonathan P. Bowen

Erschienen in: Logic, Computation and Rigorous Methods

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 paper, we discuss the community associated with Abstract State Machines (ASM), especially in the context of a Community of Practice (CoP), a social science concept, considering the development of ASM by its community of researchers and practitioners over time. We also consider the long-term historical context of the advisor tree of Egon Börger, the main promulgator of the ASM approach, which can be considered as multiple interrelated CoPs, distributed over several centuries. This includes notable mathematicians and philosophers among its number with some interesting links between the people involved. Despite most being active well before the inception of computer science, a number have been influential on the field.

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 Semantic Splitting of Conditional Belief Bases

Nächstes Kapitel Language and Communication Problems in Formalization: A Natural Language Approach

Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications. LNCS, vol. 1165. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0027227CrossRefMATH

Abrial, J.-R., Börger, E., Langmaack, H.: The steam boiler case study: competition of formal program specification and development methods. In: Abrial, J.-R., Börger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications. LNCS, vol. 1165, pp. 1–12. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0027228CrossRefMATH

Abrial, J.R., Glässer, U. (eds.): 06191 Summary – Rigorous Methods for Software Construction and Analysis. No. 06191 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, May 2006. http://drops.dagstuhl.de/opus/volltexte/2006/665

Adler, P., Hegel, G.W.F.: Philosophical dissertation on the orbits of the planets (1801). Graduate Faculty Philos. J. 12(1&2), 269–309 (1987). Translated with Foreword and Notes

Ameriks, K.: Kant, Immanuel. In: Audi [6], pp. 398–404

Audi, R. (ed.): The Cambridge Dictionary of Philosophy. Cambridge University Press, Cambridge (1995)

Beierle, C., Börger, E., Đurđanović, I., Glässer, U., Riccobene, E.: Refining abstract machine specifications of the steam boiler control to well documented executable code. In: Abrial, J.-R., Börger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications. LNCS, vol. 1165, pp. 52–78. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0027231CrossRef

Beler, A., Borda, A., Bowen, J.P., Filippini-Fantoni, S.: The building of online communities: an approach for learning organizations, with a particular focus on the museum sector. In: Hemsley, J., Cappellini, V., Stanke, G. (eds.) EVA 2004 London Conference Proceedings, EVA Conferences International, University College London, UK, pp. 2.1–2.15 (2004). https://arxiv.org/abs/cs/0409055

Bjørner, D., et al.: A ProCoS project description: ESPRIT BRA 3104. Bull. Eur. Assoc. Theoret. Comput. Sci. 39, 60–73 (1989). http://researchgate.net/publication/256643262

10.

Borda, A., Bowen, J.P.: Virtual collaboration and community. In: Information Resources Management Association Virtual Communities: Concepts, Methodologies, Tools and Applications, chap. 8.9, pp. 2600–2611. IGI Global (2011)

11.

Börger, E.: Egon Boerger. Google Scholar. https://scholar.google.com/citations?user=j2lxsK0AAAAJ

12.

Börger, E.: Prof. Dr. Egon Börger. Dipartimento di Informatica, Università di Pisa, Italy. http://pages.di.unipi.it/boerger/

13.

Börger, E.: Reduktionstypen in Krom- und Hornformeln. Ph.D. thesis, Westfälische Wilhelms-Universität Münster, Germany (1971). Translation: “Reduction types in Krom and Horn formulas”

14.

Börger, E.: Why use evolving algebras for hardware and software engineering? In: Bartosek, M., Staudek, J., Wiedermann, J. (eds.) SOFSEM 1995. LNCS, vol. 1012, pp. 236–271. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60609-2_12CrossRef

15.

Börger, E.: The origins and development of the ASM method for high-level system design and analysis. J. Univ. Comput. Sci. 8(1), 2–74 (2002). https://doi.org/10.3217/jucs-008-01-0002CrossRef

16.

Börger, E.: The ASM refinement method. Formal Aspects Comput. 15, 237–257 (2003). https://doi.org/10.1007/s00165-003-0012-7CrossRefMATH

17.

Börger, E.: The ASM method for system design and analysis. a tutorial introduction. In: Gramlich, B. (ed.) FroCoS 2005. LNCS (LNAI), vol. 3717, pp. 264–283. Springer, Heidelberg (2005). https://doi.org/10.1007/11559306_15CrossRef

18.

Börger, E.: The Abstract State Machines method for high-level system design and analysis. In: Boca, P.P., Bowen, J.P., Siddiqi, J.I. (eds.) Formal Methods: State of the Art and New Directions, chap. 3, pp. 79–116. Springer, Heidelberg (2010). https://doi.org/10.1007/978-1-84882-736-3_3

19.

Börger, E.: Private communication, March 2021

20.

Börger, E., Bowen, J.P., Butler, M.J., Poppleton, M.: Editorial. Formal Aspects Comput. 23(1), 1–2 (2011). https://doi.org/10.1007/s00165-010-0168-xMathSciNetCrossRef

21.

Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.): ABZ 2008. LNCS, vol. 5238. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87603-8CrossRef

22.

Börger, E., Butler, M.J., Bowen, J.P., Boca, P.P. (eds.): ABZ 2008 Conference: Short papers. BCS, London, UK (2008)

23.

Börger, E., Durdanovic, I.: Correctness of compiling Occam to transputer code. Comput. J. 39(1), 52–92 (1996)CrossRef

24.

Börger, E., Gargantini, A., Riccobene, E.: ASM. In: Habrias and Frappier [64], chap. 6, pp. 103–119. https://doi.org/10.1002/9780470612514

25.

Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Springer, Heidelberg (1997/2001)

26.

Börger, E., Huggins, J.K.: Abstract state machines 1988–1998: commented ASM bibliography. Bull. EATCS 64, 105–127 (1998). https://arxiv.org/pdf/cs/9811014

27.

Börger, E., Mazzanti, S.: A practical method for rigorously controllable hardware design. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds.) ZUM 1997. LNCS, vol. 1212, pp. 149–187. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0027289CrossRef

28.

Börger, E., Raschke, R.: Modeling Companion for Software Practitioners (2018). https://doi.org/10.1007/978-3-662-56641-1

29.

Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7

30.

Börger, E., Thalheim, B.: Modeling workflows, interaction patterns, web services and business processes: the ASM-based approach. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 24–38. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87603-8_3CrossRef

31.

Bowen, J.P.: A ProCoS II project description: ESPRIT Basic Research project 7071. Bull. Eur. Assoc. Theoret. Comput. Sci. 50, 128–137 (1993). http://researchgate.net/publication/2521581

32.

Bowen, J.P.: A ProCoS-WG Working Group description: ESPRIT Basic Research 8694. Bull. Euro. Assoc. Theoret. Comput. Sci. 53, 136–145 (1994)

33.

Bowen, J.P.: Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press (1996). http://researchgate.net/publication/2480325

34.

Bowen, J.P., Hoare, C., Antony R.: Rojas [79], pp. 368–370

35.

Bowen, J.P.: Stibitz, George. In: Rojas [79], pp. 732–734

36.

Bowen, J.P.: Computer science. In: Heilbron, J.L. (ed.) The Oxford Companion to the History of Modern Science, pp. 171–174. Oxford University Press (2003). https://doi.org/10.1093/acref/9780195112290.001.0001

37.

Bowen, J.P.: Z. In: Habrias and Frappier [64], chap. 1, pp. 3–20. https://doi.org/10.1002/9780470612514, http://researchgate.net/publication/319019328

38.

Bowen, J.P.: Online communities: visualization and formalization. In: Blackwell, C. (ed.) Cyberpatterns 2013: Second International Workshop on Cyberpatterns - Unifying Design Patterns with Security, Attack and Forensic Patterns, pp. 53–61. Oxford Brookes University, Abingdon (2013). http://arxiv.org/abs/1307.6145

39.

Bowen, J.P.: A relational approach to an algebraic community: from Paul Erdős to He Jifeng. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 54–66. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39698-4_4CrossRef

40.

Bowen, J.P.: It began with Babbage: the genesis of computer science, by Subrata Dasgupta: Oxford University Press, 2014, 334 p. £22.99 (hardback), 263–265, ISBN 978-0-19-930941-2. BSHM Bulletin: Journal of the British Society for the History of Mathematics 30(3) (2015). https://doi.org/10.1080/17498430.2015.1036336

41.

Bowen, J.P.: Provably correct systems: community, connections, and citations. In: Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.) Provably Correct Systems. NMSSE, pp. 313–328. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-48628-4_13CrossRef

42.

Bowen, J.P., Börger, E., Raschke, A.: Modeling companion for software practitioners. Formal Aspects Comput. 30(6), 761–762 (2018). https://doi.org/10.1007/s00165-018-0472-4CrossRef

43.

Bowen, J.P.: The impact of Alan Turing: formal methods and beyond. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2018. LNCS, vol. 11430, pp. 202–235. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17601-3_5CrossRef

44.

Bowen, J.P.: A personal view of EVA London: past, present, future. In: Weinel, J., Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2020: Electronic Visualisation and the Arts, Electronic Workshops in Computing (eWiC), BCS, London, UK, pp. 8–15 (2020). https://doi.org/10.14236/ewic/EVA2020.2

45.

Bowen, J.P., Hinchey, M.G.: Ten commandments ten years on: lessons for ASM, B, Z and VSR-Net. In: Abrial, J.-R., Glässer, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 219–233. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-11447-2_14CrossRef

46.

Bowen, J.P., Hinchey, M.G., Till, D. (eds.): ZUM 1997. LNCS, vol. 1212. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0027279CrossRef

47.

Bowen, J.P., Hoare, C.A.R., Langmaack, H., Olderog, E.R., Ravn, A.P.: A ProCoS II project final report: ESPRIT Basic Research project 7071. Bull. Euro. Assoc. Theoret. Comput. Sci. 59, 76–99 (1996). http://researchgate.net/publication/2255515

48.

Bowen, J.P., Hoare, C.A.R., Langmaack, H., Olderog, E.R., Ravn, A.P.: A ProCoS-WG Working Group final report: ESPRIT Working Group 8694. Bull. Euro. Assoc. Theoret. Comput. Sci. 64, 63–72 (1998). http://researchgate.net/publication/2527052

49.

Bowen, J.P., Reeves, S.: From a community of practice to a body of knowledge: a case study of the formal methods community. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 308–322. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21437-0_24CrossRef

50.

Bowen, J.P., Wilson, R.J.: Visualising virtual communities: from Erdős to the arts. In: Dunn, S., Bowen, J.P., Ng, K.C. (eds.) EVA London 2012: Electronic Visualisation and the Arts, Electronic Workshops in Computing (eWiC), BCS, pp. 238–244 (2012). http://arxiv.org/abs/1207.3420

51.

Clausing, A.: Prof. Dr. Achim Clausing. University of Münster, Germany. https://ivv5hpp.uni-muenster.de/u/cl/

52.

Copeland, B.J., Bowen, J.P., Sprevak, M., Wilson, R.J. (eds.): The Turing Guide. Oxford University Press, Oxford (2017)

53.

Erdmann, J.E.: A History of Philosophy. Swan Sonnenschein & Co., London (1890). English translation by W. S. Hough

54.

Falckenberg, R.: History of Modern Philosophy: From Nicolas of Cusa to the Present Time. H. Holt (1893). https://www.google.co.uk/books/edition/_/BZwvAAAAYAAJ

55.

Falckenberg, R.: History of Modern Philosophy: From Nicolas of Cusa to the Present Time. Project Guttenberg (2004). http://www.gutenberg.org/ebooks/11100

56.

Fauvel, J., Flood, R., Wilson, R. (eds.): Möbius and his Band: Mathematics and Astronomy in Nineteenth-century Germany. Oxford University Press, Oxford (1993)MATH

57.

Fischer, K.: Geschichte der neuern Philosophie. Stuttgart-Mannheim-Heidelberg (1854–77), New edn, Heidelberg (1897–1901)

58.

Giannini, T., Bowen, J.P.: Life in code and digits: when Shannon met Turing. In: Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2017: Electronic Visualisation and the Arts, Electronic Workshops in Computing (eWiC), BCS, pp. 51–58 (2017). https://doi.org/10.14236/ewic/EVA2017.9

59.

Giannini, T., Bowen, J.P. (eds.): Museums and Digital Culture. SSCC. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-97457-6CrossRef

60.

Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. ACM SIGSOFT Softw. Eng. Notes 27(4), 112–122 (2002). https://doi.org/10.1145/566171.566190CrossRef

61.

Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77–111 (2000). https://doi.org/10.1145/343369.343384MathSciNetCrossRefMATH

62.

Gurevich, Y., Börger, E.: Evolving algebras 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 231–243. Oxford University Press (1995). https://arxiv.org/abs/1808.06255

63.

Gurevich, Y., Börger, E.: Evolving algebras: mini-course, Notes Series, vol. NS-95-4. BRICS: Basic Resarch in Computer Science, July 1995. https://www.researchgate.net/publication/221329427

64.

Habrias, H., Frappier, M. (eds.): Software Specification Methods. ISTE (2006). https://doi.org/10.1002/9780470612514

65.

Hegel, G.W.F.: Wissenschaft der Logik. Johann Leonhard Schrag, Rürnberg (1812–16). http://www.gutenberg.org/ebooks/55108

66.

Hegel, G.W.F.: Grundlinien der Philosophie des Rechts. Nicolaischen Buchhandlung, Berlin (1821)

67.

Henson, M.C., Reeves, S., Bowen, J.P.: Z logic and its consequences. Comput. Inf. 22(3–4), 381–415 (2003). https://doi.org/10289/1571

68.

Hinchey, M.G., Bowen, J.P., Rouff, C.: Introduction to formal methods. In: Hinchey, M.G., Rash, J., Truszkowski, W., Gordon-Spears, D.F. (eds.) Agent Technology from a Formal Perspective, pp. 25–64. Springer, Cham (2006). https://doi.org/10.1007/1-84628-271-3_2

69.

Isaacson, I.: Steve Jobs. Little, Brown, London (2011)

70.

Kant, I.: Kritik der reinen Vernunft. Johann Friedrich Hartknoch, Riga, 2nd edn. (1781). https://www.gutenberg.org/ebooks/4280

71.

Kant, I.: Kritik der Urteilskraft. Lagarde & Friedrich, Berlin & Libau (1790). http://www.gutenberg.org/ebooks/48433

72.

Leibniz, G.W.: Explication de l’arithmétique binaire. Mémoires de Mathématique et de Physique de l’Académie Royale des Sciences, pp. 85–89 (1703). https://hal.archives-ouvertes.fr/ads-00104781

73.

Liebmann, O., Wundt, W., Lipps, T., et al.: Die Philosophie im Beginn des 20. Jahrhunderts. Festschrift für Kuno Fischer, Heidelberg (1907)

74.

MGP: Egon Börger. Mathematics Genealogy Project. https://www.mathgenealogy.org/id.php?id=155832

75.

MGP: Yuri Gurevich. Mathematics Genealogy Project. https://www.mathgenealogy.org/id.php?id=7906

76.

Pippin, R.B.: Hegel, Georg Wilhelm Friedrich. In: Audi [6], pp. 311–317

77.

Polmeer, G.: Historical questions on being and digital culture. In: Giannini and Bowen [59], chap. 3, pp. 49–62. https://doi.org/10.1007/978-3-319-97457-6_3

78.

Robinson, A.: Sudden Genius?. Oxford University Press, Oxford (2010)

79.

Rojas, R. (ed.): Encyclopedia of Computers and Computer History. Fitzroy Dearborn Publishers, Chicago (2001)

80.

Rooney, D. (ed.): Mathematics: How It Shaped Our World. Science Museum, London (2016)

81.

Schmeh, K.: Enigma-schwachstellen auf der spur. Telepolis, Heise Online, Germany, August 2005. https://www.heise.de/tp/features/Enigma-Schwachstellen-auf-der-Spur-3402290.html. (in German)

82.

Shannon, C.E.: A symbolic analysis of relay and switching circuits. Master of science, Massachusetts Institute of Technology, USA (1940). https://doi.org/1721.1/11173

83.

Siekmann, J., Davis, M., Gabbay, D.M., et al.: Computational logic. In: Gabbay, D.M., Siekmann, J., Woods, J. (eds.) Handbook of the History of Logic, vol. 9. North Holland (2014)

84.

Sleigh, R.C.: Liebniz, Gottfried Wilhelm. In: Audi [6], pp. 425–429

85.

Smart, N.: Hegel, the giant of nineteenth-century German philosophy. In: Smart [89], pp. 243–244

86.

Smart, N.: Idealism: Fichte and Schelling on the road to Hegel. In: Smart [89], pp. 241–243

87.

Smart, N.: Immanuel Kant and the critical philosophy. In: Smart [89], pp. 238–241

88.

Smart, N.: Leibniz and the idea of universal harmony. In: Smart [89], pp. 231–233

89.

Smart, N.: World Philosophies. Routledge, London (1999)

90.

Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society s2–42, pp. 230–265 (1937). https://doi.org/10.1112/plms/s2-42.1.230

91.

Turing, A.M.: Computing machinery and intelligence. Mind LIX, 433–460 (1950). https://doi.org/10.1093/mind/LIX.236.433

92.

Vater, M.G., Wood, D.W. (eds.): The philosophical rupture between Fichte and Schelling: selected texts and correspondence (1800–1802). Suny Press, Albany (2012)

93.

von Neumann, J.: First draft of a report on the EDVAC. Moore School of Electrical Engineering, University of Pennsylvania, June 1945. http://web.mit.edu/STS.035/www/PDFs/edvac.pdf

94.

Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (1998)CrossRef

95.

Wenger, E., McDermott, R.A., Snyder, W.: Cultivating Communities of Practice: A Guide to Managing Knowledge. Harvard Business School Press, Brighton (2002)

96.

Wenger-Trayner, E., Wenger-Trayner, B.: Introduction to communities of practice: a brief overview of the concept and its uses (2015). https://wenger-trayner.com/introduction-to-communities-of-practice/

97.

Wikipedia: Egon Börger: The Free Encyclopedia. https://en.wikipedia.org/wiki/Egon_Borger

Titel: Communities and Ancestors Associated with Egon Börger and ASM
verfasst von: Jonathan P. Bowen
Verlag: Springer International Publishing
Buch: Logic, Computation and Rigorous Methods
Print ISBN: 978-3-030-76019-9

Electronic ISBN: 978-3-030-76020-5

Copyright-Jahr: 2021
DOI: https://doi.org/10.1007/978-3-030-76020-5_6

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"