| Modeling Form-Based Systems | |
| Introduction | p. 3 |
| Enterprise Systems | p. 4 |
| Modeling Enterprise Systems | p. 5 |
| High-Level Transactional Programming | p. 6 |
| A Parsimonious Relational Notation | p. 6 |
| A Descriptive Approach to the Software Development Process | p. 7 |
| The Form-Based System Paradigm | p. 9 |
| The Submit/Response Style Interface | p. 10 |
| A Message-Based Model of Data Interchange | p. 20 |
| Exploring the Online Bookshop | p. 23 |
| The Dialogue Model | p. 24 |
| The Persistent Data Model | p. 30 |
| An Exemplary Submit/Response Style System | p. 32 |
| Form Storyboarding | p. 35 |
| Page Diagrams | p. 36 |
| Form Storyboards | p. 41 |
| Formcharts and Dialogue Specification | p. 49 |
| Form-Oriented Information System Models | p. 49 |
| The Dialogue Model | p. 55 |
| The Layered Data Model | p. 59 |
| Dialogue Specification | p. 66 |
| The Bookstore Formchart and Data Model | p. 74 |
| Model Decomposition and Refinement | p. 97 |
| Model Union | p. 97 |
| Formchart Decomposition | p. 98 |
| Formchart Hierarchies | p. 100 |
| A Feature-Driven Approach | p. 102 |
| State Sets and State Specialization | p. 104 |
| Decomposition of Page Diagrams and Form Storyboards | p. 107 |
| Model Refinement | p. 107 |
| Data Modeling | p. 109 |
| The Parsimonious Data Modeling Language | p. 111 |
| The Data Access Language DAL | p. 114 |
| The Transaction Data Access Language TDAL | p. 121 |
| Constraints | p. 125 |
| Style Formats | p. 141 |
| Message-Based Modeling of Data Interchange | p. 147 |
| Connectivity of Enterprise Systems | p. 147 |
| The Message-Based System Viewpoint | p. 150 |
| Data Interchange Model | p. 152 |
| Data Interchange Specification | p. 156 |
| The Relation to Data Flow Diagrams | p. 160 |
| The Interplay of Formcharts and Data Interchange Diagrams | p. 162 |
| Topic Bundles | p. 164 |
| A Descriptive Approach | p. 165 |
| Descriptiveness, Prescriptiveness, and the Software Process | p. 168 |
| Metaphor A Posteriori | p. 170 |
| On Desktop Metaphors | p. 172 |
| On Real-World Modeling | p. 173 |
| Visual Modeling De-emphasized | p. 175 |
| Artifact Orientation | p. 176 |
| The High-Level Programming Viewpoint | p. 177 |
| Advanced Systems Modeling Approaches | p. 180 |
| Tool Support | |
| Forward Engineering and Reverse Engineering | p. 187 |
| Forward Engineering | p. 188 |
| Reverse Engineering | p. 193 |
| Source-Code-Opaque Reverse Engineering | p. 196 |
| Typed Server Pages | p. 199 |
| Type-Safe Interplay of Forms and Scripts | p. 200 |
| Functional Decomposition of Server Pages | p. 214 |
| Higher-Order Server Pages | p. 221 |
| A Comparison of Web Technologies | p. 224 |
| Semantics | |
| The Integrated Source Code Paradigm | p. 229 |
| Towards Structured Collaborative Work | p. 229 |
| Structured Artifacts | p. 232 |
| The Syntax Model Approach | p. 233 |
| A Closer Look at Languages | p. 235 |
| The Integrated Source Code Paradigm | p. 237 |
| A Flexible Generic Textual Format for Data | p. 241 |
| Generative Programming | p. 244 |
| State History Diagrams | p. 249 |
| State History Diagrams and Class Diagrams | p. 249 |
| Discussion of Formchart Semantics | p. 258 |
| Semantics of Dialogue Constraints | p. 260 |
| Path Expressions | p. 267 |
| Semantics of the Data Model | p. 271 |
| Semantics of the Temporal Model | p. 271 |
| Alternative Fundamental Models | p. 274 |
| Discussion | p. 279 |
| Semantics of Web Signatures | p. 283 |
| Formal Semantics of Web Signature Recovery | p. 283 |
| Coding Guidelines for Typed Server Pages | p. 287 |
| Formal Definition of the NSP Type System | p. 299 |
| Conclusion | |
| A Comparison of Modeling Methods | p. 325 |
| User Interface Modeling | p. 325 |
| Web Site Modeling | p. 326 |
| Data Modeling | p. 328 |
| Model-Oriented Specification Languages | p. 329 |
| Structured Analysis | p. 331 |
| Object-Oriented Analysis and Design | p. 335 |
| Model-Driven Architecture | p. 338 |
| Summary | p. 343 |
| Contributions to Modeling Form-Based Systems | p. 343 |
| Contributions to Modeling in General | p. 347 |
| References | p. 351 |
| Index | p. 367 |
| Table of Contents provided by Publisher. All Rights Reserved. |