Stepwise Refinement Of Distributed Systems

Author : Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg
Publisher : Springer Science & Business Media
Page : 832 pages
File Size : 54,7 Mb
Release : 1990-04-25
Category : Computers
ISBN : 3540525599

Get Book

Stepwise Refinement of Distributed Systems by Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg Pdf

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

Author : Anonim
Publisher : Unknown
Page : 808 pages
File Size : 42,8 Mb
Release : 1990
Category : Electronic
ISBN : OCLC:1180962096

Get Book

Stepwise Refinement of Distributed Systems by Anonim Pdf

Author : Anonim
Publisher : Unknown
Page : 128 pages
File Size : 49,8 Mb
Release : 1990
Category : Electronic
ISBN : OCLC:257828711

Get Book

Stepwise Refinement of Distributed Systems by Anonim Pdf

Author : Luigia Petre,Emil Sekerinski
Publisher : CRC Press
Page : 284 pages
File Size : 45,8 Mb
Release : 2016-04-27
Category : Computers
ISBN : 9781498701594

Get Book

From Action Systems to Distributed Systems by Luigia Petre,Emil Sekerinski Pdf

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand properties and evolution laws of existing complex and adaptive systems—man-made such as smart electrical grids or natural ones such as biological networks. A tribute to Professor Kaisa Sere’s contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach is the first book to address the impact of refinement through a multitude of formal methods ranging from Action Systems to numerous related approaches in computer science research. It presents a state-of-the-art review on the themes of distributed systems and refinement. A fundamental part of Kaisa Sere’s research consisted of developing Action Systems, a formalism for modeling, analysing, and constructing distributed systems. Within the design of distributed systems, Kaisa Sere’s main research focus was on refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits. Presenting scientific contributions from renowned researchers around the world, this edited book consists of five sections: Modeling, Analysis, Proof, Refinement, and Applications. Each chapter has been thoroughly reviewed by experts in the field. The book covers both traditional aspects in formal methods research, as well as current and innovative research directions. It describes the transition from the strong theory of refinement to a methodology that can be applied in practice, with tool support. Examining industrial applications of the methods discussed, this book is a suitable resource for graduate students, researchers, and practitioners interested in using formal methods to develop distributed systems of quality.

Author : Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg
Publisher : Springer
Page : 812 pages
File Size : 44,9 Mb
Release : 2014-03-12
Category : Computers
ISBN : 3662163799

Get Book

Stepwise Refinement of Distributed Systems by Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg Pdf

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

Author : Albert Fleischmann
Publisher : Springer Science & Business Media
Page : 393 pages
File Size : 48,8 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9783642786129

Get Book

Distributed Systems by Albert Fleischmann Pdf

The purpose of this book is to make the reader famliar with software engineering for distributed systems. Software engineering is a valuable discipline in the develop ment of software. The reader has surely heard of software systems completed months or years later than scheduled with huge cost overruns, systems which on completion did not provide the performance promised, and systems so catastrophic that they had to be abandoned without ever doing any useful work. Software engi neering is the discipline of creating and maintaining software; when used in con junction with more general methods for effective management its use does reduce the incidence of horrors mentioned above. The book gives a good impression of software engineering particularly for dis tributed systems. It emphasises the relationship between software life cycles, meth ods, tools and project management, and how these constitute the framework of an open software engineering environment, especially in the development of distrib uted software systems. There is no closed software engineering environment which can encompass the full range of software missions, just as no single flight plan, airplane or pilot can perform all aviation missions. There are some common activities in software engi neering which must be addressed independent of the applied life cycle or methodol ogy. Different life cycles, methods, related tools and project management ap proaches should fit in such a software engineering framework.

Author : Walter R. Cleaveland
Publisher : Springer Science & Business Media
Page : 596 pages
File Size : 41,8 Mb
Release : 1992-08-12
Category : Mathematics
ISBN : 3540558225

Get Book

CONCUR '92 by Walter R. Cleaveland Pdf

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.

Author : Jonathan P. Bowen,Steve Dunne,Andy Galloway,Steve King
Publisher : Springer
Page : 510 pages
File Size : 46,6 Mb
Release : 2003-06-26
Category : Computers
ISBN : 9783540445258

Get Book

ZB 2000: Formal Specification and Development in Z and B by Jonathan P. Bowen,Steve Dunne,Andy Galloway,Steve King Pdf

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

Author : Nicola Santoro,Università di Bari. Istituto di scienze dell'informazione
Publisher : Springer Science & Business Media
Page : 446 pages
File Size : 46,5 Mb
Release : 1991-06-19
Category : Computers
ISBN : 3540540997

Get Book

Distributed Algorithms by Nicola Santoro,Università di Bari. Istituto di scienze dell'informazione Pdf

This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types of decentralized systems, distributed data structures, synchronization and load-balancing, distributed algorithms for control and communication, design and verification of network protocols, routing algorithms, fail-safe and fault-tolerant distributed algorithms, distributed database techniques, algorithms for transaction management and replica control, and other related topics.

Author : Paolo Ciancarini,Alessandro Fantechi,Roberto Gorrieri
Publisher : Springer
Page : 437 pages
File Size : 51,7 Mb
Release : 2013-11-11
Category : Computers
ISBN : 9780387355627

Get Book

Formal Methods for Open Object-Based Distributed Systems by Paolo Ciancarini,Alessandro Fantechi,Roberto Gorrieri Pdf

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Author : A. Udaya Shankar
Publisher : Springer Science & Business Media
Page : 386 pages
File Size : 49,8 Mb
Release : 2012-09-15
Category : Computers
ISBN : 9781461448815

Get Book

Distributed Programming by A. Udaya Shankar Pdf

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets. Distributed Programming: Theory and Practice bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms. Programs are written in a "real-life" programming notation, along the lines of Java and Python with explicit instantiation of threads and programs. Students and programmers will see these as programs and not "merely" algorithms in pseudo-code. The programs implement interesting algorithms and solve problems that are large enough to serve as projects in programming classes and software engineering classes. Exercises and examples are included at the end of each chapter with on-line access to the solutions. Distributed Programming: Theory and Practice is designed as an advanced-level text book for students in computer science and electrical engineering. Programmers, software engineers and researchers working in this field will also find this book useful.

Author : Branislav Rovan
Publisher : Springer
Page : 460 pages
File Size : 45,5 Mb
Release : 2003-06-29
Category : Computers
ISBN : 9783540494775

Get Book

SOFSEM '98: Theory and Practice of Informatics by Branislav Rovan Pdf

This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998. The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries.

Author : J.W.de Bakker
Publisher : Springer Science & Business Media
Page : 740 pages
File Size : 45,7 Mb
Release : 1992-06-24
Category : Computers
ISBN : 3540555641

Get Book

Real-Time: Theory in Practice by J.W.de Bakker Pdf

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Author : Willem-Paul de Roever,Hans Langmaack,Amir Pnueli
Publisher : Springer
Page : 647 pages
File Size : 41,5 Mb
Release : 2003-05-20
Category : Computers
ISBN : 9783540492139

Get Book

Compositionality: The Significant Difference by Willem-Paul de Roever,Hans Langmaack,Amir Pnueli Pdf

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Author : Martin Abadi,Takayasu Ito
Publisher : Springer Science & Business Media
Page : 660 pages
File Size : 48,6 Mb
Release : 1997-08-27
Category : Computers
ISBN : 354063388X

Get Book

Theoretical Aspects of Computer Software by Martin Abadi,Takayasu Ito Pdf

Content Description #Includes bibliographical references and index.