Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
ABZ Languages and Tools in Industrial-Scale Application Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Distributed Adaptive Systems

Theory, Specification, Reasoning

Authors : Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang

Published in: Abstract State Machines, Alloy, B, TLA, VDM, and Z

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

A distributed system can be characterised by autonomously acting agents, where each agent executes its own program, uses shared resources and communicates with the others, but otherwise is totally oblivious to the behaviour of the other agents. In a distributed adaptive system agents may change their programs, and enter or leave the collection at any time thereby changing the behaviour of the overall system. This article first develops a language-independent axiomatic definition of distributed adaptive systems and then presents concurrent reflective Abstract State Machines (crASMs), an abstract machine model for their specification. It can be proven that any distributed adaptive system as stipulated by the axiomatisation can be step-by-step simulated by a crASM. Proofs about crASMs can be grounded in a multiple-step logic, which extends known complete one-step logics for deterministic and non-deterministic ASMs.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
previous chapter ABZ Languages and Tools in Industrial-Scale Application
next chapter On B and Event-B: Principles, Success and Challenges
Literature
1.
Blass, A., Gurevich, Y.: Abstract State Machines capture parallel algorithms. ACM Trans. Comput. Log. 4(4), 578–651 (2003)MathSciNetCrossRef
2.
Blass, A., Gurevich, Y.: Abstract State Machines capture parallel algorithms: correction and extension. ACM Trans. Comput. Log. 9(3), 19:1–19:32 (2008)MathSciNetMATH
3.
4.
5.
Börger, E.: The ASM refinement method. Formal Asp. Comp. 15(2–3), 237–257 (2003)CrossRef
6.
Börger, E., Schewe, K.D.: Communication in Abstract State Machines. J. Univ. Comp. Sci. 23(2), 129–145 (2017)MathSciNet
7.
8.
Ferrarotti, F., Schewe, K.D., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649, 25–53 (2016)MathSciNetCrossRef
9.
10.
Ferrarotti, F., Schewe, K.D., Tec, L., Wang, Q.: A complete logic for database Abstract State Machines. Log. J. IGPL 25(5), 700–740 (2017)
11.
Ferrarotti, F., Schewe, K.D., Tec, L., Wang, Q.: A unifying logic for non-deterministic, parallel and concurrent Abstract State Machines. Ann. Math. Artif. Intell. (2018, to appear)
12.
Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Specification and Validation Methods, pp. 9–36. Oxford University Press (1995)
13.
Gurevich, Y.: Sequential Abstract State Machines capture sequential algorithms. ACM Trans. Comput. Log. 1(1), 77–111 (2000)MathSciNetCrossRef
14.
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)MATH
15.
Hewitt, C.: What is computation? Actor model versus Turing’s model. In: Zenil, H. (ed.) A Computable Universe: Understanding Computation and Exploring Nature as Computation. World Scientific Publishing, Singapore (2012)
16.
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)MATH
17.
18.
Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. 28(9), 690–691 (1979)CrossRef
19.
Lynch, N.: Distributed Algorithms. Morgan Kaufmann, Burlington (1996)MATH
20.
Mazurkiewicz, A.: Introduction to trace theory. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces, pp. 3–67. World Scientific, Singapore (1995)CrossRef
21.
22.
23.
Milner, R.: Communicating and Mobile Systems – The Pi-Calculus. Cambridge University Press (1999). ISBN 978-0-521-65869-0
24.
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Upper Saddle River (1981)MATH
25.
Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, Institut für Instrumentelle Mathematik der Universität Bonn (1962). schriften des IIM Nr. 2
26.
27.
Roscoe, A.: The Theory and Practice of Concurrency. Prentice-Hall, Upper Saddle River (1997)
28.
Schellhorn, G., Tofan, B., Ernst, G., Pfähler, J., Reif, W.: RGITL: a temporal logic framework for compositional reasoning about interleaved programs. Ann. Math. Artif. Intell. 71, 1–44 (2014)MathSciNetCrossRef
29.
Schewe, K.D., Wang, Q.: A customised ASM thesis for database transformations. Acta Cybern. 19(4), 765–805 (2010)MathSciNetMATH
30.
Schewe, K.D., Wang, Q.: Partial updates in complex-value databases. In: Heimbürger, A., et al. (eds.) Information and Knowledge Bases XXII, Frontiers in Artificial Intelligence and Applications, vol. 225, pp. 37–56. IOS Press (2011)
31.
Schewe, K.D.: Concurrent reflective Abstract State Machines. In: Jebelean, T., et al. (eds.) 19th Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017). IEEE (2018, to appear)
32.
Schewe, K.D., Ferrarotti, F., Tec, L., Wang, Q.: Towards a behavioural theory for random parallel computing. In: Beierle, C., Brewka, G., Thimm, M. (eds.) Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday, Tributes, vol. 29, pp. 365–373. College Publications (2016)
33.
Schewe, K.D., Ferrarotti, F., Tec, L., Wang, Q., An, W.: Evolving concurrent systems: behavioural theory and logic. In: Proceedings of the Australasian Computer Science Week Multiconference, (ACSW 2017), pp. 77:1–77:10. ACM (2017)
34.
Schewe, K.D., Wang, Q.: XML database transformations. J. UCS 16(20), 3043–3072 (2010)MATH
35.
Schmalz, M.: Formalizing the Logic of Event-B. Ph.D. thesis, ETH Zürich (2012)
36.
Seebach, H., Nafz, F., Steghöfer, J.P., Reif, W.: How to design and implement self-organising resource-flow systems. In: Müller-Schloer, C., Schmeck, H., Ungerer, T. (eds.) Organic Computing - A Paradigm Shift for Complex Systems. ASYS, vol. 1, pp. 145–161. Springer, Heidelberg (2011). https://​doi.​org/​10.​1007/​978-3-0348-0130-0_​9CrossRef
37.
Stärk, R.F., Nanchen, S.: A logic for Abstract State Machines. J. Univ. Comput. Sci. 7(11), 980–1005 (2001)MathSciNetMATH
38.
Steghöfer, J.P.: Large-scale open self-organising systems: managing complexity with hierarchies, monitoring, adaptation, and principled design. Ph.D. thesis, University of Augsburg (2014)
39.
Steghöfer, J.P., et al.: Combining PosoMAS method content with Scrum: agile software engineering for open self-organising systems. Scalable Comput.: Pract. Exp. 16(4), 333–354 (2015)
40.
41.
Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic and the Foundations of Computer Science: Semantic Modelling, vol. 4, pp. 1–148. Oxford University Press, Oxford (1995)
Metadata
Title
Distributed Adaptive Systems
Authors
Klaus-Dieter Schewe
Flavio Ferrarotti
Loredana Tec
Qing Wang
Copyright Year
2018
Book
Abstract State Machines, Alloy, B, TLA, VDM, and Z

Print ISBN: 978-3-319-91270-7

Electronic ISBN: 978-3-319-91271-4

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-3-319-91271-4_2

Premium Partner

    Image Credits