Modeling reactive systems with statecharts: the STATEMATE approach
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
McGraw-Hill
1998
|
| Series: | Software development series
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 258 S. graph. Darst. |
| ISBN: | 0070262055 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012279077 | ||
| 003 | DE-604 | ||
| 005 | 20180216 | ||
| 007 | t | ||
| 008 | 981125s1998 d||| |||| 00||| engod | ||
| 020 | |a 0070262055 |9 0-07-026205-5 | ||
| 035 | |a (OCoLC)38964103 | ||
| 035 | |a (DE-599)BVBBV012279077 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-83 |a DE-11 |a DE-473 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 082 | 0 | |a 005.1/2 |2 21 | |
| 084 | |a ST 234 |0 (DE-625)143621: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 703f |2 stub | ||
| 084 | |a DAT 314f |2 stub | ||
| 100 | 1 | |a Harel, David |d 1950- |e Verfasser |0 (DE-588)109527992 |4 aut | |
| 245 | 1 | 0 | |a Modeling reactive systems with statecharts |b the STATEMATE approach |c David Harel and Michal Politi |
| 264 | 1 | |a New York |b McGraw-Hill |c 1998 | |
| 300 | |a XIV, 258 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Software development series | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Reaktives System |2 swd | |
| 650 | 7 | |a Statechart |2 swd | |
| 650 | 7 | |a Statemate |2 swd | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Statecharts (Computer science) | |
| 650 | 4 | |a System design | |
| 700 | 1 | |a Politi, Michal |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008323660&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008323660 | ||
Record in the Search Index
| _version_ | 1804126901301673984 |
|---|---|
| adam_text | Titel: Modeling reactive systems with statecharts
Autor: Harel, David
Jahr: 1998
Contents
Preface xiii
Acknowledgments xv
Chapter 1. Introduction 1
1.1 System Development and Methodologies 1
1.1.1 Specification in a System Life Cycle 1
1.1.2 Development Methodologies and Supporting Tools 2
1.2 Modeling Reactive Systems 3
1.2.1 The Nature of Reactive Systems 3
1.2.2 An Example: The Early Warning System 4
1.2.3 Characteristics of Models 4
1.2.4 Modeling Views of Reactive Systems 5
1.2.5 Modeling Heuristics 7
1.3 The Modeling Languages 8
1.3.1 Activity-Charts 9
1.3.2 Statecharts 9
1.3.3 Module-Charts 11
1.3.4 Relationships between the Languages 11
1.3.5 Handling Large-Scale Systems 13
1.4 The Statemate Toolset 14
Chapter 2. The Functional View: Activity-Charts 19
2.1 Functional Description of a System 19
2.1.1 Functional Decomposition 20
2.1.2 Function-Based Decomposition 21
2.1.3 Object-Based Decomposition 22
2.1.4 System Context 22
2.1.5 The Decomposition Process 23
2.2 Activities and Their Representation 24
2.2.1 The Hierarchy of Activities 24
2.2.2 The Context of an Activity 25
2.3 Flow of Information between Activities 26
2.3.1 Flow-Lines 26
2.3.2 Flowing Elements 29
2.3.3 Information-Flows 30
2.3.4 Data-Stores 31
vil
viii Contents
2.4 Describing the Behavioral Functionality of Activities 33
2.4.1 Control Activities 33
2.4.2 Activities in the Data Dictionary 34
2.5 Connectors and Compound Flow-Lines 36
2.5.1 Joint Connectors (Fork and Merge Constructs) 36
2.5.2 Junction Connectors 37
2.5.3 Diagram Connectors 39
2.5.4 Compound Flow-Lines 39
Chapter 3. Information Elements 41
3.1 Information Elements in the Model 41
3.2 Events 43
3.3 Conditions 44
3.4 Data-Items 45
3.4.1 Data-Items of Predefined Types 46
3.4.2 Records and Unions 47
3.4.3 Data-Item Structure 48
3.5 User-Defined Types 49
Chapter 4. The Behavioral View: Statecharts 53
4.1 Behavioral Description of a System 53
4.2 Basic Features of Statecharts 55
4.3 The Hierarchy of States 58
4.4 Orthogonality 61
4.4.1 And-States and Event Broadcasting 61
4.4.2 Conditions and Events Related to States 63
4.4.3 Multi-Level State Decomposition 64
4.5 Connectors and Compound Transitions 65
4.5.1 Condition and Switch Connectors 65
4.5.2 Junction Connectors 66
4.5.3 Diagram Connectors 68
4.6 More about Transitions 68
4.6.1 Transitions to and from And-States 68
4.6.2 History Entrances 71
Chapter 5. The Textual Expression Language 73
5.1 Event, Condition and Data-Item Expressions 73
5.1.1 Event Expressions 74
5.1.2 Condition Expressions 75
5.1.3 Data-Item Expressions 76
5.1.4 Named Expressions 78
5.2 Actions 80
5.2.1 Element Manipulation 80
5.2.2 Compound Actions and Context Variables 82
5.2.3 Iterative Actions 84
5.3 Time-Related Expressions 86
5.3.1 Timeout Events 86
5.3.2 Scheduled Actions 86
5.4 Static Reactions 87
Contents ix
5.4.1 Reactions on Entering and Exiting a State 87
5.4.2 General Static Reactions 87
Chapter 6. The Semantics of Statecharts 91
6.1 Execution of the Model 91
6.1.1 External Changes and System Reactions 91
6.1.2 The Details of Status and Step 95
6.2 Handling Time 97
6.2.1 Sequentiality and Time Issues 97
6.2.2 Time Schemes 98
6.3 Nondeterministic Situations 99
6.3.1 Multiple Enabled Transitions 99
6.3.2 Racing 100
Chapter 7. Connections between the Functional
and Behavioral Views 101
7.1 Dynamics in the Functional Decomposition 101
7.2 Dynamics of Activities 103
7.2.1 Statecharts in the Functional View 103
7.2.2 Termination Type of an Activity 104
7.2.3 Perpetual Activities 105
7.3 Controlling the Activities 106
7.3.1 Starting and Stopping Activities 106
7.3.2 Sensing the Status of Activities 108
7.3.3 Activities throughout and within States 108
7.3.4 Suspending and Resuming Activities 110
7.4 Specifying Behavior of Basic Activities 111
7.4.1 Reactive Minispecs 112
7.4.2 Procedure-Like Mini-Specs 113
7.4.3 Combinational Assignments 114
Chapter 8. Communication between Activities 117
8.1 Communication and Synchronization Issues 117
8.2 Controlling the Flow of Information 118
8.2.1 Elements Related to Flow of Information 118
8.2.2 Interface between Execution Components 120
8.3 Examples of Communication Control 121
8.3.1 Communication between Periodic Activities 122
8.3.2 Message Passing 123
8.4 Activities Communicating through Queues 124
8.4.1 Queues and Their Operation 125
8.4.2 The Semantics of Queues 126
8.4.3 Queues in an Activity-Chart 127
8.4.4 Example of Activities Communicating through Queues 128
8.4.5 An Address of a Queue 129
Chapter 9. The Structural View: Module-Charts 131
9.1 Structural Description: High-Level Design 131
9.2 Internal and External Modules 132
x Contents
9.3 Communication Lines between Modules 134
9.3.1 Flow of Information between Modules 135
9.3.2 Physical Links between Modules 135
9.4 Connectors and Compound Flow-Lines 136
Chapter 10. Connections between the Functional
and Structural Views 139
10.1 Relating the Functional and Structural Models 139
10.1.1 Functional Description of a Module 140
10.1.2 Allocating Activities to Modules 140
10.1.3 Mapping Activities to a Module s Activities 142
10.2 Activity-Chart Describing a Module 142
10.3 Activities Implemented by Modules 145
10.4 Activities Associated with a Module s Activities 148
10.5 Object-Oriented Analysis with Module-Charts 149
Chapter 11. Splitting Up Charts 153
11.1 Separating a Chart into Multiple Pages 153
11.2 Offpage Charts 155
11.3 Connecting Offpage Charts by Matching Flows 157
11.4 Connecting Offpage Statecharts Using Connectors 160
Chapter 12. Putting Things Together 163
12.1 Relationships among the Three Kinds of Charts 163
12.2 A Chart in a Model 166
12.3 Hierarchy of Charts 166
12.4 Entities External to the System under Description 167
12.4.1 Environment Modules of Activities 167
12.4.2 Testbenches 169
Chapter 13. Scope and Resolution of Elements 173
13.1 Visibility of Elements and Information Hiding 173
13.2 Defining, Referencing and Resolving Elements 174
13.3 The Scope of Charts and Graphical Elements 176
13.3.1 Referring to Charts and Box Elements 176
13.3.2 Referring to Activities in Statecharts 177
13.3.3 Referring to States in Statecharts . 178
13.3.4 External Activities or Modules 178
13.3.5 Referring to Modules and Activities in Activity-Charts 179
13.4 The Scope of Textual Elements 180
13.4.1 Visibility of Textual Elements 180
13.4.2 Naming Textual Elements 181
13.4.3 More about Resolution of Textual Elements 183
13.5 Global Definition Sets (GDSs) 184
Chapter 14. Generic Charts 187
14,1 Reusability of Specification Components 187
Contents xi
14.2 Definition and Instances of Generic Charts 189
14.2.1 Notation and Basic Rules of Generics 189
14.2.2 Generic Charts in the Chart Hierarchy 191
14.3 Parameters of Generic Charts 192
14.3.1 Formal Parameters of a Generic Chart 193
14.3.2 Actual Bindings of Parameters 196
14.4 Referring to Elements in Instances 197
Chapter 15. Related Approaches 201
15.1 An Overview of Specification Methods 201
15.2 Methods Based on Structured Analysis 203
15.2.1 Ward and Mellor 203
15.2.2 Hatley amd Pirbhai . 205
15.2.3 Evaluation and Comparison with Statemate 206
15.3 ECSAM 207
15.4 Methods Based on Objects 208
15.4.1 SDL 208
15.4.2 ROOM 210
15.4.3 UML 211
15.4.4 XOM and Rhapsody 212
15.5 MIL-STD-498 (DOD-STD-2167A) 213
Chapter 16. Transition to Design 217
16.1 Statemate Models In the Development Process 217
16.1.1 Models as Prototypes 218
16.1.2 Design using Specification Models 218
16.1.3 Restructuring for Design 219
16.2 Mapping Models to Design Structures 219
16.2.1 Design Criteria 219
16.2.2 Evaluation of the Mapping 221
Appendix A. Names and Expressions 225
A.1 Names 225
A.1.1 Reserved Words 225
A.1.2 Textual Element Names 225
A.1.3 Box Element Names 226
A.1.4 Names of Elements in Generic Instances 226
A.2 Expressions 227
A.2.1 Event Expressions 227
A.2.2 Condition Expressions 228
A.2.3 Data-item Expressions 230
A.2.4 Action Expressions 233
A.2.5 Data-Type Expressions 234
A.3 Predefined Functions 235
A.3.1 Arithmetic Functions 235
A.3.2 Trigonometric Functions 235
A.3.3 Random Functions 236
A.3.4 Bit-Array Functions 236
A.3.5 String Functions 236
xii Contents
A.4 Reactions and Behavior of Activities 237
A.4.1 Statechart Labels 237
A.4.2 State Reactions and Reactive Mini-Specs 237
A.4.3 Procedure-Like Mini-Specs 237
A.4.4 Combinational Assignments 237
A.5 Flow of Information 237
A.5.1 Flow Labels and Information-Flow Components 237
A.5.2 Actual Bindings of Generic Parameters 238
Appendix B. Early Warning System Example:
Functional Decomposition Approach 239
B.1 Textual Description of the System 239
B.2 The Model 239
B.2.1 The Hierarchy of Charts 239
B.2.2 The Charts 240
B.2.3 The Data Dictionary 243
References 251
Index 253
|
| any_adam_object | 1 |
| author | Harel, David 1950- Politi, Michal |
| author_GND | (DE-588)109527992 |
| author_facet | Harel, David 1950- Politi, Michal |
| author_role | aut aut |
| author_sort | Harel, David 1950- |
| author_variant | d h dh m p mp |
| building | Verbundindex |
| bvnumber | BV012279077 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S88 |
| callnumber-search | QA76.9.S88 |
| callnumber-sort | QA 276.9 S88 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 234 ST 240 |
| classification_tum | DAT 703f DAT 314f |
| ctrlnum | (OCoLC)38964103 (DE-599)BVBBV012279077 |
| dewey-full | 005.1/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/2 |
| dewey-search | 005.1/2 |
| dewey-sort | 15.1 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01688nam a2200457 c 4500</leader><controlfield tag="001">BV012279077</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180216 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">981125s1998 d||| |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0070262055</subfield><subfield code="9">0-07-026205-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38964103</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012279077</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S88</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 234</subfield><subfield code="0">(DE-625)143621:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 314f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Harel, David</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109527992</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling reactive systems with statecharts</subfield><subfield code="b">the STATEMATE approach</subfield><subfield code="c">David Harel and Michal Politi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">McGraw-Hill</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 258 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Software development series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reaktives System</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Statechart</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Statemate</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Statecharts (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Politi, Michal</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008323660&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008323660</subfield></datafield></record></collection> |
| id | DE-604.BV012279077 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:24:49Z |
| institution | BVB |
| isbn | 0070262055 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008323660 |
| oclc_num | 38964103 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-11 DE-473 DE-BY-UBG |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-11 DE-473 DE-BY-UBG |
| physical | XIV, 258 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | McGraw-Hill |
| record_format | marc |
| series2 | Software development series |
| spelling | Harel, David 1950- Verfasser (DE-588)109527992 aut Modeling reactive systems with statecharts the STATEMATE approach David Harel and Michal Politi New York McGraw-Hill 1998 XIV, 258 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Software development series Engenharia de programacao (software) larpcal Reaktives System swd Statechart swd Statemate swd Computer software Development Object-oriented programming (Computer science) Statecharts (Computer science) System design Politi, Michal Verfasser aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008323660&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Harel, David 1950- Politi, Michal Modeling reactive systems with statecharts the STATEMATE approach Engenharia de programacao (software) larpcal Reaktives System swd Statechart swd Statemate swd Computer software Development Object-oriented programming (Computer science) Statecharts (Computer science) System design |
| title | Modeling reactive systems with statecharts the STATEMATE approach |
| title_auth | Modeling reactive systems with statecharts the STATEMATE approach |
| title_exact_search | Modeling reactive systems with statecharts the STATEMATE approach |
| title_full | Modeling reactive systems with statecharts the STATEMATE approach David Harel and Michal Politi |
| title_fullStr | Modeling reactive systems with statecharts the STATEMATE approach David Harel and Michal Politi |
| title_full_unstemmed | Modeling reactive systems with statecharts the STATEMATE approach David Harel and Michal Politi |
| title_short | Modeling reactive systems with statecharts |
| title_sort | modeling reactive systems with statecharts the statemate approach |
| title_sub | the STATEMATE approach |
| topic | Engenharia de programacao (software) larpcal Reaktives System swd Statechart swd Statemate swd Computer software Development Object-oriented programming (Computer science) Statecharts (Computer science) System design |
| topic_facet | Engenharia de programacao (software) Reaktives System Statechart Statemate Computer software Development Object-oriented programming (Computer science) Statecharts (Computer science) System design |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008323660&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hareldavid modelingreactivesystemswithstatechartsthestatemateapproach AT politimichal modelingreactivesystemswithstatechartsthestatemateapproach |