Focusing on the modeling of concurrent and distributed systems, this book explores the use of Petri nets, which facilitate the communication between active components through the production and absorption of different resources. It provides insights into the structure and dynamics of these systems, making it a valuable resource for understanding complex interactions in various applications.
In modern society, computer-based systems have become essential, fundamentally changing how people conduct business. Among the various technologies available, concurrent systems play a crucial role due to the prevalence of concurrent phenomena in applications like control systems, computer networks, digital hardware, business computing, and multimedia systems. These systems exhibit increasing complexity as numerous active components interact. This complexity has been recognized and addressed within the computing science community, leading to the development of several formal models for concurrent systems. This work brings together two widely used formalisms for describing and analyzing these systems: Petri nets and process algebras. Process algebras enable the specification and reasoning about complex concurrent computing system designs using algebraic operators that reflect common programming constructs. In contrast, Petri nets offer a graphical representation of these systems, facilitating efficient verification of correctness and expressing properties related to causality and concurrency in system behavior. This integration of methodologies provides a comprehensive framework for understanding and managing the intricacies of concurrent systems in computing.
Covers a range of sequential and parallel programming languages using a variety of mathematical description techniques. Chapters examine sequential nondeterministic programs, an operational view of relational semantics, definitions of Hoare's proof rule and Dijkstra's weakest preconditions, the data flow of sequential programs, the control flow of a variable-free language and alternative descriptions of the control flow, the relationships between partial order models and interleaving, a shared data language and a CSP language. Annotation c. by Book News, Inc., Portland, Or.
Die formale Semantik wird als zentrales Thema der Informatik betrachtet, das durch unterschiedliche syntaktische Strukturen, jedoch identische Bedeutungen charakterisiert ist. Das Buch erläutert, wie der äußere Aufbau eines Satzes (Syntax) von seiner Bedeutung (Semantik) zu unterscheiden ist und dass die Semantik mehr umfasst als nur die Summe der Wörter. Es wird betont, dass zeitliche, kontextuelle und subjektive Aspekte die Bedeutung beeinflussen. Durch präzise Analysen werden selbst feine semantische Nuancen zwischen scheinbar identischen Sätzen sichtbar.
Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.