Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Stream Based Design of Distributed Systems Through Refinement

Stream Based Design of Distributed Systems Through Refinement

Stumpel, Annette

Paperback

General Computers

Currently unavailable to order

ISBN10: 3832504621
ISBN13: 9783832504625
Publisher: Logos Verlag Berlin
Published: Dec 31 2003
Pages: 230
Weight: 0.60
Height: 0.56 Width: 5.68 Depth: 8.04
Language: English
A distributed system consists of cooperating interactive components running concurrently and exchanging information by communication. The development of such systems needs a formal design process that step by step transforms an abstract specification into a concrete one by systematic refinement. The book provides definitions, concepts, and examples for correctness preserving refinement techniques explicating the underlying design decisions. The refinement rules are based on specifications which model communication histories with streams. The presentation covers state refinement, property refinement, interface refinement, architecture refinement, and communication refinement. It focusses on state refinement which constitutes the step from a history based to a state based specification of a component. The other notions of refinement are presented particularly regarding their relationship to state refinement.

Also in

General Computers

View All