UID:
almahu_9948026590502882
Format:
1 online resource (485 p.)
ISBN:
9786611028572
,
0-08-050395-0
,
1-281-02857-6
,
9780585457964
Series Statement:
The Morgan Kaufmann Series in Software Engineering and Programming
Content:
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, a
Note:
Description based upon print version of record.
,
Front Cover; Design Methods for Reactive Systems ; Copyright Page; Contents; Foreword; Preface; Part I: Reactive System Design; Chapter 1. Reactive Systems; 1.1 Examples of Reactive Systems; 1.2 Reactive versus Transformational Systems; 1.3 Four Case Studies and Three Examples; 1.4 Summary; 1.5 Questions and Exercises; Chapter 2. The Environment; 2.1 External Interactions; 2.2 Domains; 2.3 The Subject Domain; 2.4 The Functions of Reactive Systems; 2.5 The Connection Domain; 2.6 Summary; 2.7 Questions and Exercises; Chapter 3. Stimulus-Response Behavior; 3.1 Cause and Effect Chains
,
3.2 Events, Conditions, and Actions3.3 Events and Stimuli; 3.4 Responses and Actions; 3.5 Summary; 3.6 Questions and Exercises; Chapter 4. Software Specifications; 4.1 The System Engineering Argument; 4.2 Specifications; 4.3 The Role of Assumptions; 4.4 Operational Property Specifications; 4.5 Summary; 4.6 Questions and Exercises; Part II: Function Notations; Chapter 5. Mission Statement; 5.1 Notation; 5.2 Relating System Purpose to Environment Purpose; 5.3 Guidelines for Finding a Mission Statement; 5.4 Summary; 5.5 Questions and Exercises; Chapter 6. Function Refinement Tree; 6.1 Notation
,
6.2 Design Guidelines6.3 Summary; 6.4 Questions and Exercises; Chapter 7. Service Description; 7.1 Notation; 7.2 Guidelines; 7.3 Summary; 7.4 Questions and Exercises; Part III: Entity Notations; Chapter 8. Entity-Relationship Diagrams; 8.1 Entities and Attributes; 8.2 Relationships; 8.3 Generalization; 8.4 Summary; 8.5 Questions and Exercises; Chapter 9. Erd Modeling Guidelines; 9.1 The Subject Domain Boundary; 9.2 Entities versus Attributes; 9.3 Entity versus Relationships; 9.4 Taxonomic Structures; 9.5 Validation; 9.6 Summary; 9.7 Questions and Exercises; Chapter 10. The Dictionary
,
10.1 Domain Ontology10.2 Syntactic Categories; 10.3 Path Expressions; 10.4 Extensional and Intensional Definitions; 10.5 Guidelines; 10.6 Summary; 10.7 Questions and Exercises; Part IV: Behavior Notations; Chapter 11. State Transition Lists and Tables; 11.1 Event Lists; 11.2 State Transition Tables; 11.3 Decision Tables; 11.4 Summary; 11.5 Questions and Exercises; Chapter 12. State Transition Diagrams; 12.1 Mealy Diagrams; 12.2 Variables; 12.3 Statecharts; 12.4 Summary; 12.5 Questions and Exercises; Chapter 13. Behavioral Semantics; 13.1 Discretization; 13.2 Wait States and Activity States
,
13.3 Pre- and Postconditions13.4 Triggering; 13.5 Step Semantics versus Single-Transition Semantics; 13.6 Multistep Semantics; 13.7 Action Semantics; 13.8 Time; 13.9 Summary; 13.10 Questions and Exercises; Chapter 14. Behavior Modeling and Design Guidelines; 14.1 Two Examples; 14.2 Guidelines; 14.3 Summary; 14.4 Questions and Exercises; Part V: Communication Notations; Chapter 15. Data Flow Diagrams; 15.1 External Entities; 15.2 Flows; 15.3 Stores; 15.4 Processes; 15.5 Parameterized DFDs; 15.6 Summary; 15.7 Questions and Exercises; Chapter 16. Communication Diagrams
,
16.1 Requirement-Level Components
,
English
Additional Edition:
ISBN 1-55860-755-2
Additional Edition:
ISBN 0-585-45796-4
Language:
English
Bookmarklink
