Design Methods for Reactive Systems: Yourdon, Statemate, and the UML

Design Methods for Reactive Systems describes methods and techniques for the design of software systems--particularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production control systems, and embedded software, increasingly embody design aspects previously considered alone--such as complex information processing, non-trivial behavior, and communication between different components--aspects traditionally treated separately by classic software design methodologies. But, as this book illustrates, the software designer is better served by the ability to intelligently pick and choose from among a variety of techniques according to the particular demands and properties of the system under development.  
 
Design Methods for Reactive Systems helps the software designer meet today's increasingly complex challenges by bringing together specification techniques and guidelines proven useful in the design of a wide range of software systems, allowing the designer to evaluate and adapt different techniques for different projects. Written in an exceptionally clear and insightful style, Design Methods for Reactive Systems is a book that students, engineers, teachers, and researchers will undoubtedly find of great value.  

Contents

Foreword. Preface. PART I Reactive System Design: Reactive Systems; The Environment; Stimulus-Response Behavior; Software Specifications. PART II Function Notations: Mission Statement; Function Refinement Tree; Service Description. PART III Entity Notations: Entity-Relationship Diagrams; ERD Modeling Guidelines; The Dictionary. PART IV Behavior Notations State Transition Lists and Tables; State Transition Diagrams; Behavioral Semantics; Behavior Modeling and Design Guidelines. PART V Communication Notations: Data Flow Diagrams; Communication Diagrams; Communication Semantics; Context Modeling Guidelines; Requirements-Level Decomposition Guidelines. PART VI Software Specification Methods: Postmodern Structured Analysis (PSA); Statemate; The Unified Modeling Language (UML); Not Yet Another Method (NYAM). Appendices: Training Information System; An Electronic Ticket System; A Heating Control System; An Elevator Control System; Answers to Selected Exercises; Glossary; Bibliographic Remarks; Bibliography; Index. Online Materials (www.mkp.com/dmrs/): (continued) Answers to Selected Exercises (pass protected); A Controller for a Compact Dynamic Bus Station; A Cruise Control System; A Logistics Information System; Slides for Teachers; Handout of the Slides; Notes for Teachers.  

《反應式系統設計方法》描述了設計軟體系統的方法和技巧，尤其是涉及刺激-響應行為的反應式軟體系統。這些系統包括信息系統、工作流管理系統、電子商務系統、生產控制系統和嵌入式軟體，越來越多地體現了以前僅僅被單獨考慮的設計方面，例如複雜的信息處理、非平凡的行為和不同組件之間的通信，這些方面在傳統的軟體設計方法論中被單獨處理。但是，正如本書所示，軟體設計師更好地能夠根據正在開發的系統的特定需求和特性，智能地從各種技術中選擇和適應。《反應式系統設計方法》通過匯集在設計各種軟體系統時被證明有用的規範技術和指南，幫助軟體設計師應對當今越來越複雜的挑戰，使其能夠評估和適應不同的技術用於不同的項目。本書以非常清晰和深入的風格撰寫，是學生、工程師、教師和研究人員無疑會發現非常有價值的一本書。

目錄：
前言、序言、第一部分 反應式系統設計：反應式系統、環境、刺激-響應行為、軟體規範；第二部分 函數符號：任務陳述、函數細化樹、服務描述；第三部分 實體符號：實體-關係圖、ERD建模指南、字典；第四部分 行為符號：狀態轉換列表和表格、狀態轉換圖、行為語義、行為建模和設計指南；第五部分 通信符號：數據流程圖、通信圖、通信語義、上下文建模指南、需求層次分解指南；第六部分 軟體規範方法：後現代結構化分析（PSA）、Statemate、統一建模語言（UML）、Not Yet Another Method（NYAM）。附錄：培訓信息系統、電子票務系統、暖通控制系統、電梯控制系統、選擇練習的答案、詞彙表、參考文獻備註、參考文獻、索引。網上資料（www.mkp.com/dmrs/）：選擇練習的答案（受密碼保護）、緊湊動態巴士站控制器、定速巡航系統、物流信息系統、教師幻燈片、幻燈片講義、教師筆記。