Metamodeling for Method Engineering

by Jeusfeld, Jarke, Mylopoulos

ISBN: 9780262258302 | Copyright 2009

Click here to preview

Instructor Requests

Digital Exam/Desk Copy Print Desk Copy Ancillaries
Tabs
This text is a guide to the foundations of method engineering, a developing field concerned with the definition of techniques for designing software systems. The approach is based on metamodeling, the construction of a model about a collection of other models. The book applies the metamodeling approach in five case studies, each describing a solution to a problem in a specific domain. Suitable for classroom use, the book is also useful as a reference for practitioners. The book first presents the theoretical basis of metamodeling for method engineering, discussing information modeling, the potential of metamodeling for software systems development, and the introduction of the metamodeling tool ConceptBase. The second, and larger, portion of the book reports on applications of the metamodeling approach to method engineering. These detailed case studies range from telecommunication service specification, hypermedia design, and data warehousing to cooperative requirements engineering, chemical device modeling, and design of new abstraction principles of modeling languages. Although these chapters can stand alone as case studies, they also relate to the earlier theoretical chapters. The metamodeling approach described in the book is based on the Telos metamodeling language implemented by the ConceptBase system. An accompanying CD-ROM contains the ConceptBase system and a large collection of Telos metamodels discussed in the text. The CD-ROM enables readers to start directly with method engineering, from small method chunks up to complete method definitions. The complete definition of Ed Yourdon's structured analysis method is included as an instructional example.
Expand/Collapse All
Contents (pg. v)
Series Foreword (pg. vii)
Introduction (pg. xi)
The Problem (pg. xi)
Structure of the Book (pg. xii)
Theory versus Practice (pg. xv)
Acknowledgments (pg. xvi)
Chapter 1. A Sophisticate’s Guide to Information Modeling (pg. 1)
1.1 Introduction (pg. 1)
1.2 A Brief History (pg. 4)
1.3 Modeling Static Aspects of the Application (pg. 13)
1.4 Modeling Dynamics (pg. 20)
1.5 Modeling Goals and Intentions (pg. 26)
1.6 Modeling Social Settings (pg. 34)
1.7 Summary (pg. 37)
Acknowledgments (pg. 38)
Notes (pg. 38)
References (pg. 38)
Chapter 2. Metamodeling (pg. 43)
2.1 Introduction (pg. 43)
2.2 The IRDS Metamodeling Framework (pg. 47)
2.3 Dimensions of Metamodeling (pg. 51)
2.4 Examples of Metamodeling Environments (pg. 62)
2.5 Concluding Remarks (pg. 80)
Acknowledgments (pg. 80)
References (pg. 80)
Chapter 3. Metamodeling and Method Engineering with ConceptBase (pg. 89)
3.1 Introduction (pg. 89)
3.2 Modeling Is Knowledge Representation (pg. 91)
3.3 Universal References to Objects (pg. 94)
3.4 The Telos Frame Syntax (pg. 99)
3.5 A Short Primer in Logic for Databases (pg. 102)
3.6 The Logical Foundation for Telos (pg. 105)
3.7 From Frames to Objects and Vice Versa (pg. 107)
3.8 Telos Predicates and Axioms (pg. 110)
3.9 User-Defined Constraints and Rules in Telos (pg. 117)
3.10 Query Classes (pg. 118)
3.11 Attributes and Parameters in Queries (pg. 121)
3.12 Views as Extended Query Classes (pg. 127)
3.13 Metalevel Formulas (pg. 130)
3.14 Active Rules (pg. 134)
3.15 Engineering the Yourdan Method (pg. 139)
3.16 Discussion and Conclusions (pg. 165)
Notes (pg. 167)
References (pg. 168)
Chapter 4. Conceptual Modeling in Telecommunications Service Design (pg. 169)
4.1 Introduction (pg. 169)
4.2 Usage of the Tool (pg. 172)
4.3 Integration with Other Systems (pg. 172)
4.4 Main Functions of the System (pg. 174)
4.5 Architecture of the Tool (pg. 175)
4.6 Method Engineering (pg. 186)
4.6.2 The Development Models (pg. 199)
4.7 Model Analysis (pg. 219)
4.8 Example Models of the Application (pg. 221)
4.9 Critical Review of the Solution (pg. 228)
4.10 Conclusions (pg. 229)
Notes (pg. 229)
References (pg. 229)
Chapter 5. Metadata for Hypermedia Textbooks From RDF to O-Telos and Back (pg. 233)
5.1 Introduction (pg. 233)
5.2 RDF in a Nutshell (pg. 233)
5.3 Explicitly Modeling RDF in O-Telos (pg. 234)
5.4 Directly Mapping RDF(S) to O-Telos (pg. 240)
5.5 An Application of O-Telos (pg. 245)
5.6 Summary (pg. 254)
Acknowledgments (pg. 255)
References (pg. 255)
Chapter 6. Monitoring Requirements Development with Goals (pg. 257)
6.1 Introduction (pg. 257)
6.2 A Dialog Support System and Metamodel (pg. 262)
6.3 Tool Support for the Dialog Metamodel (pg. 271)
6.4 Development Goals for Managing Inconsistency (pg. 284)
6.5 Conclusions (pg. 291)
Notes (pg. 292)
References (pg. 293)
Chapter 7. Definition of Semantic Abstraction Principles (pg. 295)
7.1 Introduction (pg. 295)
7.2 The Need for Materialization (pg. 296)
7.3 Intuitive Definition (pg. 300)
7.4 Precise Semantics (pg. 303)
7.5 More Examples of Materialization (pg. 309)
7.6 Related Work (pg. 310)
7.7 Implementation of Materialization (pg. 311)
7.8 Conclusion (pg. 325)
Notes (pg. 327)
References (pg. 327)
Chapter 8. Metadatabase Design for Data Warehouses (pg. 329)
8.1 Introduction (pg. 329)
8.2 An Extended Data Warehouse Architecture (pg. 330)
8.3 Managing Data Warehouse Quality (pg. 343)
8.4 Example Scenario (pg. 348)
8.5 Conclusion (pg. 353)
Note (pg. 354)
References (pg. 354)
Chapter 9. A Conceptual Information Model for the Chemical Process Design Lifecycle (pg. 357)
9.1 Introduction (pg. 357)
9.2 The Model Framework CLiP (pg. 359)
9.3 Workflow Modeling within CLiP (pg. 368)
9.4 Representation of Domain Knowledge Using ConceptBase (pg. 372)
9.5 Conclusions (pg. 379)
Acknowledgments (pg. 380)
References (pg. 380)
Contributors (pg. 383)
Index (pg. 387)
eTextbook
Go paperless today! Available online anytime, nothing to download or install.

Features

  • Bookmarking
  • Note taking
  • Highlighting