Description |
1 online resource (403 pages) |
Series |
Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series |
|
Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series
|
Contents |
Cover; Half Title; Title Page; Copyright Page; Dedication; Table of Contents; List of Figures; List of Exercises; List of Sidebars; List of Listings; Preface; Acknowledgments; CHAPTER 1: What's a Model? ; 1.1 Introduction; 1.2 Modeling in Science; 1.3 Modeling in Engineering; 1.4 Illustrative Example: Cellular Automata; 1.4.1 Cellular Automaton Topology; 1.4.2 Cellular Automaton Evolution Rules; 1.4.3 Modeling Cellular Automata; 1.5 Semantic Foundations of MDE: the Meaning of Models |
|
1.5.1 Basics of Denotational Semantics1.5.2 Underspecification and Interpretation in the Real World; 1.5.3 Operations on Models; 1.6 Exercises; CHAPTER 2: What's a Modeling Language? ; 2.1 Why We Need Modeling Languages; 2.2 Concrete Syntax; 2.2.1 Textual Concrete Syntax; 2.2.2 Graphical Concrete Syntax: Box-and-Line Diagrams; 2.2.3 Graphical Concrete Syntax: Tabular Notations; 2.2.4 Graphical Concrete Syntax: Trees; 2.3 Abstract Syntax |
|
2.3.1 Abstract Syntax of Textual Languages2.3.2 Abstract Syntax of Graphical Languages; 2.3.3 Concrete and Abstract Syntax Relationship; 2.4 Semantics of a Modeling Language; 2.4.1 Denotational Semantics; 2.4.2 Operational Semantics; 2.5 Exercises; CHAPTER 3: Metamodeling with MOF and Ecore; 3.1 Metamodel and Meta-Language; 3.2 Metamodel, Meta-Language, Language Workbench, and Meta-Metamodel; 3.3 Meta-Object Facility (MOF); 3.4 Ecore and EMF; 3.5 Representations for Machine Consumption; 3.5.1 Textual Representations for Machine Consumption; 3.5.2 Database Representation |
|
3.6 Illustrative Example: Metamodels for the Cellular Automaton3.7 Exercises ; CHAPTER 4: Metamodeling with OCL; 4.1 The Object Constraint Language; 4.1.1 Invariant and Its Context; 4.1.2 Basic Operations; 4.1.3 Collections; 4.1.4 Quantification, Collection, Selection; 4.1.5 Navigation along Associations; 4.1.6 Derived Attributes; 4.2 Advanced Features of OCL; 4.2.1 Nature of OCL: First Order and Expression Language?; 4.2.2 Specifying Operations in OCL; 4.2.3 Further Concepts of OCL; 4.2.4 OCL Used at Different Modeling Levels |
|
4.3 Usage of OCL for MOF4.3.1 OCL for Context Conditions; 4.3.1.1 Illustrative Example: Geometry Constraints; 4.3.1.2 Illustrative Example: Enhanced Versions of OCL; 4.3.1.3 Illustrative Example: Filter Constraints; 4.3.1.4 Illustrative Example: Language Constraints from Metamodel Composition; 4.3.2 OCL for the Execution Domains (Semantics); 4.3.2.1 Illustrative Example: Evaluating Expressions; 4.3.2.2 Illustrative Example: Describing the Effect of a Regular Geometry; 4.3.3 Conjunct Use of MOF and OCL; 4.4 Exercises; CHAPTER 5: Building Editors and Viewers; 5.1 Introduction |
Notes |
5.2 Generic versus Specific Concrete Syntax |
|
Print version record |
Subject |
Engineering -- Data processing.
|
|
Engineering -- Data processing
|
Form |
Electronic book
|
Author |
France, Robert
|
|
Jézéquel, Jean-Marc
|
|
Steel, James
|
|
Vojtisek, Didier
|
ISBN |
9781315387932 |
|
131538793X |
|