Books > Computing & IT > General theory of computing > Systems analysis & design
|
Not currently available
Modeling and Analysis of Communicating Systems (Hardcover)
Loot Price: R1,329
Discovery Miles 13 290
|
|
Modeling and Analysis of Communicating Systems (Hardcover)
Series: Modeling and Analysis of Communicating Systems
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
Rigorous theory and real-world applications for modeling and
analysis of the behavior of complex communicating computer systems
Complex communicating computer systems-computers connected by data
networks and in constant communication with their environments-do
not always behave as expected. This book introduces behavioral
modeling, a rigorous approach to behavioral specification and
verification of concurrent and distributed systems. It is among the
very few techniques capable of modeling systems interaction at a
level of abstraction sufficient for the interaction to be
understood and analyzed. Offering both a mathematically grounded
theory and real-world applications, the book is suitable for
classroom use and as a reference for system architects. The book
covers the foundation of behavioral modeling using process algebra,
transition systems, abstract data types, and modal logics.
Exercises and examples augment the theoretical discussion. The book
introduces a modeling language, mCRL2, that enables concise
descriptions of even the most intricate distributed algorithms and
protocols. Using behavioral axioms and such proof methods as
confluence, cones, and foci, readers will learn how to prove such
algorithms equal to their specifications. Specifications in mCRL2
can be simulated, visualized, or verified against their
requirements. An extensive mCRL2 toolset for mechanically verifying
the requirements is freely available online; this toolset has been
successfully used to design and analyze industrial software that
ranges from healthcare applications to particle accelerators at
CERN. Appendixes offer material on equations and notation as well
as exercise solutions.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.